一个五点六边图的多部图设计

Kn(g)是一个完全n部图,G为一个不带孤立点的简单图.一个(Kn(g),G)-设计是将Kn(g)划分成边互不相交的子图,使得每一个子图都和G同构.本文讨论了一个五点六边图G的多部图设计存在性问题,证明了(Kn(g),G)-设计存在的充要条件是n(n-1)g2≡0(mod12)且ng≥5.     

一类图的多重多部图设计的存在性

λKn(g)是一个λ重完全n部图,G为一个不带孤立点的简单图.一个(λKn(g),G)-设计是将λKn(g)划分成边互不相交的子图,使得每一个子图都和G同构.对一个五点六边图G的λ重多部图设计的存在性问题进行了研究,证明了(λKn(g),G)-设计存在的充要条件是λn(n-1)g2≡0(mod12),n≥3且ng≥5.     

关于三类五点图的多重完全多部图设计

λKn(g)是一个λ重完全n部图,G为一个不带孤立点的简单图.一个(λKn(g),G)-设计是将λKn(g)划分成边互不相交的子图,使得每一个子图都和G同构.应用GDD、加权和闭包等构造方法讨论G为三类五点图Gi(i=1,2,3)时(λKn(g),G)-设计对于任意λ的存在性问题,得到如下结论:(λKn(g),Gi)-设计(i=1,2,3)存在的充分必要条件是λn(n-1)g2≡0(mod 10),n≥2,ng≥5,其中i=1,2时(n,g,λ)≠(5,1,1).     

关于（g,f）-3-消去图

设G是一个图,用V（G）和E（G）表示顶点集和边集,并设g和f是定义在V（G）上的两个非负整数值函数且g〈f。图G的一个（g,f）-因子是G的一个支撑子图F使对任意的x∈V（G）有g（x）≤dF（x）≤f（x）。如果过图G的任何三条边不属于它的一个（g,f）-因子,则称图G是一个（g,f）-3-消去图,本文给出了一个图是（g,f）-3-消去图的一个充分条件。     

关于（g,f）-3-覆盖图

设G是一个图,用V（G）和E（G）表示顶点集和边集,并设g和f是定义在V（G）上的两个非负整数值函数且g〈f。图G的一个（g,f）-因子是G的一个支撑子图F使对任意的x∈V（G）有g（x）≤dF（x）≤f（x）。如果过图G的任何三条边都有一个（g,f）-因子,则称图G是一个（g,f）-3-覆盖图,本文给出了一个图是（g,f）-3-覆盖图的一个充分条件。     

连通、局部连通[4,1]-图的圈可扩性

如果图G中任意1个顶点的导出子图中至少含有t条边,则称G为[s,t]-图.笔者证明:如果G是连通、局部连通[4,1]-图,则G是完全圈可扩的或者G属于图类F(Kn11,Kn2,Kn3,K2).     

二分(mg+k-1,mf-k+1)-图的正交(g,f)-因子分解

利用因子理论中的常规方法证明了汪长平提出的猜想对二分图是成立的。其结论是：若G是一个二分（mg＋k-1，mf-k＋1）-图，1≤k≤m，H是G中一个给定的有k条边的子图，则G存在一个子图R，使得尺有一个（g，f）一因子分解与正交。     

六点有向θ图设计

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

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

与任意图2-正交的(g,f)-因子分解

设G是一个图，用V(G）和E(G）表示它的顶点集和边集，并设g(x）和f(x）是定义在V(G）上的两个整数值函数，且对每个x∈V(G），有4≤g(x)≤f(x)，则图G的一个支撑子图F称为G的一个（g，f）-因子，如果对每个x∈V(G)，有g(x)≤dF(x)≤f(x)。图G的（g，f）-因子分解是指E(G）能划分成边不交的（g，f）-因子，设F={F1,F2,…,Fm}和H分别是图G的因子分解和子图，若对所有1≤i≤m有|E(H)∩E(Fi）|=2，则称F和H2-正交。本文证明：若G是一个（mg m-1，mf-m 1）-图，H是G中任一有2m条边的子图，则G有一个（g，f）-因子分解与H2-正交。     

七点有向θ图的图设计

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

4或5阶Kn（t）的图对分解

Abueida及Daven给出了完全图Kn的阶为4或5的图对分解存在的充要条件，作为其结果的推广，就阶为4或5的图XC(Fi，Hi)．给出了完全多部图Kn(t)的(Fi，Hi)分解存在的充要条件．     

双Cayley图的自同构群

设G是有限群，S是G的一个子集（可能含有单位元）。群G关于S的双Cayley图BCay(G,S)是以Gx｛0，1｝为点集而以｛｛（g,0），（sg,1）｝|g∈G,s∈S｝为边集的二部图。考查了双Cayley图BCay(G,S)的自同构群A，并决定了NA(Rι^r(G)）的结构。     

分数(g,f,n′,m)-临界消去图的邻集条件

设G是一个图,若去掉G中的任意n′个顶点的剩余子图仍是分数(g,f,m)-消去图,则称G是一个分数(g,f,n′,m)-临界消去图.本文给出了图G是分数(g,f,n′,m)-临界消去图的邻集条件,从而推广了以前文献中关于分数(g,f,n′)-临界图邻集条件的结论.     

二分图中度条件与[a,b]-覆盖图

设G是一个图,用V(G)和E(G)表示它的顶点集和边集,并设g和f是定义在V(G)上的两个整数值函数且g相似文献   

图的(g,f)-因子分解

设G是一个图,g和f是定义在图G的顶点集上的两个整数值函数,且g≤f.图G的一个(g,f)-因子是G的一个支撑子图F,使得对每个x∈V(F),有g(x)≤dF(x)≤f(x).若图G的边集能划分为若干个边不相交的(g,f)-因子,则称图G是(g,f)-可因子化的.本文研究了图的(g,f)-可因子化的问题,给出了一个图G是(g,f)-可因子化的若干充分条件.     

一类多部图设计的构造

讨论了完全多部图的G 设计的存在性,其中G是五点四边图,并给出其存在谱.     

分数(g,f,n′,m)-临界消去图的2个充分条件

设G是一个图,若去掉G中的任意n′个顶点的剩余子图仍是分数(g,f,m)-消去图,则称G是一个分数(g,f,n′,m)-临界消去图.从独立数和度条件2个角度出发,分别给出了图G是分数(g,f,n′,m)-临界消去图的2个充分条件.     

关于 (g,f)-消去和 (g,f)-2-消去的二分图

指出一个二分图G称为一个(g,f) 消去的二分图,如果图G的任何边不属于它的一个(g,f) 因子;一个二分图G称为一个(g,f) 2 消去的二分图,如果图G的任何两条边不属于它的一个(g,f) 因子.给出了一个二分图是(g,f) 消去和(g,f) 2 消去的二分图的一个充要条件.