迷人的“骑士旅游世界”问题

一、问题的提出这是一个著名的问题:在8×8格的国际象棋棋盘上,象棋马能否从某个格子出发一次不重复地跳遍所有64个格子最后再回到出发的那个格子? 国际象棋中的马,英语为knight,恰好又     

平面三角格图圈的计数

平面上一个三角格图是指边界为准矩形(上下为两条水平直线,左右两侧为折线)、网眼形状为三角形的一个网格图。将平面上的一个三角格图的左右两端在平面上分别按逆、顺时针方向运动,使两端折线重合,由此而生成的网格图,就是平面上的环形三角格图。例如,图1(a)和(b)是三角格图,(c)是相应的环形三角格图。在三角格图中,删去部分边或部分顶点而成的网格图,为方便起见,也称为三角格图。如果每个网眼是由水平直线族、斜率分别为+1和-1的直线族划分而成,且纵宽、横宽分别为m、n格,则称之为m×n三角格图,记为,其中i表示左端三角形列的形式。在中,i=(2)表示左端三角形列     

2维de Bruijn-Good图的同态

令m,n是正整数,F_2是由0和1两个元素组成的有限域,F_2上的2维(m,n)阶deBruijn-Good图是一有向图,它的顶点集合V由F_2上的m×n阵组成,即 它的弧集合由下面的2个集合E_1和E_2组成:     

电网络的一个相关性拓扑性质

本文给出了一个电网络支路电压相关性的普通性质,它在网络参数可解条件和网络可解条件等方面的研究中有重要的应用. 给定线性网络N.设N有b条支路,n+1个节点,其中m+1个为激励节点(集合记为σ_m)。     

不可分的么模定Hermite型的构作

设F=Q((-m)~(1/2))(m>0且无平方因子)为虚二次域,D_m为它的代数整数环.域F有一个非平凡的对合即复共轭,它的不动点域是Q.设V为域F上n维非退化的Hermite空间,并有关于上述对合的V上半双线性型φ以及与φ相伴的Hermite型H.设L为V上的D_m格,即L是V中的一个有限生成D_m模且FL=V.一个D_m格L称为偶格,是指对一切x∈L有H(x)     

神秘的荒原巨画

在秘鲁利马南部的毕斯柯湾,有一个人工建造的高270 m的红色岩壁,岩壁上雕有一个长200m的巨大图案,像三叉戟,又像三脚烛台.三叉戟的每一股都约有4 m宽,而且是用一种很硬的磷光性石块雕成的,如果不是被沙土覆盖,它将发出耀眼光芒.     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

Dold流形在欧氏空间中的余维为1和2的浸入

一、引言 设P(m,n)是维数为m+2n的Dold流形,则实的和复的投影空间分别是Dold流形P(m,0)和P(0,n)。Ucci曾用K理论得到一个关于Dold流形的不可浸入定理。本文通过下述两个定理完全决定Dold流形在欧氏空间中余维1和2的浸入。     

关于Znám问题

