关于图中相互独立的圈和2-因子的新结果.docxVIP

山东大学硕士学位论文 符号说明 V(G) G的顶点集合 IGl 图G的阶 E(G) G的边集合 万(G) G的最小度 △(G) G的最大度 如(t『) t7在图G中的度 观(G) G中两个不相邻的顶点的最小度和 S S导出的G的子图 M 不小于z的最小整数 H 不大于z的最大整数 V 原创性声明 本人郑重声明s所呈交的学位论文，是本人在导师的指导下，独立进行研究所取得的成果．除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的科研成果．对本文的研究作出重要贡献的个人和集体，均已在本文中以明确方式标明．本声明的法律责任由本人承担． 论文作者签名 日 关于学位论文使用授权的声明 本人完全了解山东大学有关保留、使用学位论文的规定，同意学校保留或向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅；本人授权山东大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或其他手段保存论文和汇编本学位论文． (保密论文在解密后应遵守此规定) 论文作者签名：三E缸导师签名：啦日期：2鲤墨：s，萝 第一章引 言 本章第一节首先介绍一些在本文中要用到的图论定义及术语，未说明的图论术语在其他章节中必要时再给予阐述；第二节主要介绍圈理论及因子理论的历史背景和进展状况；第三节简单介绍一些已有的相关结论以及本文的主要结果． §1．1基本概念 我们首先介绍一些常用的图论术语，其他未说明的定义和术语请参见文献【1】．我们通常称二元集合G=G(y(G)，E(G))为一个图，其中V(G)≠0称为顶点集合，V(G)中的元素称为图G的顶点；E(G)为边集合，E(G)中的元素称为图G的边．当Iy(G)I+IE(G)l00时，图G叫做有限图，否则称为无限图．V(G)=1且E(G)=0的图我们称为平凡图，其他图为非平凡图．图G的阶是 指V(G)的顶点个数Iv(a)I．对于图G的两个顶点t‘和t，，如果e=牡t，∈E(G)， 则称牡和t『相邻，t‘和口互为邻点，且称t‘和t，是边e的端点，t‘和t，分别与边e相关联．若图G的边el和e2有—个公共端点，则称边el和e2相邻．只与一个顶点相关联的边叫做环．对于—个图，如果它没有环也没有两条边连接同一对顶点，则称该图为简单图．若无特殊声明，本文所涉及的图均为简单无向有限图．对于—个图G=G(y(G)，E(G))，我们用dG(t，)或d(v，G)表示顶点t，在G中的度数．△(G)和6(G)分别表示图G的最大度和最小度，在不引起混淆的情况下可简记为△和6．我们称日为G的子图，如果V(H)∈y(G)，E(H)∈E(G)．G的子图日称为其支撑子图若V(H)=y(G)．对于V(G)的子集U，U表示由U导出的G的子图．如果U中任何两点均不邻接，则称U为G的一个独立 集．如果G中不含独立集T满足ITIIul，则称u为G的最大独立集．G的 独立数是指它的最大集中的顶点个数，记为Q(G)．设A、B是V(G)的两个不相 交的子集，A和B之间的边集我们记为EG(A，B)=．【zy∈E(G)Ix∈A，Y∈B]．， 且e(A，B)=EG(A，B)．设日是G的一个子图，对任意z∈V(G)一y(日)，有％(z)=NG(z)n y(日)．G的一个哈密顿圈是G的包含G中所有顶点的一个 圈．若G包含—个哈密顿圈，则称G是一个哈密顿图．G的—个1-因子是G的—个1．正则支撑子图，通常我们称l一因子为完美对集或完美匹配．显然G的一个1一因子是覆盖G的所有顶点的—个边集合．G的一个2．因子是G的一个2-正则支撑子图，易见2一因子的每一个连通分支为—个圈．G的一个子图集合称为相互独立的或顶点不相交的，如果它们中的任何元素在G中没有公共顶点．若存在V(G)的两个不交子集X、y，使得V(G)=X U Y，且G的所有边均有 山东大学硕士学位论文 一个端点在X内，另—个端点在y内，则称G为二部图，也称为二分图．记为G=(X，KE(G))，简记为G=(X，y)．如果fXI=Iyl，则称G为均衡二部图． 完全二部图Kt，3称为—个爪．如果G不含同构于蜀．3的生成子图，则称G 是无爪图． §1．2问题产生的背景 一、哈密顿圈的基本定理 哈密顿圈是有—个圈的2-因子．关于哈密顿圈度条件的结果有很多，其中最经典的两个结果是由Dirac和Ore给出的． 定理1．2．1(DiI批f2】)．设G是一个图，其顶点数疗≥3．如果J(G)≥詈，则G有 一个哈密顿圈． 推论1．2．2．设a,b是图G的一条哈密顿路的两个端点，如果d(a，G)+d(b，G)≥ IGI，那么图G是哈密顿图． 定理1．2．3(Ore[3])．设G是一个顶点数佗≥3的图，并且cr2(G)≥n，则G有一个哈密顿圈． 对于二分图G=(Ⅵ，％，E)，Moon和Moser给出