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

山东大学硕士学位论文 符号说明 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)和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]．， ％(z)=NG(z)ny(日)．G的一个哈密顿圈是G的包含G中所有顶点的一个 圈．若G包含—个哈密顿圈，则称G是一个哈密顿图．G的—个1-因子是G 的—个1．正则支撑子图，通常我们称l一因子为完美对集或完美匹配．显然G的 一个1一因子是覆盖G的所有顶点的—个边集合．G的一个2．因子是G的一个 2-正则支撑子图，易见2一因子的每一个连通分支为—个圈．G的一个子图集合 称为相互独立的或顶点不相交的，如果它们中的任何元素在G中没有公共顶点． UY，且G的所有边均有 若存在V(G)的两个不交子集X、y，使得V(G)=X