1972年,捷克数学家Znám提出一个问题:是否对每一个整数n>1,都存在整数x_i>1(i=1,…,n),使得对每一个i,x_i是x_1…x_(i-1)x_(i 1)¨x_n 1的真因子?1975年,Skula证明了对于2≤n≤4,不存在这样的整数,并提到在n=5时,Janàk找到了一组解2,3,11,23,31(Acta Fac. Rer. natur.     

关于覆盖曲面的不等式及其应用

本文先用几何方法精确了Tsuji的两个不等式,然后由它导出了一个相当广泛的正规定理.它以著名的Bloch正规定理及Motel正规定理为特例.设K是直径为1的球面.F是K的有限连通覆盖曲面,其边界(?)F是由有限条解析Jordan曲线组成.令区域D(?)K.记F盖在D上的部分为F(D).设F(D)是由有限个连通曲面{F_k(D)}组成.设F_k是{F_k(D)}中的一个连通曲面.若(?)F_k∩D=Ф,我们称它为岛,记为F_k~d,若(?)F_k∩D≠Ф,我们称为半岛,记为F_k~b.因此     

中值滤波中的循环序列(Ⅱ)

1背景与说明本文中k始终表示一个固定正整数,k≥2设x={x(n)}_(n=0±1,…)是一个实数列,对每一n,用x~(1)(n)表示{x(m)}_(n-k≤m≤n+k),这2k+1个数由小到大重排后位于中间的那一项.通过这样的重排运算,x={x(n)}变成一个新的实数列x_(1)={x~(1)(n)},它称为x的中值滤波.对x~(1)又可进行中值滤波,其结果记为x~(2)={x~(2)(n)}.一般地x~(p)={x~(p)(n)}表示x通过p次中值滤波后的实数列,其中x~(0)=x.若x(1)=x,则x称为中值滤波的根,关于根已有系统且完备的研究.若x~(1)≠x,但有s≥2使x~(s)=x,则x称为s次循环序列.关于循环序列已经有下面的命题若x={x(n)}是循环序列,则(i)x中任何长为k+1的段落都是二值的;(ii)x本身是二值的.本文证明:任何循环序列都是二次循环的     

水车,来自远古的呼唤

水车是一种古老的提水灌溉工具.它也被称做天车,车高10 m多,由一根长5 m、口径0.5 m的车轴支撑着24根木辐条,呈放射状向四周展开.每根辐条的顶端都带着一个刮板和水斗.     

中医专家系统设计的一个具有启发性的数学模型

设X=(x_1,x_2,…,x_n)为n 个症状(或体征,为方便计,以下统称为症状)的向量.各分量用0或1赋值,即x_j={1,若第j 个症状出现, 0,其他情况,j=1,2,…,n.又设U={X}是症状向量的集合,它一共有2~n 小元素.令S_(?)(i=1,2,…,m)表示m 个证     

基因及其表达的协同性

现代分子遗传学已经揭示了很多基因表达相互制约和协同的信息,但尚未见定量化的方法报道,本文将给出一个基因表达的定量模型。 1.基因协同值 由n个结构基因组成的生物分化成m种不同的组织,令     

关于虚根的几个注记

虚根是Kac-Moody代数中的一个非常重要的概念,它体现了Kac-Moody代数与有限维单Lie代数的本质上的区别.在本文中,我们首先描述Kac-Moody代数的严格虚根.然后再刻划极小虚根,这是文献[1]中结果的进一步完善.1 基本概念设A=(a_(ij))~n_(i,j)=1是一个广义Cartan矩阵,((?),Π,Π°)是A的一个实现,其中П={α_1,…,α_n}(?)*;Π~v={α°_1,…α°_n}(?),g(A)是关联于A的Kac-Moody代数.Q=sum from n=l toZα_i和 Q_ =sum from n=l toZ_iα_i分别是g(A)的根格和正根格.W和Sw分别是gw的Weyl群和D”忱n图.我们用的和坡分别表示g(A)的所有正实根的集合和正虚根的集合.令     

关于整树问题

“整图”这个术语首先由F. Harary和A. J. Schwenk(1974)引入。所谓整图就是指其特征值均为整数的图。文献[1]中第23个开问题是关于整树的,叙述如下: (i) 星图K_(1,m)是整的,当且仅当m是一个完全平方数。     

陶寺龙盘: 图腾文化的融合与碰撞

正本期小科说宝要给大家介绍的珍贵文物是出土于山西省襄汾县陶寺遗址当中的彩绘龙盘。它的质地为灰陶,在陶盘的内部描绘有一个朱红色龙纹,但这条龙的样子比较特殊,它长着蛇的身体,鳄鱼的头部,口中还吐出了一条类似禾苗形象的"舌头"。彩绘龙盘中的龙看起来明明更像一条蛇,为什么说它是龙呢?彩绘龙盘究竟是用来做什么的?     

Diophantus方程x2+2m=yn

设Z,N,Q分别是全体整数,正整数以及有理数的集合.数论和组合论中的很多问题都与指数型Diophantus方程x~2 2~m=y~n,x,y,m,n∈N,2(?)y,n>2的解(x,y,m,n)有关.近五十年来,Ljunggren,Nagell,Brown,Toyoizumi和Cohn等人都曾对此有过很多工作.1986年,文献[1]宣布已经找出了方程(1)的全部解,但是迄今没有见到该结果的证明.因此方程(1)的求解仍是个尚未解决的问题本文运用Baker方法证明了:定理 方程(1)没有适合2|m以及m>2的解(x,y m,n).由于文献[2]运用代数数论方法证明了:方程(1)仅有解(x,y,m,n)=(5,3,1,3)和(7,3,5,4)适合2(?)m;文献[3]用初等数论方法证明了:方程(1)仅有解(x,y,m,n)=(11,5,2,3)适合m=2.因此综合上述结果即可确定方程(1)的全部解.推论 方程(1)仅有解(x,y,m,n)=(5,3,1,3),(7,3,5,4)和(11,5,2,3).     

博士殿堂双面棋

为了丰富农村中小学生的课余生活,特献上一种新棋。因为棋子有正反两面,不妨称之为双面棋。双面棋的棋盘由10条横线、三条贯通和2条不贯通的竖线组成,在中间一条竖线的两边,各画有一个带对角线的棱形框,如图所示。双面棋的棋子有两面,一面为红色,另一面为黑色,可以用木材、塑料或玻璃等做成。     

高全同立构聚丙烯~(13)C-NMR的分析

记r(G)为图G=(V,E)所能嵌入的可定向曲面的最小亏格.K_n是n个节点的完备图.K_n-K_3为从K_n中去掉任一三角形,即长度为3的圈上的三条边所得的图。