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

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 河北工 河北工业大学硕士学位论文 没有K5-子式的图是无圈5-可染的 PAGE PAGE 1 PAGE PAGE 10 第一童 绪论 图论是一门应用性极为广泛的应用数学学科，它既古老又富有趣味性，它是离散数学最 活跃的分支之一，更是处理离散系统方面的一个非常有力的工具. 它通过点和线段来构成拓 扑图形，并方便地模拟人类社会和自然界的各种系统和关系，并建立相应的数学模型，为直 接研究各类系统和关系提供了形象而生动直观的巧妙方法. 图论中所涉及的图不是一般的几何图形，而是用来描述两种事物之间某种特定关系的 图，它是用图解式的表示法为任何一个包含二元关系的系统提供一种形象而直观的外形数 学模型. 当今社会是网络的社会，如今网络己经融入我们生活的各个方面，但是网络的日益 发展离不开图论的支持，图论的进一步发展为计算机网络提供了更为广阔的发展空间，所以 图论在计算机领域中起着非常重要的作用，例如: 在数据结构、自动化理论与数据库系统形 式语言，逻辑设计、计算机网络等等的研究过程中，图论是一个非常有用的工具. 此外，它不 仅渗透到组合数学、矩阵论、群论等数学学科中，而且在诸如运筹学、计算机科学、物理学、 网络理论、化学、信息论以及经济管理等各方面都有相当广泛的应用 (见文献 [3-4])，因此图 论受到工程技术界及数学界越来越广泛的重视，使得图论成为今后相当时期内的前沿科学. 91-1 图论的发展史 图论己经有 200 多年的发展历史了，至此一共经历了三个发展阶段. 图论起源于 18 世 纪著名的哥尼斯堡七桥问题 (见文献 [5-6]). 哥尼斯堡始建于 1308 年，城内有一条河流，该 河流的两条支流绕过一个岛，有七座桥横跨这两支流上. 当地的居民想知道如果从任意一陆 地出发，通过每一座桥正好一次，是否能够再回到起点. 然而经过无数次的尝试都没有人成 功.直到 1736 年欧拉解决了这个问题，他用抽象分析法将这个问题转化为第一个图论问题: 即将每一块陆地用一个点来代替，将每一座陆地间的桥梁用一条线来代替，从而相当于得到 一个点线图. 欧拉证明了哥尼斯堡七桥问题没有解，并且推广了这个问题，给出了任意一种 河-桥图能否全部不重复，不遗漏走一次的判定准则:如果通过奇数桥连接的地方不止两个， 则满足要求的路线不存在· 如果没有一个地方通过奇数座桥连接，则从任意地方出发，所求 路线都能实现. 他并为此专门设计了一个 15 座桥的问题. 因此，欧拉也被公认为图论的创 始人 (见文献 [6]). 那时很多问题都是围绕游戏而产生的，哥尼斯堡七桥问题就是图论发展 萌芽时期最具代表性的问题，但当时数学界并未对欧拉解决七桥问题的意义有足够认识，甚 至仅仅视其为一个游戏而己. 1750 年，欧拉和他的朋友哥德巴赫在通信时说发现了一个多面体公式: 设多面体的顶 点数为 n， 棱数为 ， 面数为 J ， 则有 n + J 二 2. 欧拉多面体公式表述了几何图形的一 个基本组合性质，其目的是利用这一关系将多面体进行分类. 该公式是拓扑学和图论的基本 公式，对拓扑学和图论的发展都起到了很大的作用. 从 19 世纪中叶开始，图论进入到第二个发展阶段，这一时期图论问题大量出现. 如关 于地图染色的四色问题，由周游世界游戏发展起来的哈密顿问题以及与