有序三元系超大集

本文对有序三元系超大集的存在性进行了讨论，得到了ｖ≡４（ｍｏｄ２４），ｖ≡４（ｍｏｄ１２０）及ｖ＝７＇１１＾ｍ１３＾ｎП↓ａ，ｔ（４＾ａ＋１）＾ｔ－１（诸指数均为非负整数）时ＯＬＭＴＳ（ｖ）（１＝０）及ＯＬＤＴＳ（ｖ）（１≥０）的存在性。     

K2s,2t-设计的存在性

Kν是ν点完全图，G为不带孤立点的简单图。Kν的G－设计常记为（ν，G，1）－GD，是指一个对子（X，B），其中X为Kν的点集，B为Kν的一些子图（亦称为区组）构成的集合，使得任一区组均与图G同构，且Kν的任意2个不同点组成的边恰在B的一个区组中出现。采用统一的方法构造了K2^s,2^t-设计，并给出其存在谱如下：存在（ν，K2^s,2^t,1)-GD当且仅当ν≡1(mod 2^s t 1),s,t≥0。     

关于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)。     

图K2,3+e的最优填充

主要讨论了2类6点7边图Gi＝K2,3 e(i=1，2）的最优填充存在性问题，证明了：存在（v,Gi,1）－OPD当且仅当v≥6，除去非最优（但为最大）的P（6，Gi，1）＝1有未知的（9,Gi,1）－OPD，i＝1，2。     

K2,2s-设计的存在性

λKv是一个λ重v点完全图,G为一个不带孤立点的简单图,λKv的一个G－设计,常记为（v,G,λ)-GD,是指一个对子（X,B）,其中X为Kv的点集,B为Kv的一些子图（亦称为区组）构成的集合,使得任一区组均与图G同构,且Kv的任意2个不同点组成的边恰在B的λ个区组中出现,用统一的方法构造了K2,2^s-设计,并给出其存在谱,存在（v,K2,2^s,λ）－GD当且仅当。     

λKv∪λDKv的三角形分解

运用组合设计中的PBD方法、差分法等,结合一些已知的PBD存在结果及一些小阶数三角形分解的巧妙构造,给出了3类mixed三角形分解Ti(v,λ)(i=1,2,3)存在的充分必要条件.     

关于CS(5m,4m)与CS(7m,4m)的存在性

一个v阶k-圈系统,简记为CS(v,k),是长度为k的无向圈的集合,它的全体无向边恰构成v阶完全图Kv的边的一个分拆.本文利用差方法构造性地给出了CS(5m,4m)m≡5(mod16);CS(7m,4m),m≡15(mod16);的存在性.     

图K2,3+e的最优填充的存在性

讨论了2类6点7边图Gi＝K12，3＋e（i＝1，2）的最优填以存在性问题，证明了：存在（v,Gi，λ）－OPD当且仅当v≥6，除去非最优的P（6，Gi，1）＝1及未知的（9，Gi，1）－OPD，i＝1，2。     

Mendelsohn三元系超大集

对Mendelsohn三元系超大集的存在性进行了讨论，得到：v≡1，3（mod6),v≡4(mod24),v≡24(mod120）及v≡11^m13n∏s,t(4^s 1)^t=1）诸指数均为非负整数时OLMTS（v）存在。     

幂等对称拟群的超大集

一个v阶拟群(X,。)等价于一个v(v-1)×3的部分正交表(每行由三个不同元素构成).若对任意a,b∈X,都有a。b=b。a,则称(X,。)为对称的.设y为v+1元集,y的由三个不同元素构成的(v+1)v(v-1)个有序三元组作成集合T(v+1).若T(v+1)可分拆成v+1个分别作用在Y＼{y}上的两两不交的部分正交表By,则称{(y＼{y},By);y∈y}为幂等对称拟群的超大集.本文证明了存在v阶幂等对称拟群的超大集当且发v≡1(mod 2),v≥3.