图(K_2∨)·(K_2∨■)的优美性及协调性

图的标号问题是组合数学的一个热门课题,在编码理论、网络、循环设计等许多领域都有重要应用。但对于一个图既是优美的又是协调的研究甚少。为此,对正整数k,n,m∈N (N 为正整数集合),给出了一类图(K2∨Kn).(K2∨Km),并通过构造标号函数的方法,论证了当n=2k时,该图是优美图;同时也论证了当m=n-1(n≥2)时,该图是协调图。     

非连通图(P3∨(Km))∪G及(C3∨(Km))∪G的优美性

将k-优美图的概念进行了推广,引入A～B优美图的概念,并以此为基础,得到了非连通图(P3∨(Km))∪G及(C3∨(Km))∪G是优美图的一个充分条件.证明了对任意正整数k,m,n,t,当k≤n≤t,n+k-1≤m时,图(P3∨(Km))∪(k∪j=1Kn,t)和(C3∨(Km))∪(k∪j=1Kn,t)是优美图;当k=1,2,2≤n＜2m+1时,图(P3∨(Km))∪k∪j=1P(j)n,(C3∨(Km))∪k∪j=1P(j)n和(P3∨(Km))∪Pn∪St(t)是优美图;当2≤n≤2m +1时,(C3∨(Km))∪Pn∪St(t)是优美图.本文的结果推广了现有的一些结论.     

两类非连通图(P2∨(Kn))(0,0,r1,0,…,0,rn)∪St( m)及(P2∨(Kn))(r1+a,r2,0,…,0)∪Gr的优美性

对自然数n,m,i∈N,设Ki表示i个顶点的完全图,(Kn)表示Kn的补图,St(m)表示m+1个顶点的星形树,G,为有r条边的优美图,Pn为n个节点的路,P2 ∨(Kn)是P2与(Kn)联图.给出了非连通图(P2 ∨(Kn))(r1,r2,0,…,0)∪St(m)及(P2∨(Kn))(r1 +a,r2,0,…,0)∪Gr的定义,并论证了当n≥2时,这两类图都是优美图.     

非连通图(K_1∨(P_n~(1)∪P_n~(2)))∪P_n~(3)及(K_1∨(P_n~(1)∪P_n~(2)))∪St(n)的优美性

给出了非连通图(K1∨(P(1)n∪P(2)n))∪P(3)n和(K1∨(P(1)n∪P(2)n))∪St(n),且对其优美性进行了研究。证明了如下结论:设n为任意正整数,则当n≥4时,非连通图(K1∨(P(1)n∪P(2)n))∪P(3)n和(K1∨(P(1)n∪P(2)n))∪St(n)均是优美图;其中,Pn是n个顶点的路,Kn是n个顶点的完全图,St(n)是n+1个顶点的星形树,G1∨G2是图G1与G2的联图。     

一类图(C)2n的优美性

给出了图(C)2n的定义,并对其优美标号进行研究,得到了当n=4k+1(k≥1)时,图(C)2n是优美图的结论.     

图K2∧Km,n的优美性

对于正整数m,n∈N⁺(N⁺为正整数集合), 给出一类图K₂∧K_m,n, 通过构造标号函数的方法, 论证了 该图的优美性.     

三部图K(m,n,r)-A(|A|=2)的色唯一性

设G是简单图,用P(G,λ)表示图G的色多项式,令K(m,n,r)表示完全三部图.证明了1)当3≤m≤n≤r时,令s=1/√6√(n-m)2 (r-n)2 (r-m)2 12,若m n r＞2√3s 3s2,则K(m,n,r)-A(|A|=2)是色唯一图;2)当m≥4时,K(m,m,m)-A,K(m,m,m 1)-A,K(m,m 1,m 1)-A,(|A|=2)都是色唯一图;3)设n,k为非负整数,则当n＞k2 2√k2 6 k 2时,K(n-k,n,n)-A;当n＞k2 2√k2 6-k/3 2时,K(n,n,n k)-A;当n＞2√3k2 6 k2 2时,K(n-k,n,n k)-A(|A|=2)均为色唯一图.     

关于指数丢番图方程x3+1=py2与x3+1=3py2

设p是6k+1型的奇素数,运用初等方法给出了当p=3n(n+1) +1(n∈N),且3｜(2n+1)时指数丢番图方程x3+1 =py2与x3+1 =3py2无正整数解的充分条件.     

图■的奇优美性与奇强协调性

定义了图■并研究了该图的奇优美性与奇强协调性.利用构造法分别给出了图■在n=2k,n=2k+1时的奇优美标号算法,在n=2k,n=2k+1时的奇强协调标号算法,进而证明了图■是奇优美图和奇强协调图等结论.     

关于Lee猜想的一些结论

Lee提出了猜想:对任意正整数n>1及n次对称群S(n)中的任意置换f,路置换图P(Pn,f)都是优美的.讨论了当f=l-1Ⅱk=0(m+4k,m+4k+2)(m+4k+1,m+4k+3)(其中m和l为正整数,且m-1+41≤n)时,路置换图P(Pn,f)的优美性.     

