2-完美(v,{3,k},λ)-MD存在性

令v与λ为正整数,K为正整数集。一个（v,K,λ）-Mendelsohn设计（简写为（v,K,λ）-MD）是一个对子（X,B）,其中,X是一个v元集合（称之为点集）,B是由X中k-子集（称之为区组）所组成的集合,其中k∈K且所含元素是循环有序的,使得X中任意有序对恰相邻出现在、B中的A个区组中。如果对于所有t=1,2,…,r,X中任意有序对均恰以t-间隔的形式在,B中出现A次,则称其为r-完美设计,并且简记为r-完美（v,K,λ）-MD。主要讨论2-完美（v,{3,k},λ）-Mendelsohn设计的存在性,其中k取自集合{4,5,6,7}。     

区组长度为{3,4}的自反Mendelsohn设计和自反强制Mendelsohn设计

一个Mendelsohn设计MD(v,k,λ)称为是自反的,记为SCMD=(v,k,λ)=(X,B,f),如果存在从(X,B)到(X,B-1)的同构映射f,B-1={B-1;B∈B},其中若B=则B-1=.当λ=1时记作k-SCMD(v).一个{k1,k2}-SCMD(v)称为是自反强制Mendelsohn设计,记作{k1,k2}-SCMMD(v),若{k1,k2}-SCMD(v)中区组长度至少有一个k1和一个k2.该文给出了{3,4}-SCMD(v)和{3,4}-SCMMD(v)的存在性.     

区组长为4的自反有向平衡不完全区组设计

如果从一个有向平衡不完全区组设计DB(k,λ;v)(X,B)到(X,β-1)之间存在一个同构映射f,则这个DB(k,λ;v)被称为自反的,记为SCDB(k,λ;v)(X,β,f),其中β-1={B-1:B∈B},当B=(x1,x2,…,xk-1,xk)时B-1=(xk,xk-1,…,x2,x1).本文主要证明了SCDB(4,λ;v)存在的充分必要条件是λ≡1,2(mod 3)时,v≡1(mod 3)且v≥4,(v,λ)≠(7,1);λ≡0(mod 3)时,v为≥4的任意整数.     

两类8点8边图的图设计

设λKv是v阶λ重完全图,G是一个有限简单图.图设计(v,G,λ)-GD是一个有序对(X,B),其中X是完全图Kv的顶点集合,B是λKv中与G同构的子图(叫做区组)的集合,使得Kv中任意一条边恰出现在B的λ个区组中.研究了两类8点8边图Gi(i=1,2)的图设计,并给出了(v,Gi,1)-GD(i=1,2)的存在谱.     

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

不可约NB[4,3;v]的存在性

证明了当v≡0,1(mod 4)且v≠4,8,12时,存在一个(v,4,1)-PMD,它同时也是一个不可约NB[4,3;v],并由此证明了存在不可约NB[4,3;v]的充要条件是v≡0,1(mod4)且v>4。     

型为44的OGDD的同构分类

