关于3正则图的三匹配交猜想(Ⅰ)

Fan和Raspaud 1994年提出如下猜想任一无桥3正则图必有三个交为空集的完美匹配. 本文研究一类特殊的无桥3正则图G存在图G的一个完美匹配M1使得G-M1恰含有两个奇圈和若干偶圈. 在偶圈数≤2的情形以及在偶圈数≤4且G是圈4-边连通的情形,本文证明了一定存在图G的两个完美匹配M2和M3使得M1∩M2∩M3=φ.     

关于3正则图的三匹配交猜想(Ⅱ)

Fan和Raspaud 1994年提出如下猜想：任一无桥3正则图必有三个交为空集的完美匹配．本文证明了如下结果：若G是一个圈4-边连通的无桥3正则图，且存在G的一个完美匹配M1使得G—M1恰为4个奇圈的不交并，则存在图G的两个完美匹配M2和M3使得M1∩M2∩M3=Φ。     

3-正则图的不共边的完美匹配（英文）

研究3-正则图的一个有意义的问题是它是否存在k个没有共边的完美匹配.关于这个问题有一个著名的Fan-Raspaud猜想：每一个无割边的3-正则图都有3个没有共边的完美匹配.但这个猜想至今仍未解决.设dim（P（G））表示图G的完美匹配多面体的维数.本文证明了对于无割边的3-正则图G,如果dim（P（G））≤14,那么k≤4：如果dim（P（G））≤20,那么k≤5.     

循环图C_(2n)(1,(2n+1)/3)的匹配可扩性

称图G是k-偶匹配可扩的,是指G的每一个基数不大于k(1≤k≤(|V(G)|-2)/2)的偶匹配M都可以扩充为G的一个完美匹配.根据循环图的性质研究了图C_(2n)(1,(2n+1)/3)的匹配可扩性,证明了对于任意的n(n≥4),C_(2n)(1,(2n+1)/3)是3-偶匹配可扩的.     

由圈长分布确定的偶图

阶为n的图G的圈长分布是序列(C1，C2，…，Cn)，其中ci是图G中长为i的圈数．本文得到如下结果：设A∈_E(Kn,r)，|A|≤1，且n≤r≤min{n 6，2n-3)，则G=Kn,r，r-A是由它的圈长分布确定的．     

直径为5的图的2-导出匹配划分和2-导出匹配覆盖问题的NP-完全性

给定一个简单图G和正整数κ,具有完美匹配的图G的κ-导出匹配划分是对顶点集V(C)的一个κ-划分(V1,V2,...,Vκ),其中对每一个i(1≤i≤κ),由Vi导出的G的子图G[Vi]是1-正则的.κ-导出匹配划分问题是指对给定的图G,判定G是否存在一个κ-导出匹配划分.令M1,M2…,Mκ为图G的κ个导出匹配,如果V(M1)UV(M2)∪...∪V(Mκ)=V(G),则我们称{M1,M2,...,Mκ}是G的κ-导出匹配覆盖.κ-导出匹配覆盖问题是指对给定的图G,判定G是否存在κ-导出匹配覆盖.本文给出了Yang,Yuan和Dong所提出问题的解,证明了直径为5的图的导出匹配2一划分问题和导出匹配2-覆盖问题都是NP-完全的.     

偶匹配可扩性的极图问题(英文)

设G是含有完美匹配的简单图.称图G是偶匹配可扩的(BM-可扩的),如果G的每一个导出子图是偶图的匹配M都可以扩充为一个完美匹配.极图问题是图论的核心问题之一.本文将刻画极大偶匹配不可扩图,偶图图类和完全多部图图类中的极大偶匹配可扩图.     

偶图Kn,r-A(|A|≤3)的圈长分布唯一性

阶为n的图G的圈长分布是序列(c_1,c_2,…,c_n),其中c_i是图G中长为i的圈数。设A(?)E(K_(n,r))。本文得到如下结果：若|A|=2,且n≤r≤min{n 6,2n-5),则G=K_(n,r)-A是由它的圈长分布确定的；若|A|=3,且n≤r≤min{n 6,2n-7),则G=K_(n,r)-A也是由它的圈长分布确定的。     

关于简单MCD图

设G是阶为n的简单图，若G中没有两个等长圈且具有最大可能的边数，则称G为简单MCD图。本文通过引进路分解概念给出了两个关于图中圈数的结果并应用它们证明了下述定理：若G是简单MCD图，则G不是2连通可平面图且对所有整数n，除七个例外，G不是阶为n的含有同胚于K4的2连通图。     

修正冒泡排序网络的边偶泛圈性

对于一个二部图G,如果在G中存在任意长为偶数l(4≤l≤|V(G)|)的圈,则称这个二部图G是偶泛圈的:如果对G中任意一边e,在G中存在任意长为偶数l(4≤l≤|V(G)|)且包含e的圈,则称这个二部图G是边偶泛圈的.修正冒泡排序网络是互连网络中的一个重要的Cayley图模型.在此,证明了对任意的自然数n,当n≥3时,修正冒泡排序网络Y_n是偶泛圈的,同时也是边偶泛圈的.     

无爪图的导出匹配可扩性

若图G的一个匹配M也是G的点导出子图,则称M是图G的一个导出匹配．我们称图G是导出匹配可扩的,若它的任何一个导出匹配可以扩充成一个完美匹配,本文我们讨论无爪图的导出匹配可扩性,得出如下结论,并同时指出这些结果是最好可能的．设图G是有2n个顶点的无爪图,1．若图G是最小度大于或等于2 1,则图G是导出匹配可扩的．2．若图G是局部2连通的,则留G是导出匹配可扩的．3．若图G是k正则的且k≥n,则图G是导出匹配可扩的．     

