新的上可嵌入图类

图C的C-划分指：C的一个顶点划分{V1，V2，…，V4}使得每个C[Vi]为多重完全图（l≤i≤k）。证明了如下结果：设C为连通图，且对任意v∈V(C)，dc(v)≡1(mod4)。若C的顶点集存在一个C-划分{V1，V2，…，V4}使得对每个1≤i≤k，|Vi|≥4，且≡0（mod4），则C是上可嵌入的，另外，联系着图的点的度和其它条件，推广和深化了目前有关这方面的一些结果，给出了另一些上可嵌入图类。     

最大度为△图类的2-距离色数的一个下界

简单图G（y，E）的k-正常染色f称作G的k-2-距离染色，当且仅当任意w∈V（G），任意v,u∈N[w]，满足f（u）≠f（v）．得到了最大度为A的图类的2-距离色数的一个下界， χ^2（Δ=d）≥{（d/2＋1）^2,d≡0（mod 2） [（d＋1）（d＋3）]/4,d≡1（mod 2） 并回答了文献[1]提出的问题：能否找到一常数C，使得χ^2（G）≤C△（G）对所有图G都成立．证明了这样的C是不存在的．     

丢番图方程X~4-DY~2=1~(Ⅲ)

关于丢番图方程x~4-Dy~2=1,D>0且是非平方数(1)文[1]中给出了若干结果,本文采用另一种方法改进了那里的一些结果,给出了定理1 设D≡7(mod8),D=P_1P_2…P_sS≥2,P_i(i=1,2,…,S)是不同的奇素数,则在 1) P_1≡1(mod4),P_i≡3(mod4)(i=2,…,S)且对某个i,2≤i≤S,((Pi)/(P_1))=-1,或 2) 2P_1=a~2 b~2,a≡±3(mod8),b≡±3(mod8)和P_1≡3(mod4),(i=2,…S)时,丢番图方程(1)均无正整数解。定理2 设D=2P_1…P_s,S≥2,P_i(i:1,2,…S)是不同的奇素数,则当 1) 2P_1=a~2 b~2,a≡±3(mod8),b≡±3(mod8)和P_i≡3(mod4)(i=2,…,S),或 2) P_1≡5(mod8),P_1≡3(mod4)(i=2,…,S),或 3) P_1≡1(mod4),P_i≡3(mod4)(i=2,…,S),且对某个j,2≤j≤S,((P_i)/(P_1))=-1时,     

关于柱图Cλ(Pn)的细分图的k-优美性

一个简单图G=(V,E)是k-优美的(k≥1为整数),如果存在单射f:V(G)→{0,1,2,…,｜E｜+k-1}使得对所有的边uv∈E(G),由f*(uv)=｜f(u)-f(v)｜导出的映射f*:E(G)→{k,k+1,…,｜E｜+k-1}是双射.若G是简单图,且在G的所有相邻的两个顶点之间都加入一个顶点,则所得到的图称为G的细分图,该文证明了当λ≥2,n≡0(mod2)时,Cλ(Pn)的细分图Cλ(Pn)是k-优美图.     

有关Mersenne素数的尾数

利用中国剩余定理探讨Mersenne素数的尾数,证明了p=4k+1当时,Mersenne素数Mp≡31(mod 100),Mp≡11(mod 100),Mp≡91(mod 100),Mp≡71(mod 100),Mp≡51(mod 100);当p=4k+3时,Mersenne素数Mp≡27(mod 100),Mp≡47(mod 100),Mp≡67(mod 100),Mp≡87(mod 100),Mp≡7(mod 100).     

关于积图Ps×Ct的细分图的K-优美性

