六点七边图的λ-填充与λ-覆盖

λKv为λ重v点完全图,G为有限简单图.λKv的一个G-设计(G-填充设计,G-覆盖设计),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是指一个序偶(X,B),其中X为Kv的顶点集,B为Kv中同构于G的子图的集合,称为区组集,使得Kv中每条边恰好(至多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为最大(最小)的,如果没有其它的填充(覆盖)设计有更多(更少)的区组.本文中,我们构作了三个六点七边图的最大填充与最小覆盖.     

λKv的最大K2,3填充设计和最小K2,3覆盖设计

对于一个有限简单图G,λK_v的G-设计(G-填充,G-覆盖),记为(v,G,λ)-GD((v,G,λ)-PD,(v,G,λ)-CD),是一个(X,B),其中X是K_v的顶点集,B是K_v的子图族,每个子图(称为区组)均同构于G,且K_v中任一边都恰好(最多,至少)出现在B的λ个区组中.一个填充(覆盖)设计称为是最大(最小)的,如果没有其它的这种填充(覆盖)设计具有更多(更少)的区组.本文对于λ>1确定了(v,K_2,3,λ)-GD的存在谱,并对任意λ构造了λK_v的最大K_2,3-填充设计和最小K_2,3-覆盖设计.     

一类图设计的构造

设Kv是一个v点完全图,G是一个有限简单图,Kv上的一个图设计G-GD(v)是一个对子(X,B),其中X是Kv的顶点集合,B是Kv的一些与G同构的子图(称为区组)的集合,使得Kv的任意一条边恰出现在B的一个区组中．文中讨论的简单图是C(r)10,即带有一条弦的10长圈(含有11条边),其中r表示弦的两个端点之间的顶点个数,1≤r≤4．给出了C^（r）10-GD(v)的存在谱：v=0,1(mod11)且v≥11．     

一个六点九边图的图设计

令Kv表示v个顶点的完全图,G是一个不含孤立点的简单连通图.一个v阶的G-设计是将Kv划分成互不相交的子图,使得每个子图都和G同构,记为G-GD(v).研究六点九边图G11的图设计存在性问题.利用标准的递推构造并结合必要的直接构造,证明除去G11-GD(9)不存在以及G11-GD(18)的存在性未知外,G11-GD(v...     

含偶长圈的7点7边图的图设计

设λKν是ν阶λ重完全图，G是一个无孤立点的有限简单图,λKν的一个G-分拆(或G-设计，记为G-GDλ(ν))是指一个序偶(X，β)，其中X是完全图Kν的顶点集，β是Kν中同构于G的子图(称为区组)的族，使得Kν中每条边恰好出现在β的λ个区组中，本文完全解决了含偶长圈的十个7点7边图的图设计存在性问题。     

K_(2,3)的多重多部图设计的构造

λKn(t)是一个λ重完全多部图,G为一个不带孤立点的简单图.所谓的图设计G-HDλ(tn)是一个序偶(X,B),其中X是Kn(t)的顶点集,B为λKn(t)的一些子图(亦称为区组)构成的集合,使得任一区组均与图G同构,且λKn(t)的任意2个不同点组成的边恰在B的λ个区组中出现.本文讨论了G=K2,3的完全多部图设计存在性问题,证明了存在G-HDλ(tn)当且仅当λn(n-1)t2≡0(mod12),n≥2,nt≥5且(n,,λt)≠(9,1,1),(12,1,1),(3,1,2),(4,1,2).     

完全二部图的Kp,p-分解大集的存在谱北大核心CSCD

令H,G是两个简单图,G是H的一个子图.H的G-分解,记为（λH,G）-GD,是指将图λH的所有边分拆为若干个与G同构的子图（称为G-区组）.H的G-分解的大集,记为（λH,G）-LGD,是指图H的所有与G同构的子图的一个分拆Β1,Β2,…,Βm,使得每个Bj（1≤j≤m）为一个（λH,G）-GD （称为小集）.本文中,我们对完全二部图的K（p,p）-分解的大集进行了研究,利用Kv的λ重Kκ-因子大集的存在性结果,采用直接构造的方法,得到了大集（λK（m,n）,K（p,p））-LGD的存在谱,其中p为任意素数.     

一类完全三部图的K1,3-因子大集

令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为Sλ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LSλ(F G),是G中所有与F同构的子图的一个分拆{B_i}_i,使得每个B_i均构成一个Sλ(F,G).当λ=1时,λ可省略不写.本文中,我们证明了当v≡4 mod 24时,存在LS(K1,3,Kv,v,v).     

完全二部图的K_(p,p)-分解大集的存在谱

令H,G是两个简单图,G是H的一个子图.H的G-分解,记为(λH,G)-GD,是指将图λH的所有边分拆为若干个与G同构的子图(称为G-区组).H的G-分解的大集,记为(λH,G)-LGD,是指图H的所有与G同构的子图的一个分拆Β_1,Β_2,…,Β_m,使得每个B_j(1≤j≤m)为一个(λH,G)-GD (称为小集).本文中,我们对完全二部图的K_(p,p)-分解的大集进行了研究,利用K_v的λ重K_κ-因子大集的存在性结果,采用直接构造的方法,得到了大集(λK_(m,n),K_(p,p))-LGD的存在谱,其中p为任意素数.     

λ-重K_(1,4)-设计到λ-重K_(1,3)-最大填充的变形

令(X,B)为一个u阶的λ-重K_(1,4)-设计.对于每一个区组B=(a:b,c,d,e)∈B,若删去边{a,e},则得到一个K_(1,3)[a:b,c,d].令C为删去B中每一个区组的边{a,e}而得到的K_(1,4)的集合,F为被删去的边构成的集合.若F可以被重组成[λv(v-1)/24]个K_(1,3)的集合D,则(X,CUD)为一个v阶λ-重K_(1,3)-最大填充.称(X,C∪D)为λ-重K_(1,4-)设计(X,B)的变形.本文证明了v阶λ-重K_(1,4)-设计到u阶λ-重K_(1,3)-最大填充的变形存在的充要条件是λv(v-1)≡0(mod 8)且v≥5.     

偶长圈加一条弦的分拆

设Kv是一个v点完全图.G是一个有限简单图.Kv上的一个图设计G-GD是一个对子（X,B）,其中X是Kv的顶点集合,B是Kv的一些与G同构的子图（称为区组）的集合,使得Kv的任意一条边恰出现在B的一个区组中.文中讨论的简单图是C^（r）2k,即带有一条弦的2k长圈,其中r表示弦的两个端点之间的顶点个数,1≤r≤k-1.文中给出了一个构作C^（r）m设计的统一方法,并得到关于v≡0,1（mod2k＋1）时C^（r）2k-GD（v）的一系列结果.     

λ-重C_4+e-设计到λ-重P_5-设计的变形

令(X,B)为一个v阶的λ-重C_4+e-设计.对于每一个区组B=(u,v,w,x:y)∈B,若删去边{u,x},则得到一个P_5[u,v,w,x,y].令C为删去B中每一个区组的边{u,x}而得到的P_5的集合D,F为被删去的边构成的集合.若F可以被重组成λv(v-1)/40个P_5的集合D,则(X,C∪D)为一个v阶λ-重P_5-设计.称(X,C∪D)为λ-重C_4+e-设计(X,B)的变形.v阶λ-重C_4+e-设计到v阶λ-重P_5-设计的变形存在的充要条件是λv(v-1)≡0(mod40)且v≥5.     

两类完全三部图的图因子大集

令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为S_λ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LS_λ(F,G),是G中所有与F同构的子图的一个分拆{B_i},使得每个B_i均构成一个S_λ(F,G).当λ=1时,λ可省略不写.在[Ars Combin.,2010,96:321-329]中已经得到了LS_λ(K_(1,2),K_(v,v))的存在谱.本文证明了当v≡4(mod 12)时,存在LS(F,K_(v,v,v)),这里F∈{K_(1,3),K_(2,2)}.     

可分解平衡不完全区组设计的存在性理论

<正> 设 X 是一有限集,它的非空子集合我们叫做区组,它的区组族(?)(族中可以有相同的区组)如果符合以下条件,叫做品种数为 v,区组大小为 k,相遇数为λ的平衡不完全区组设计(BIBD),记作 B[k,λ;v](以下总假定 k≥2,λ≥1,v≥1):     

完全3- 一致超图的一类填充问题和覆盖问题

设Γ 是一些单t- 一致超图的集合. 填充设计P_λ(t, Γ, v) (或覆盖设计C_λ(t, Γ, v)) 是一个二元有序组(X, B), 其中X 是完全t- 一致超图λK_v^(t) 的顶点集, B 是λK_v^(t) 的一些子超图的集合, 要求每个子超图都同构于Γ 中的某一个超图, 每个子超图称为是一个区组, 并且满足λK_v^(t) 中的每一条边至多(或至少) 含在B 的λ 个区组中. 给定参数t, v, λ, Γ, 填充设计P_λ(t, Γ, v) 的最大可能的区组数称为填充数, 记为d_λ(t, Γ, v); 覆盖设计C_λ(t, Γ, v) 的最小可能的区组数称为覆盖数, 记为C_λ(t, Γ, v). 本文将确定Γ 中仅含超图K₄⁽³⁾ + e 时的d_λ(t, Γ, v) 和C_λ(t, Γ, v) 的精确值.     

退化图中的子图计数问题研究

令G表示n个顶点的图,如果G的每个子图中都包含一个度至多为k的顶点,则称G为k-退化图.令N(G,F)表示G中F子图的个数.主要研究了k-退化图中完全子图和完全二部子图的计数问题,给出了计数的上界以及相应的极图.首先,证明了Ν(G,K_t)≤(n-k)(k t-1)+(k t).其次,如果s,t≥1,n≥k+1且s+t≤k,我们证明了Ν(G,K_s,t)≤{(k s)(n-s s)-1/2(k s)(k-s s),t=s,(k s)(n-s t)+(k t)(n-t s)-(k t)(k-t s),t≠s.此外,还研究了在最大匹配和最小点覆盖为给定值的情况下,图G中的最大边数.记v(G),K(G)分别为图G的最大匹配数和最小点覆盖.证明了当v(G)≤k,K(G)=k+r且n≥2k+2r²+r+1时,有e(G)≤(k+r+1 2)+(k-r)(n-k-r-1).     

填充设计的最大部分平行类

设整数β(ρ,v,k)是最大部分平行类大小为ρ的任意(v,k)-填充设计中所包含的最大区组数目.对于k=3,该问题由Stinson (2021)引入并研究.本文主要研究k=4的情形,获得β(ρ,v,4)的上下界.本文给出最大部分平行类大小为ρ的(v,4)-填充设计的具体构造.对于小的ρ值,所构造的填充设计的区组数非常靠近上界β(ρ,v,4).本文的一些方法可以推广到k>4的情形.     

$K_v$的最大$K_2K_3$填充设计

Abstract Let Kv be the complete graph on v vertices, and G a finite simple undirected graph without isolated vertices. A G-packing of Kv, denoted by （v, G, 1）-packing, is a pair （X,A） where X is the vertex set of K＋ and ＋4 is a family of edge-disjoint subgraphs isomorphic to G in Kv. In this paper, the maximum number of subgraphs in a （v, G, 1）-packing is determined when G is K2 x K3, the Cartesian product of K2 and K3, leaving two orders undetermined. This design originated from the use of DNA library screening.     

边覆盖临界图的一些性质

设G是一个简单图,其顶点集为V(G)而边集为E(G),S∈E(G)称为 G的一个覆盖,如果由S导出的子图为G的一个生成子图. G的边覆盖色数χ'c(G)是E(G,)所能划分成的最大边覆盖数.已知δ-1 ≤χ'c(G)≤δ,由此将χ'c(G)=δ的图称为CI类图,否则称为CII类图.若G是连通CII类图,且G不是完全图,对任意的u,u∈V(G),e=uv( )E(G),都有χ'c(G+e)＞χ'c(G)成立,则称G为边覆盖临界的.本文研究了边覆盖临界图的一些性质.即若G为边覆盖临界图,则对任意的u,v∈V(G),若e=uv( )E(G),总存在w∈{u,v},有d(w)≤2δ-2,且w至少与max{d(w)-δ+1,3d(w)-4δ+4}个最小度顶点相邻.     

最大匹配数的一个问题

一、本文仅讨论简单图。图G的1-因子数记为F(G)。 f(G)记使如下事实正确的最大的K:“假如G是一个n-连通图且G有1-因子,则G至少有k个1-因子”。包含G的所有的点,且每个点的度为0或1的G的子图叫G的一个匹配M,有最大的边数的匹配称为最大匹配。假如匹配M的一个点v的度为0,称v为在M里的分离点。以M(G)表示G的最大匹配的集合。假如图G的一个点v所关连的每一条边都属于G的一个最大匹配,称点v被M(G)完全覆盖。