一类图C_n~2的优美性

给出了图Cn2的定义,并对其优美标号进行研究,得到了当n=4k+1(k≥1)时,图Cn2是优美图的结论。     

图C~2_n的优美性

给出了图C2n的定义,并对其优美标号进行研究,得到了当n=4k(k≥2)时图C2n是优美图的结论。     

蕴含K5-P2可图序列的刻划

对于给定的图H,称π是蕴含H可图的,如果π有一个实现包含H作为子图.K k,C k,Pk分别表示k阶完全图,圈长为k的圈和路长为k的路.K 5-P2表示从5阶完全图中删去长为2的路.Luo Rong[14]考虑了蕴含C k可图序列的刻划问题,并刻划了当k=3,4,5时,蕴含C k的可图序列.此外,Luo等人[15]刻划了蕴含K 4的可图序列,Eschen和Niu[16]刻划了蕴含K 4-e的可图序列,Yin Jianhua等人[23]刻划了当r=2,s=3和r=2,s=4时,蕴含K r,s的可图序列,其中K r,s是r×s完全二部图.Hu Lili等人[3-5]刻划了蕴含K 5-C4,K 5-Z4,K 5-E3的可图序列,徐正华等人[18]刻划了蕴含K1,4 e的可图序列,王艳[17]刻划了蕴含K 1,4 P2的可图序列,刘明静[13]等人刻划了蕴含K 5-Z5的可图序列.本文刻划了当n≥5时,蕴含K 5-P2的可图序列.     

(K 3,K2+Tn)的Ramsey数

Zhou Huai-lu给出了当m≥1，n≥5m 3时，r(Bm，Wn)=2n 1；当m=1，n≥9或m≥2，n≥(m-1)(16m^3-16m^2-24m-10) 1时r(Bm，K2 Cn)=2n 3．这里Bm表示：Kz Kc/m，w。表示n个辐条的轮．Gu H给出了当n≥3时，r(K3，K1 Tn)=2n 1;当m≥1，n≥5m 2时r(Bm，K1 Tn)=2n 1．在此启发下，该首先用组合的方法证明了r(K3，K2 T4)=11．     

二次域Q(D~(1/2))上的一类不定方程

设N(a)=k,|k|>1,本文证明了,对满足某些条件的k,不定方程(a~(4m) a′~(4m))/2=t~2,N(a)=a a′=k无正整数解m,t,其中a=a bD~(1/2),a′=a-bD~(1/2),b≠0,D>0是一个非平方数。同时给出了应用到Lucas序列上的相应结果.     

图St(m)∪Kp,q的k优美性及算术性

对于正整数m,p,q,k∈N⁺(N⁺为正整数集合),给出一类非连通图St(m)∪K_p,q, 论证了当k>1, 且min{p,q}≥2时, 该图是k优美图; 当k>(q-1)d+1(d>1, d∈N⁺)时, 图St(m)∪K_p ,q是(k,d)算术图.     

圈 Cn的奇优美性和奇强协调性

研究了圈Cn的奇优美性及其奇强协调性,得到了圈Cn在n=2k时的奇优美标号算法及其在n=4k时的奇强协调标号算法,从而证明了圈Cn在n=2k时是奇优美图以及在n=4k时是奇强协调图的结论.     

关于完备二分图K_(m,n)冠的K—优美性

马克杰先生曾提出猜想 :完备二分图Km ,n的冠是K—优美图 (m≤n ,k≥ 2 ) 本文证明了当k≥m(n r)时 ,此猜想成立 ,并得到了一般情况的结论。     

蕴含K5-K2可图序列的刻划

对于给定的图H,称π是蕴含H可图的,如果π有一个实现包含日作为子图.Kk,Ck,Pk分别表示k阶完全图,圈长为k的圈和路长为k的路.K5-P2表示从5阶完全图中删去长为2的路.LuoRong[14]考虑了蕴Ck可图序列的刻划问题,并刻划了当k=3,4,5时,蕴含Ck的可图序列.此外,Luo等人[15]刻划了蕴含K4的可图序列,Eschen和Niu[16]刻划了蕴含K4-e的可图序列,Yin Jianhua等人[23]刻划了当r=2,S=3和r=2,S=4时,蕴含Kr,s的可图序列,其中Kr,s是r×s完全二部图.Hu Lili等人[3-5]刻划了蕴含K5-K4,K5-Z4,K5-E3的可图序列,徐正华等人[18]刻划了蕴含K1,4+e的可图序列,王艳[17]刻划了蕴含K1,4+P2的可图序列,刘明静[13]等人刻划了蕴含K5-Z5的可图序列.本文刻划了当n≥5时,蕴含K5-P2的可图序列.     

图Cn×K2的边优美标号的研究

文章研究了图Cn×K2的边优美性,证明了当n=1（mod2）时,图Cn×K2不是边优美图,同时给出当n=0（mod2）时图Cn×K2边优美标号的算法,并利用此算法编写Java程序,得出当n=2,4,6,8,10时图Cn×K2的边优美标号．