有向图n·C9^→的优美性

设→Cm表示具有m个顶点的有向圈,n·→Cm表示由仅具有一个公共顶点的n有向圈→Cm组成的有向图.1994年杜之亭,孙惠泉在证明了n·→C2p(n≡0(mod2))是优美图的基础上提出猜想"n·C2p+1(n≡0(mod2))是优美的",之后,很多学者在这方面做了大量的工作,并分别证明了猜想对于P=1,2,3是成立的.本文证明了猜想对于p=4(即有向图n·→C9(n≡0(mod2))也是成立的,并且给出了三种不同的优美标号.猜想对于任意正整数p是否成立,仍然是个公开问题.     

有向图n·■_9的优美性

设Cm表示具有m个顶点的有向圈,n·Cm表示由仅具有一个公共顶点的n有向圈Cm组成的有向图.1994年杜之亭,孙惠泉在证明了n·C2p(n≡0(mod2))是优美图的基础上提出猜想"n·C2p+1(n≡0(mod2))是优美的",之后,很多学者在这方面做了大量的工作,并分别证明了猜想对于p=1,2,3是成立的.本文证明了猜想对于p=4(即有向图n·C9(n≡0(mod2))也是成立的,并且给出了三种不同的优美标号.猜想对于任意正整数p是否成立,仍然是个公开问题.     

一类广义Petersen图的关联着色

通过研究一类广义Petersen图G(n,k)的关联着色,证明了关联着色猜想对于一类广义Petersen图成立,若n≡0(mod3),k≠0(mod3),则Inc(G(n,k))≤5,其中Inc(G(n,k))表示G(n,k)的关联色数.     

关于图C_n~2,C_n~3(n≡0(mod5))与图C_n~(3)(n≡0(mod7))的全染色

给出了图C2n,C3n(n≡0(mod5))和C(n3)(n≡0(mod7))的全色数.     

关于丢番图方程2py~2=2x~3+3x~2+x的解

本文运用初等数论简单同余法、分解因子法及反证法等,得到丢番图方程2py2=2x3+3x2+x,(p为素数)无正整数解的情况.(1)当p≡1(mod 8),p≡5(mod 8),p≡7(mod 8)时,则方程无正整数解;(2)当p≡3(mod 8)时,Un+Vnp(1/2)=(x0+y0p(1/2))n.其中x0,y0是Pell方程x2-py2=1的基本解,当n≡0(mod 2)时,则方程无整数解;当n≡1(mod 2)时,若2|x0,则方程无整数解.特别是p≡3(mod 8)且p100时,2|x0,则方程无整数解.     

关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.     

一类单圈图的优美性

优美图是图标号问题中研究最多的一类图。文章研究了在圈C_n上的每个顶点都粘接一棵相同的毛毛虫树所组成的图C_n∪T_m~([r0,r1,···,rm])的优美性,并用优美图的定义证明了当n≡0,3(mod 4)时,图C_n∪T_m~([r0,r1,···,rm])是优美的。     

图wn*pk的优美性

提出图wn*pk的概念,并在n≡0(mod 2)且n≥4,k≡1(mod 2),k≡0(mod 2)和n≡1(mod 2)且n≥5,k≡1(mod 2),k≡0(mod 2)时,证明图wn*pk是优美的.     

枫叶图的奇优美性和奇强协调性

首先提出了枫叶图的概念,然后证明了当m≡0(mod2)且k=2m和m≡1(mod2)且k=2m-1,m≥2时,枫叶图的奇优美性和奇强协调性.     

关于丢番图方程x6±y6=pz2的正整数解

设p＞3是素数,证明了丢番图方程在x6+y6=pz2在p(≠)1(mod 24)时无正整数解,方程x6-y6=pz2在p(≠)1,7,19(mod 24)时无正整数解;并且获得了以上方程在p≡1,7,19(mod 24)时有正整数解的必要条件及其部分计算结果,从而从正面支持了广义Fermat猜想和Tijdeman猜想.     

正整数被素数p整除的判别法

设p是素数且p≠2,5,|k|是满足10k≡1(mod p)成立的最小正整数,Mn=n∏i=010iai(0≤ai≤9,i=0,1,…,n,an≠0).运用数学归纳法证明了:若对?i=0,1,…,n-1,有bi+1=kci+ai+1,bi+1≡ci+1(mod p),其中c0=a0,|ci+1|≤p-1/2,则p|Mn...     

关于p_n~2优美性的研究

研究了形如p(n1,n2,…,nm)∪p2n不交并图的优美性.证明了如果T.Gracl猜想成立,则形如p(n1,n2,…,nm)∪p2n不交并图的优美性在一定的条件下成立,并给出了当n=3,4,5,6,7,8,9时,p(n1,n2,…,nm)∪p2n的优美标号.     

关于不定方程x2+4n=y11的整数解

应用代数数论以及同余法等初等方法讨论不定方程x~2+4~n=y~(11)的整数解情况,证明了不定方程x~2+4~n=y~(11)在x为奇数,n≥1时无整数解;不定方程x~2+4~n=y~(11)在n∈{1,8,9,10}时均无整数解;不定方程x~2+4~n=y~(11)有整数解的充要条件是n≡0(mod 11)或n≡5(mod 11),且当n≡0(mod 11)时,其整数解为(x,y)=(0,4~m);当n≡5(mod 11)时,其整数解为(x,y)=(±2~(11m+5),22m+1),这里的m为非负整数,验证了k=11时猜想1成立。     

一类串图的优美性

给出了一些图的优美标号,特别给出了串图ωm1,m2,mn,mn＋1当m1,m2,…,mn≡0（mod4）,mn＋1≡3（mod4）的优美标号,以及串图ωm1,m2,,m2n当mi≡2（mod4）（i=1,2,…,2n）,m2k-1＜m2k,（k=1,2,…,n）时的优美标号.     

一类广义Petersen图的邻强边染色

研究了一类广义Petersen图G(n,k)的邻强边染色,构造性地证明了:若n≡0(mod3),k≡/0(mod3),则χ_(as)~′(G(n,k))=4.其中χa′s(G(n,k))表示G(n,k)的邻强边色数.     

关于平衡非Wieferich素数的一个注记（英文）

令Bn是第n个平衡数。最近,Routh证明了在数域Q■的abc猜想成立的前提下,对于任意正整数k 2和n 1,有■的素数p满足p≡1 (mod k)和■,其中■表示Jacobi符号。对于任意给定的正数M,Dutta,Pate和Ray将下界改进到(logx/loglogx)(logloglogx)M。但是,我们发现他们的证明中有一些漏洞。尽管我们现在没能弥补这些漏洞,但在去掉mod k的限制条件下,我们将下界进一步改进到logx,即在数域Q■的abc猜想成立的前提下有■的素数p满足■。     

关于Euler函数的Makowski猜想

对于正整数n,设φ(n)是n的Euler函数.该文证明了:如果φ(n 3)=φ(n) 2,则n=2pr或2pr-3,其中p是适合p≡3(mod 4)的素数,r是正整数.     

关于丢番图方程x6±y6=2pz2的计算程序

设p>3是素数,证明了丢番图方程x6-y6=2pz2无正整数解;方程x6+y6=2pz2在p 1(mod24)时无正整数解;并且获得了以上方程在p≡1(mod24)时的全部正整数解通解公式及其计算程序,从而从正面支持了广义Fermat猜想和Tijdeman猜想。     

整数集合的sum-free集(无和集)分拆的一个注记

本文根据g(n,k)的值证明了:φ(n,1)=[(n+1)/2](n≡1(mod2));φ(n,2)=n-[n/5](n≡4(mod(5)).ψ(n,1)=[(n+1)/2](p≡0(mod2));ψ(n,2)=n-[n/5](p≡0(mod5)).及其n和p取其他值与k≥3时,给出了φ(n,k)与ψ(n,k)的范围.并说明了g(n,k)与ψ(n,k)在求Ramsey数的作用.     

图的优美性

本文定义了一类特殊结构的图ωm1,m2,…,mn,证明了当m1,m2,…,mn≡0(mod4)时,ωm1,m2,…,mn是优美图和交错图.它是一类优美图n-C4m=ω4m,4m,…,4m()n个的推广.