正交可分组设计是一个四元组(X,Y,A,B）,其中X是一个点集,Y是X的一个划分(称为组集),A和B是两个不交的三元子集簇,满足对不在同一组的任一点对{x,y}恰好出现在A的一个三元集中,也恰好出现在B的一个三元集中．进一步有(a)如果{x,y,a}∈A且{x,y,b}∈B,那么a和b不在同一组,且(b)如果{x,y,z},{u,v,z}∈A且{u,v,b},{x,y,a}∈B,那么a≠b,在这篇文章中,将证明只有一个型为4^4的OGDD的同构类．     

利用正交几何构造BIB设计

所谓一个BIB设计B[k,λ,v]是指一个序对(X,■),其中X 是一个v元集合,■是由X的某些k元子集(称为区组)组成的集族,使得X的每个2元子集恰好包含在λ个区组中.本文证明了特征不为2的有限域上正交几何的几个计数定理,利用它们构造了几种BIB设计,并计算出参数.     

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当且仅当。     

6长圈加1条弦的图设计

设λK_v是λ重v点完全图,G是无孤立点的有限简单图.将G-设计记作(v,G,λ)-GD,是指一个序偶(X,),其中X是完全图K_v的顶点集,是K_v中同构于G的子图(区组)的集合,使得K_v中每条边恰好出现在的λ个区组中.解决了图6长圈加1条弦的图设计问题,并给出其λ=1时的存在谱.     

一种三角形分解的大集和超大集

混-4三角形分解的大集,记为LT4(v,λ,4λ),是一个集族{(X,(β)r):1≤r≤v-2/λ}.其中,X是一个v元素,每一个(X,(β)r)是一个混-4三角形分解T4(v,λ,4λ).混-4三角形分解的超大集,记为OLT4(v,1,4),是一个集族{(X\{x},(A)x):x∈X}.其中,X是一个v 1元集,每一个(X\{x},(A)x)是一个混-4三角形分解T4(v,1,4).给出了LT4(v,λ,4λ)和OLT4(v,1,4)存在的充分必要条件.     

指标为3的单纯Mendelsohn三元系大集

一个指标为3的Mendelsohn三元系,记为MTS(ν,3),是一个对子(X,β),其中X是一个ν元集,β是X中循环三元组(区组)的集合,满足X的每一个有序对都恰包含于β中的3个区组.设(X,β)是一个没有重复区组的MTS(ν,3),如果(x,y,z)∈β必有(z,y,x)≠β则称(X,β)为单纯的,记为PMTS(ν,3).不相交PMTS(ν,3)大集,记为LPMTS(ν,3),是一个集合{(X,β)}i,其中每个(X,β)都是一个PMTS(ν,3),并且Uiβi构成了X中所有循环三元组的一个划分.本文给出了LPMTS(ν,3)的一种构造方法,得到了其存在的一个无穷类:对于ν≡8,14(mod 18),ν≠14,存在LPMTS(ν,3).     

两类八点图的图设计

设λκν为完全多重图,G为有限简单图,图设计G-GDλ(v)是一个序偶(X,β),其中,X是K的顶点集,区组集β为λκ的一种分拆,β是与G同构的子图,利用"差方法"、"带洞图设计"等工具,结合小阶数的设计,对两类八点八边图的图设计进行讨论.并确定了对任意λ的存在谱.     

λKv分解为一个二部图

λKv是λ重v点完全图,对于有限简单图G,所谓图设计GGDλ(v)是序偶(X,B),其中X是Kv的顶点集,而区组集B为λKv的全部边的1种分拆,其中每个成员(区组)都是与G同构的子图.利用"差方法"、"带洞图设计"等工具,结合一系列小设计的构作,对1个6点8边图G1的图设计进行了讨论,并证明了:存在G1GDλ(v) λv(v-1)≡0(mod16),v≥6.     

4等周边连通图的邻域条件

k等周边连通度是一个比边连通度更可靠的网络可靠性参数.连通图G的k等周边连通度定义为γ_k(G)=min{|[X,X]|:X■V(G),|X|≥k,|X|≥k},其中珡X=V(G)\X.令βk(G)=min{|[X,X]|:X■V(G),|X|=k}.图G是γ_k-最优的如果γ_k(G)=βk(G).令G是一个阶至少为8的图.文章证明了如果对于G中任意一对不相邻的顶点u,v,当u和v都不在三角形中时满足N(u)∩N(v)≥3;当u和v中至少有一个在三角形中时满足N(u)∩N(v)≥7,那么G是γ4-最优的.     

图是极大3限制边联通的充分条件

设S是连通图G中的一个边子集。若G S不连通且它的每个连通分支的阶至少为k,则称S是G的一个k限制边割。图G的最小k限制边割的边数称为G的k限制边连通度,记为λκ(G)。定义ξκ(G)=min{|［X,X］|:|X|=k,G［X］连通},其中X=V(G)＼X。若λk (G)=ξk(G),则称G是极大k限制边连通的。设G是一个围长至少为5的λ3 连通图。本文证明了若G中不存在5个点u1,u2,v1,v2,v3使得d(ui,vj)≥3(i=1,2;j=1,2,3),则G是极大3限制边连通的。     

六点有向θ图设计

设Kv是一个v点的有向完全图,G是一个简单有向图。Kv的一个G-设计（记为（v,G,λ）-GD）是指一个二元组（X,B）,其中X为kv的点集,B为Kv的一些子图（也称为区组）构成的集合。任一子图（区组）与G同构,且Kv的任意两个不同点组成的有向边恰在B的一个区组中出现。本文研究了不同构的六点有向θ图设计的存在性问题。     

C_m·P_n的D(3)-点可区别边色数

对阶数不小于3 的连通图G(V,E),设α,β为正整数,令映射f:Ef{1,2,...,α},若{u,v}∈V(G),1≤d(u,v)≤β,有C(u)≠C(v) 则称f为G的一个α -D(β)-点可区别的边染色,简记为α -D(β)-VDPEC,对一个图进行α -D(β)-点可区别的边染色,所需的最小的α称为图G的D(β)-点可区别的边色数,记为χ′β-vd(G),其中d(u,v)表示两个点之间的最短距离.得到Cm·Pn的D(3)-点可区别边色数.     

长圈的邻域并条件的推广

本文证明了若G为一个k(k≥2)连通简单图,最小度为,δV(G)=n≥3,X 1,X 2,……,X k是顶点集合V的子集,X=X1∪X2∪…∪Xk,且对于Xi(i=1,2……k)中任意两个不相邻点u,v,都有N(u)∪N(v)≥n-δ,则X在G中可圈。并给出几个相关推论.     

一个图的图设计(Ⅰ)

λKv是λ重v点完全图,对于有限简单图G，所谓的图设计G—GDλ(v)是一个序偶(X，B)，其中X是Kv的顶点集，而区组集V为λKv的全部边的一种分拆，其每个成员(区组)都是与G同构的子图．运用“差方法”、“带洞图设计”等工具，结合一系列小设计的构作，对一个6点9边图H的图设计进行了讨论，并证明了：存在H-GD(v)←→v≡0，1(mod9)且v≠9．