利用Skolem序列构作图Km+2\Km的图设计

首先应用Skolem序列及Langford序列等直接构作了图G4=K6\K4的2个无穷类图设计,进而将这2个构作方法推广到更广泛的图类Gm=Km 2\Km上,给出了Gm-GD(2(2m 1)t 1)与Gm-GD(2(2m 1)t)的直接构造.其中m与t为任意正整数(前者中m奇且t≡2，3（mod4)的情形除外）。     

蒲公英图T_m~r的k-边优美指标集

设G=(V,E)是一个p点q边图.对于非负整数k,若存在双射f:E→{k,k+1,…,k+q-1},使得其导出映射f+:V→Zp,f+(u)≡∑(u,v)∈Ef(u,v)mod p也是一个双射,则称此图G是k-边优美的.称GEI(G)={k:G是k-边优美的}是G的边优美指标集.完全确定了蒲公英图Trm(m>0,r≥0)的边优美指标集.     

蒲公英图Trm的k-边优美指标集

设G=(V,E)是一个p点q边图.对于非负整数k,若存在双射f:E→{k,k+1,…,k+q-1},使得其导出映射f+:V→Zp,f+(u)≡∑(u,v)∈Ef(u,v)modp也是一个双射,则称此图G是k-边优美的.称GEI(G)={k:G是k-边优美的}是G的边优美指标集.完全确定了 蒲公英图Tm(m＞0,r≥0)的边优美指标集.     

斯坦纳和柯克曼三元系及大集问题

1983年,我国有一位名不见经传的业余组合数学工作者陆家羲,向世界宣告他摘下了数学王冠上的一颗明珠——斯坦纳三元系大集问题,然而正当这一成果为人们所确认的时候,他却因长期积劳,溘然而逝。本期发表的《斯坦纳和柯克曼三元系及大集问题》一文介绍了他所解决的这个世界难题的背景和内容,以表示我们对这位为中华民族争了光的优秀科学工作者的怀念。     

关于K2,3+e的图设计

λKv是一个λ重v点完全图，G为一个不带弧立点的简单图。λKv的一个G－设计，常记为（v,G,λ)-GD，是指一个对子（X，　），其中X为Kv的点集， 为Kv的一些子图（亦称为区组）构成的集合，使得任一区组均与图G同构，且Kv的任意2个不同点组成的边恰在 的λ个区组中出现。现讨论了2类6点7边图Gi=K2,3 e(i=1,2）的图设计存在性问题，证明了存在（v,Gi,λ)-GD(i=1,2）当且仅当14|λv(v-1),v≥6，且（v,λ)≠(7,1),(8,1)。     

LRMTS（3v）和LRDTS（3v）的构作

本文给出了构造ＬＲＭＴＳ（３ｖ）及ＬＲＤＴＳ（３ｖ）的一种途径，其中ｖ≡１（ｍｏｄ３）。特别，利用这一方法，我们得到了ＬＲＭＴＳ（１２）和ＬＲＤＴＳ（１２）的存在性。这一阶数是关于不相变可分解Ｍｅｎｄｅｌｓｏｈｎ（及Ｄｉｒｅｃｔｅｄ）三元系大集的最小未知阶数。     

关于P_m×P_n的K-优美性

本文对 P_m×P_n 图的顶点 X_(ij)(i=1,2,…,m,j=1,2,…,n)作出标号:(i=1,2,…,m;j=2,3,…,n)式中,t=m(n—1)+n(m—1)+k—1。同时,证明了 P_m×P_n 图是 K优美的。因此,Gracl 猜想成为本文的特例而被证实。     

8长圈加1条弦的图设计

设λKυ是λ重υ点完全图，G是无孤立点的有限简单图，将G-设计记作(υ，G，λ)-GD=(X，R)，其中X是完全图Kυ的顶点集，R是Kυ中同构于G的子图(区组)的集合，使得Kυ中每条边恰好出现在R的λ个区组中，利用差分法、拟群及组合设计理论中经典的PBD方法等，建立了若干有效的构造图设计的递归方法，并给出了若干小设计的直接构造，最终解决了λ=1时，8长圈加1条弦的图设计的存在性问题，并给出其λ=1时的存在谱。