没有K5 子式的图是无圈5 可染的-应用数学专业毕业论文.docx

没有K5-子式的图是无圈5-可染的 ii ii K5-MINOR-FREE GRAPHS ARE ACYCLIC 5-COLORABLE ABSTRACT A acyclic coloring of a graph G is a coloring of its vertices such that: (i) no two neighbors in G are assigned the same color and (ii) no bicolored cycle can exist in G. Graph H is called a minor of graph G if it can be obtained by means of a sequence of vertex and edge deletions and edge contractions. In 2006 Borodin showed that all planar graphs are acyclically 5-colorable. In this paper the result is generalized to all K5-minor-free graphs. KEY WORDS: Acyclic k-colorable， Wagner Graph， K5-minor-free graph，k-sum lV lV 符号说明 1. V (G) 图 G 的顶点集 2. E(G) 图 G 的边集 3. v(G) 图 G 的顶点数 4. ε(G) 图 G 的边数 5. d(υ) 顶点 υ 的度 6. ?(G) 图 G 的最大度 7. ó(G) 图 G 的最小度 8. G[V ] 顶点集 V 的导出子图 9. G[E] 边集 E 的导出子图 1O. G 士 e 添加或删去边 e G \ e 删去边 e G/e 图 G 收缩边 e 13. G - υ 删去顶点 υ G rv二 H 图 G 和 H 同构 H ? G 图 H 是 G 的子图 H c G 图 H 是 G 的真子图 17. (X， Y ) 二部图 G 的二分类 18. Kn 完全图 19. Kn n 完全二部图 2O. X(G) 图 G 的点色数 21. α 图 G 的独立数 22. Xα(G) 图 G 的无圈色数 23. C 二 {1， 2， ， k} 具有 k 种颜色的颜色集 24. γ(G) 图 G 的支配数 j草创性声明 本人郑意严明:用 tt 交 1:的学校古文.是本人在号那捂吁严，进?于研究士作所取得的成 。陈文1 1 己经注明号 j 堪的内容外.本学位.古文的研究成果草包含任问协人创作的、已公开 发表或者没有公开发农 fltl fl- ld1 FI 内容c 对本诠文;如步:皮的研究工作做山贡献的其地个人和 i二:在文 11 1 也 H哥哥f!)j式才注明。本学校比文原告 j 性声明的伸资任主;本人收 t!:L 河叫\7 -二 河叫 支义大 20/0 年 12 巧!1] 关于学位论文股权使用;如叉的说明 :科: *人全了 、哇啦学校论文的规定。同友们|ζ 各项内 的印刷本京电子眼本:宇:校有权 1保存位论文的印刷本刊由 、数化成其它手战部存论文:学校有扭扭f:J飞由与之检索以 的朗克服务: f丁校有权按有关 t?立 IciJ 居家有关部门成了汗机将 j革交论文始复印件和 全部内科甩了 以赢利为吕 i洁的前捉下，学校可以适?!|复制运文的部分或 (保密的学校运文在1问:牛nri适黯本授权说明) 气?二二， 讨论文作者签名: 在」戈〉七 师签名:仍 i 日期: ()卢车 }2 用 /8 曰黯: ()卢年 12 J I )3 河北工业大学硕士学位论文 第一童 绪论 图论是一门应用性极为广泛的应用数学学科，它既古老又富有趣味性，它是离散数学最 活跃的分支之一，更是处理离散系统方面的一个非常有力的工具. 它通过点和线段来构成拓 扑图形，并方便地模拟人类社会和自然界的各种系统和关系，并建立相应的数学模型，为直 接研究各类系统和关系提供了形象而生动直观的巧妙方法. 图论中所涉及的图不是一般的几何图形，而是用来描述两种事物之间某种特定关系的 图，它是用图解式的表示法为任何一个包含二元关系的系统提供一种形象而直观的外形数 学模型. 当今社会是网络的社会，如今网络己经融入我们生活的各个方面，但是网络的日益