论文部分内容阅读
图论的研究已有200多年的历史。图论起源于1736年Euler发表的一篇论文,他用图论的方法解决了哥尼斯堡(Konigsberg)七桥问题。自二十世纪六十年代以来,图论得到迅速发展,涌现了大量结果。图论中有很多著名问题,如欧拉图问题,哈密顿圈问题,中国邮递员问题,四色定理等。应用图论来解决运筹学,物理学,化学,生物学,计算机网络,信息论和博弈论等学科问题,已经显示出极大的优越性。图论作为离散数学和组合数学的一个重要分支,受到了各方面的普遍重视。
本文只考虑简单有限图,这些图不包含环和重边,并且只有有限个顶点和边。设G是一个顶点数为n的图,H是一个顶点数为h的图,其中n和h是正整数。图论中的包装问题是指,在图G中找到尽可能多的点不相交的同构与H的子图。图G的H-因子是图G的-个子图,它由[n/h]个同构与H的子图组成。特别地,图G的k-因子指的是图G中的k-正则子图,其中k是正整数。在日常生活中,很多优化问题和网络问题,诸如编码设计,积木设计,生物DNA分子结构分析,进度表等关于运筹和网络设计问题都涉及到图的因子和因子分解。本文主要研究2-因子问题。一个圈称为k-圈,如果它恰好包含k个顶点;类似地,一条路称为k-路,如果它恰好包含k个顶点。图中包含每个顶点的圈,称为图的哈密顿圈。显然,一个哈密顿圈可以被看成是仅有一个分支的2-因子。1952年,G.Dirac给出了图包含哈密顿圈的最小度条件。1960年,0.Ore给出了图包含哈密顿圈的最小度和条件。这两个结果可被认为是2-因子问题的先驱。对于一个给定的图,找到2-因子存在性的条件是很困难的。常用的技巧是先找出一个顶点数目极小的包装,然后扩充成为2-因子。
本文研究了图论中的几个问题,具体地,我们研究了图中点不相交的子图(主要是圈和路)及2-因子的存在性问题,有向图中泛弧的存在性问题。图的点不相交圈问题可以概括为:最小度(或者度和)满足什么条件时,图包含一个2-因子?进一步地,从这些条件中,我们能否确定2-因子中圈的数目或者圈的长度?上述问题是极值图论中的基本问题。本文中,我们利用最小度与最小度和条件研究了图包含4-圈、6-圈和8-圈的问题。一条弧e称为有向图D的泛弧,如果对于任意的点χ∈V(D),存在一个包含弧e和点x的圈。显然,如果有向图包含一个哈密顿圈,则哈密顿圈的每一条弧都是泛弧。我们利用最小度条件研究了强连通多部竞赛图和圈连通多部竞赛图包含泛弧的问题。全文共分为五章。
在第一章中,我们给出了一个简短而完整的引言。首先我们列出了本文中会用到的所有术语和符号,然后我们介绍了图中点不相交的子图和指定长度的圈的研究背景和进展。紧接着,我们介绍了有向图中泛弧问题的研究进展。最后,我们列出了本文的主要结果。
在第二章中,我们给出了图包含点不相交4-圈的度条件。首先我们定义两类图:M(k1,k2)=K4k1+2UK4k2+2和N(k1,k1)=K4k1+1UK4k2+3,其中k1,k2是非负整数。设G是一个无爪图,顶点数为|G|=4k,其中k是-个正整数。如果图G的最小度和σ2(G)至少为4k-2,我们证明了图G包含k-1个点不相交的4-圈和一条4-路,使得所有这些圈和路是点不相交的,除非G同构与M(k1,k2)或N(k1,k2),其中k1≥0,k2≥0,k1+k2=k-1。我们给出反例,说明了结论的度条件是最好的,而且无爪图的要求是必需的。紧接着,我们给出了二部图包含4-圈的度条件。设G=(V1,V2;E)是一个二部图,满足|V1|=|V2|=2k,其中k>0是一个正整数。假设对于任意的χ∈V1,y∈V2,χy()E(G),d(χ)+d(y)≥3k,我们证明了G包含k个点不相交的4-圈。
在第三章中,我们研究了二部图包含点不相交6-圈的问题。设G=(V2,V2;E)是一个二部图,满足|V1|=|V2|=3k,其中k是一个正整数。我们首先利用最小度条件证明了,如果最小度大于等于2k,则图G或者包含k个点不相交的6-圈,或者包含k-1个点不相交的6-圈和一个4-圈,它们点不相交。紧接着,我们探讨了二部图包含点不相交6-圈的度和条件。设G=(V1,V2;E)是-个二部图,满足|V1|=|V2|=3k,其中k是-个正整数。我们证明了,如果对于任意的χ∈V1,y∈V2,χy()E(G),d(χ)+d(y)≥4k-1,则图G有一个支撑子图包含k-1个点不相交的6-圈和一条6-路,它们彼此点不相交;如果k>2,并且对于任意的χ∈V1,y∈V2,χy()E(G),d(χ)+d(y)≥4k,则图G有一个支撑子图包含k-2个点不相交的6-圈和一个12-圈,它们彼此点不相交。
在第四章中,我们给出了二部图包含带弦8-圈的度条件。首先,我们找到了二部图的一个2-因子,它的每个分支都是8-圈,然后通过调整边,使得每个8-圈至少包含两条弦。我们的结果如下:设G=(V1,V2;E)是一个二部图,满足|V1|=|V2|=4k,其中k是一个正整数。如果G的最小度δ(G)≥3k+1,则图G包含k个点不相交的8-圈,使得每个8-圈至少包含两条弦。
最后,在第五章,我们研究了有向图中的泛弧问题。对于任意最小度δ≥2的强连通多部竞赛图,Volkmann证明了它的每个最长圈都包含泛弧。我们推广了Volkmann的结果,并给出了下面的结论:设D是-个多部竞赛图。如果D是强连通的,并且最小度至少为2,则D的每个最长圈都至少包含两条泛弧;如果D是圈连通的,并且最小度至少为2,则D的每个最长圈都至少包含两条泛弧。