一类变换图的连通性

本文定义了一类由给定的一个３－正则平面偶图的全体完美匹配所构成的变换图，并证明了该变换图是连通的．由此可得出结论：从任一给定的３－正则平面偶图的完美匹配出发，通过一种所谓的旋转运算，就可以生成全部其它的完美匹配．     

基本圈与图的曲面嵌入

本文研究图的基本圈与图在可定向曲面上的嵌入之间的关系．本文结果表明：一个图G可以嵌入到亏格至少为g的可定向曲面上的充分必要条件是：对于G中任意一个支撑树T,存在一个基本圈序列C1,C2,…,Q2g,使得对于每一个i：1≤i≤g,C2i-1∩C2i≠0．特别地,在T的β（G）个基本圈中有基本圈序列C1,C2…,Q2γM（G）,使得Qt-1∩C2t≠0对于每一个i：1≤i≤γM（G）成立．这里β（G）和γM（G）分别是G的Betti数和最大可定向亏格．这个结果的意义在于：我们可以从任意一个支撑树（可以具有任意奇连通分支数）出发去构造图在可定向曲面上的嵌入．这在本质上有别于Xuong与Liu在最大亏格方面的工作（即,从具有最小奇连通分支数的支撑树出发构造图嵌入）．事实上,这个结果在本质上同时推广了Xuong-Liu与Fu等在最大亏格方面的工作．作为这一结果的直接应用,本文得到以下结果：（1）提出了用于计算图的最大亏格的新条件,它尤其适用于计算具有特定边割（edge—cut）图的最大亏格．并得到一些新的与已知的著名结果（包括Huang在曲面嵌入图方面的工作）．（2）最大亏格问题可以归结为在基本相交图中求最大对集问题．结合Micali-Vazirani的一个有效算法,我们设计出了一个用于计算图的最大亏格的多项式算法,它的复杂度是O（（β（G））^5/2）,这一算法与Furst等人的算法相比更加直接、便于计算．     

消圈数与图的嵌入（英文）

设▽(G)表示最少的点数,这些点去掉后图中无圈(即森林).称这个数▽(G)为图G的消圈数.通常,确定图的消圈数是NP完全的.Bau和Beineke曾提出以下问题:哪些阶数为n的3正则图G的消圈数满足▽(G)=[(n+2)/4]?本文回答了这个问题:阶数为n的3正则图G的消圈数满足▽(G)=[(n+2)/4]当且仅当G是上嵌入的(即以最多两个面嵌入在可定向曲面上).其次,对于一般3正则图,得出其消圈数的计算公式为▽(G)=γ_M(G)+ζ(G),这里γ_M(G)表示图的最大亏格,ζ(G)表示图G的Betti亏数.由此可知,3正则图的最大亏格的计算的多项式算法是存在的,所以3正则图的消圈数的计算也是多项式可解的.     

3-边可染的3-正则图（英文）

若一个连通图的每条边都包含在某一完美匹配中,则称之为匹配覆盖图.设G是一个3-连通图,若去掉G的任意两个顶点后得到的子图仍有完美匹配,则称G是一个brick.而brick的重要性在于它是匹配覆盖图的组成结构因子.3-边可染3-正则5的刻画问题是一个NP-完全问题.本文将此问题规约到3-正则匹配覆盖图上,进而规约到其组成结构因子brick上.我们证明了:一个3-正则图是3-边可染的当且仅当它的所有brick是3-边可染的.     

单圈图的邻接矩阵的分类及其最大行列式

一个单圈图G的邻接矩阵是奇异的当且仅当G含完美匹配和4m(m∈N)阶圈，或G和从G中删去唯一圈中的顶点及其关联边后得到的导出子图均不含完美匹配．单圈图的邻接矩阵的最大行列式是4．     

关于3-正则图的平均亏格

一个图G的2－因子F是一个使得每个点v在F中的度dF(v)=2的G的生成子图。易知F中的每个圈是点不交的。如果F中每个圈的长度为4，我们说G有四边形2－因子F。我们首先在3－正则图上定义了3种扩张运算，然后讨论这些运算对平均亏格的影响。运用扩张运算，我们研究了含有四边形2－因子的3－正则图的平均亏格，得到了3－正则图的平均亏格与最大亏格之间的关系。     

连通度与强正则图的2—可扩性

本文证明了所有具有偶顶点数的强正则图是1—可扩的,如果强正则图G具有偶顶点数和参数(v,k,α,β),并且G的圈边连通度至少为3k—3测G是2—可扩的.     

无交双圈图的邻接矩阵的奇异性

一个无交双圈图G的邻接矩阵是奇异的当且仅当G含有4m(m∈N)阶圈，或G含有完美匹配和G—V(c1)，G-V(c2)均含有完美匹配且G中含有4κ1 3与4e1 1(κ1，e1∈N)阶圈，或G、G-V(c1)、G—V(c2)、G—V(c1)-V(c2)均无完美匹配．无交双圈图的邻接矩阵的最大行列式值为16。     

Hamiltonian图的泛圈性一个充分条件

根据Bondy在[4]中的想法：几乎任何一个Hamiltonian图的非平凡的充分条件都可能蕴含着图的泛圈性质,自然有如下猜测,设图G满足定理A的条件,则G是泛圈图或者n=2t,G=Kt,t.[2]证明了这一猜测在t=3时成立,[3]对t=4得到子了一个更强的结果,本文证明此猜测对一般情形(t≥3)均成立。