该文定义:一个简单图G=（V,E）是k-优美的（k≥1为整数）,如果存在单射f:V（G）→{0,1,2,…,|E| k-1}使得对所有的边uv∈E（G）,由f＊（VV）一丫（V）-/（V门导出的映射 f＊:E（G）→{k,k 1,…,|E| k-1}是双射。若G是简单图,且在G的所有相邻的两个顶点之间都加入一个顶点,则所得到的图称为G的细分图。该文还证明了积图Pn×C2m、P2n×C2m 1、P2n×Cm的细分图是k-优美图。     

关于丢番图方程x5+y5=DZ2

设D为无平方因子且不含10m+1形素因子的正整数,p≡1(mod10)为素数,利用简洁初等方法获得了方程x5±1=Dz2的全部解;证明了方程x5+1=pDz2,p≡1,5,D(mod8)和方程x5-1=pDz2,p≠1,5,-D(mod8)均无Z≠0的整数解;方程x5+y5=Dz2适合(x,y)=1,z≠0的整数解满足2×z,3×D,5×Dz,并且当2|x时,8|x,D≡ y(mod8).     

最大度为Δ图类的2-距离色数的一个下界

简单图G(V,E)的k-正常染色f称作G的k-2-距离染色,当且仅当(∨)w∈V(G),(∨)v,u∈N[w],满足f(u)≠f(v).得到了最大度为Δ的图类的2-距离色数的一个下界,χ2(Δ=d)≥{(d/2 1)2, d≡0(mod 2)(d 1)(d 3)/4, d≡1(mod 2)并回答了文献[1]提出的问题:能否找到一常数C,使得χ2(G)≤CΔ(G)对所有图G都成立.证明了这样的C是不存在的.     

关于丢番图方程2x-2y·3z-2·3u=9k+1

利用初等方法给出了丢番图方程2x-2y·3z-2·3u=9k 1,x,y,k>0,z,u≥0的全部整数解:(x,y,z,u,k)=(4,2,0,0,1),(5,2,0,2,1),(6,2,2,2,1),(8,2,1,4,2),(5,4,0,1,1),(6,4,1,1,1),(9,4,0,5,1),(10,5,2,1,3),(7,6,0,3,1),(8,6,1,3,1).利用此结果给出了与和完全数相关的丢番图方程2a c 1-2c 1·3d f k-2-2·3f k-1=3k 1,a>0,c>0,d≥0,f≥0,k≡0(mod2)的全部整数解:(a,c,d,f,k)=(4,1,1,1,2),(1,3,0,0,2),(2,3,1,0,2).     

双偶阶嵌套幻方的构造

嵌套幻方也称亲子幻方,它指阶数较大的幻方（“双亲幻方”）含有阶数较小的幻方（“子女幻方”）,文章给出多种构造任意双偶阶（≡0 mod 4）亲子幻方的构造方法,该方法用m（偶数）阶幻方生成2m阶亲子幻方,且使子女幻方幻和等于双亲幻方幻和的一半．     

一类奇完全数的Euler因子

设n=pα32βQ2β是奇完全数,其中p是奇素数,且p≡α≡1(mod 4),(p,Q)=1=(3,Q)=1,p是n的Euler因子.本文证明了:σ(m2)≥35pα,其中m2=32βQ2β,σ(m2)是m2的全部约数的和.     

关于Diophantine方程x~3±1=3py~2

利用初等数论的方法证明了:如果p是适合p≡3,7(mod8)的奇素数,则方程x3-1=3py2无正整数解;如果p是适合p≡7(mod8)的奇素数,则方程x3+1=3py2无正整数解.     

关于丢番图方程p~x+(p+1)~y=z~2

设p,q是奇素数,s是非负整数。利用初等方法中的同余、二次剩余、不等式法与Scott(1993年)的结果,证明:如果p≡1(mod4),p=2q~s-1,q≡3(mod4),s是正整数,则丢番图方程p~x+(p+1)~y=z~2仅有正整数解(p,x,y,z)=(5,4,3,29);如果p≡3(mod8),p=4q~s-1,则当q≡5,7(mod8),s是正整数时,上述方程无解;而当q≡3(mod8),s为非负整数时,上述方程仅有正整数解(3,2,2,5),(11,2,3,43)。     

关于指数Diophantine方程ax+by=cz的一个猜想

设r是大于1的正奇数,m是偶数.设Ur,Vr是适合Vr+Ur√-1=(m+√-1)r的整数,又设a=|Vr|,b=|Ur|,c=m2+1.证明了当a≡2(mod 4),b≡3(mod 4),m≥41r3/2时,方程ax+by=cz仅有正整数解(x,y,z)=(2,2,r).     

利用环Z/pkZ上矩阵的标准型构作卡氏认证码

设R是有限局部环Z/pkZ,这里p是素数,p3,p≡1(mod12),或p≡7(mod12),且k1.利用环R上特殊矩阵的相似标准型构作了一个卡氏认证码,并计算出该认证码的所有参数,进而假定编码规则按照统一的概率分布所选取,该码的成功伪造与成功替换的最大概率PI与PS亦被计算出来.     

一类六点八边图的图设计

设Kv是一个v个点的完全图，G为Kv的一个不含孤立点的简单子图．Kv的一个G-设计，常记为（v，G，I）-GD，是指一个二元组（X，B），其中x为Kv的顶点集，B是Kv的一些子图（亦称为区组）构成的集合，使得每一个区组与G同构，且Kv的任何一条边恰在B的一个区组中出现．文章讨论了一类六点八边图中尚未解决的3个图G（i=1，2，3）的图设计存在性问题，并证明了（v,Gi，1）-GD（i=1，2，3）存在的必要条件v=0，1（mod16）且v≥16也是充分的．从而给出了这类六点八边图图设计存在的完全解．     

关于Diophantine方程x~3±1=3Dy~2

利用数论中同余及其它一些方法研究丢番图方程x3±1=3Dy2(其中:D=2αqp,q,p均为奇素数,α=0或1,q≡5(mod6),p=12r2+1,r是正整数)的解的情况.证明了该丢番图方程无正整数解.推进了该类三次丢番图方程的研究.     

特征p=3域上李代数T(3)的导子代数

文献[1]构造了特征p=3的域F上的Cartan型模李代数K(3)的无限维子代数T(3),讨论了它的Z-阶化成分.令G表示T(3)的所有导子所构成的李代数,若令G[t]={φ∈G|φ(T(3)[j])T(3)[t j],j∈Z},则G=∑t∈ZG(t)具有Z-阶化结构.利用归纳法证明了:若φ∈G[t],且φ(T(3)[j])=0,j=-1,0,…,s.其中s≥-1.若s t≥-2,则φ=0.以此结论为基础,按Z-次数讨论G中元素,分别证明了当t≥-2时,G[t]=adT(3)[t],当t>3时分两种情况:1)若t 0(mod3)或t≡0(mod3)但t为奇数时,G[-t]=0.2)若t≡0(mod3)但t=2k为偶数时,G[-t]=〈D3k〉.从而得到T(3)的导子代数G=adT(3)〈D3k|k≡0(mod3),k∈N〉.     

关于几个丢番图方程

本文证明了丢番图方程x4－py4＝4及x2－py4＝4（p为奇素数）无正整数解；在D＞0且不被10K＋1形素因数整除时，方程x5－1＝Dy2在x1（mod20）时反有正整数解D＝2，x＝3，y＝11．     

蕴含Fk1,k2,1-可图序列

Gould,Jacobson和Lehel考虑了以下变形：给定图$H$,求最小偶整数,使得所有满足σ（π）=d1＋d2＋…＋dn≥σ（H,n）的n项序列π=（d1,d2,…,dn）有一个实现G含子图H．设Fk1,k2,1是k1个K3和k2个K2共一个顶点的图．在本文中我们求出了当k1≥1,k2≥1和n≥max{9/2k1^2＋7/2k1-1/2,2k1＋k2＋1}时,σ（Fk1,k2,1,n）之值