1、例2哈密尔顿多面体问题1856年英国数学家哈密尔顿(1790-1868)提出了这样一个问题:用一个规则的实心十二面体,它的二十个顶点标出世界著名的二十个城市,要求游戏者找一条沿着各边通过每个顶点刚好一次的闭回路,即绕行世界.用图论的语言来说,游戏的目的是在十二面体的图中找出一个包含所有顶点的圈.这个问题后来就叫做哈密顿问题.由于运筹学、计算机科学和编码理论中的很多问题都可以化为哈密顿问题,从而引起广泛的注意和研究. 什么图是哈密尔顿图呢?其判定条件如何?例3.四色问题在一个平面或球面上的任何地图能够只用四种颜色来着色,使得没有两个相邻的国家有相同的颜色.每个国家必须由一个单连通域构成,而两个国
2、家相邻是指它们有一段公共的边界,而不仅仅只有一个公共点.四色猜想有一段有趣的历史.每个地图可以导出一个图,其中国家都是点,当相应的两个国家相邻时这两个点用一条线来连接.所以四色猜想是图论中的一个问题.它对图的着色理论、平面图理论、代数拓扑图论等分支的发展起到推动作用. 问题转化为:给平面图G的顶点着色,使任一对相邻顶点具有不同的颜色,那么至少要多少种颜色?1852年,英国的弗兰西斯提出了四色问题;1878年凯莱在伦敦数学会宣布了此问题,引起了数学界的广泛重视.肯佩和泰特分别与1879年和1880年发表文章,声明证明了四色问题;11年后,希伍德于1890年指出了肯佩证明中的错误,却利用肯佩的方法
3、证明了五色定理;1891年彼得森又指出了泰特证明中的错误,却利用泰特的方法证明了四色猜想的一个等价命题.世界上许多数学家为四色猜想倾注了大量心血.经过一百多年后,这个貌似简单的四色猜想被美国的阿佩尔和哈肯于1976年借助于电子计算机给出了证明.他们的证明用计算机大约需要1200小时,要作出100亿个独立的逻辑判断!他们的工作无疑具有开创性,是值得称赞的.给出四色定理一个无需借助于计算机的证明乃是一个未能解决的问题.二、图论发展简史 1736年,欧拉关于哥尼斯堡七桥问题的论文的发表,人们普遍认为图论由此诞生. 1847年,德国数学家、物理家克希荷夫应用图论方法来分析电网络,奠定了现代网络理论的基
4、础. 1852年,佛兰西斯提出了四色猜想,引起了数学界的广泛注意,使许多数学家对图论产生了浓厚的兴趣,极大地推动着图的着色理论的发展.1856年,爱尔兰数学家哈密尔顿提出了正十二面体游戏问题,引出了哈密尔顿的理论.1857年,英国数学家凯莱在研究饱和碳氢化合物的同分异性体时,发现了“树”的概念和理论,并由此预见了未知化合物的存在.1936年,匈牙利数学家哥尼科,总结前人的成果,发表了第一部图论专著有限图和无限图的理论.自二十世纪五十年代开始,由于运筹学、计算机的促进以及应用领域的扩大,图论已成为了一个独立的数学分支.特别在近二十年,图论正经历着一个蓬勃发展的时期,表现出年轻学科所具有的强大生命
5、力.许多大学的系,如数学系、计算机科学系、运筹系、组合优化系、电机系等都开设了图论这门课.图论是一门应用广泛的数学分支,它不但在自然科学的许多领域有重要的应用,还应用于社会科学的诸多方面.许多实际问题(离散)所建立的数学模型就是一个图论模型.图论不但与大学生数学建摸竞赛联系甚紧,而且在中小学数学竞赛中经常出现来源于图论的题目. 2 图 的 基 本 概 念一.无向图、有向图、子图1.(无向)图 无向图是指三元组,其中是一个非空集合,称为顶点集;是任意集合,称为边集;是到的映射,记作或在E中重复次的边称为重边;两端点重合的边称为环2.有向图 有向图是指三元组,其中是非空顶点集,是边的集合,是到的映
6、射,记作或有向图与无向图的差别仅在于中元素是中元素的有序对还是无序对然而,无序对可以视为两个有序对和也就是说,对于无向图,将中每条边用两条与有相同端点的对称边和来替代后得到一个有向图,这样得到的有向图称为的对称有向图于是无向图可以视为特殊的有向图.例如,城市交通中,双行道可以视为对开的两个单行道以下我们只对无向图来叙述图可以画出它的直观图形,称为此图的图形表示3.简单图 无重边也无环的无向图称为简单图4.子图如果,那么图称为图的子图,记作如果是的子图,且,则称是的生成子图或支撑子图若,则子图称为由导出子图,记为设,记的导出子图为设,是中的边的所有端点所成的集,则的子图称为由导出的子图,记为,又
7、记两个图可以引入交、并、联的运算二.顶点的度1.设是图,中与关联的边数(重边按重数计)称为顶点的度,记作为奇(偶)顶点为奇(偶)数2.对于有向图,可定义出度与入度3.结论1握手引理:设是任意图,则2任意一个图的奇顶点的个数是偶数三.正则图、完全图、二部图1.若,有(常数),则称为正则图2.设,则的任意两顶点均邻接的简单图称为阶完全图,记为3.是单点图;是空图4.若图的顶点集有一个划分,且是空图,则称是(具有二划分的)二部图,记作,二部图亦称为偶图对于简单二部图,若的任一顶点与的任意顶点都相邻,则称为完全二部图,记为,其中3 路 与 连 通 性一.链、迹、路、圈链 图的链是中顶点与边交替出现的有
8、序序列.称为起点,称为终点,中边的条数称为的长度迹 图中任意两边均不相同的链称为迹路 图中任意两顶点均不相同的链称为路,显然,路必是迹,但反之不然在上面的链、迹、路中,当起点与终点重合时,分别称为闭链、闭迹、闭路闭路亦称为圈,圈的长度定义为其中边的条数,长度为奇数的圈称为奇圈;长度为偶数的圈称为偶圈二部图的刻划:图为二部图中不含奇圈二.连通与连通分解考虑图,设,若存在与间的路,则称与是连通的若图的任意两顶点都连通,则称为连通图 任意图均可表成若干个两两顶点不重复,边也不重复的连通子图的并,这些连通子图称为的连通分支,的连通分支数记为考虑有向图,可定义的有向路若有向路中,存在到的有向路或存在到的
9、有向路,则称是单向连通的若有向图中,既存在到的有向路又存在到的有向路,则称是强连通的有向图的顶点集中元素之间的强连通关系是上元间的等价关系由这种关系得到的等价类在中导出子图称为的强连通分支的强连通分支数记为若,则称为强连通图,反之,称为非强连通图三.可靠通信网问题在战争状态,我方要构作一个有线通讯网,使得敌方炸毁我方几个通讯站后,其余的通讯仍然可以彼此通话,自然希望不怕被敌方炸毁的通讯站要尽可能多.但限于施工的条件、时间、造价等.要每两个通讯站间均架设直通线路是有困难的,那么满足一定可靠程度的通讯网该如何构作呢?这就涉及到一个连通度、边连通度问题.若图G中存在不相邻的顶点,则使G不连通. 称为
10、图G的顶点割.图G的连通度定义为:设S与是V的非空子集,用表示图G中一端属于S,一端属于的一切边所构成的边集.特别地当,S,而.则称是G的边割.对于一个非平凡连通图G,去掉其中任何一个边割后得到的图必不连通.于是可定义图G的边连通度如下:四.通知球员问题某足球俱乐部职业队新聘A为主教练,A确定了全队队员名单,需通知所有队员到俱乐部报到,A通知每一名队员所需费用不同,A知道有的队员可以转告其他队员A通知每个队员的费用(元)及可以转告队员名单费 用5641210780.53可 转 告 队 员问:A应通知哪些队员,使费用最少?我们用图的顶点来表示全队n名队员若可以直接转告,则连以有向边,A通知所需的
11、费用为,记作顶点所带的权,这就得到一个顶点赋权有向图,于是,问题转化为求的顶点集的一个子集,满足:(1),有或者有,使中存在到的有向路;(2)所含的顶点数最少;(3)中顶点的权和最少这就是通知球员问题的图论模型 设D=是有向图,,若,都有或者存在,使中存在到的有向路,则称是的一个点基中含顶点数最小的点基称为最小点基又设是顶点赋权有向图,是顶点的权,是的点基,则称为的权,于是通知球员问题的解就是相应有向图的具有最小权的最小点基设是的一个强连通分支,若中不存在终点在中而始点不在中的有向边,则称是的一个最高强连通分支由最高强连通的定义,可以证明:从中的每一个最高强连通分支中各任取一个顶点,所组成的集
12、合就是的一个最小点基,并取一个最小权的顶点(求出强连通分支,后代集,前代集,)五.最短路问题考虑n个城市的公路网络,试求一个城市到其余各城市的最短路以城市为顶点,公路为边,得到一个图,每条公路都有长度(公里数),这样,给赋以一个实数称为的权,于是得到一个赋权图,设,路的权(或子图的权)为其各边的权和,试求到的权和最小的路,亦称为最短路求最短路的算法Dijkstra算法:(i) 令,又令(ii) 对每个,用代替,计算,把达到这个最小值的顶点记为,令(iii) 若,则停止;若,则用代替,转向(ii)例1:求下图中到各顶点的最短路例2: 求天然气管道最优路径筹建中的天然气管道网设计如图所示:表示压缩
13、机站,流动主向用箭头表示,每个管道旁的数字表示管段长度,现需要求该网络从起点A到终点L的最短通道,并确定沿最优路径相应的压缩机站所处的节点解为:4 树 一.树的概念及性质连通的无圈图称为树,常用表示无圈图称为林若,则称顶点为树的树叶例如生成树(支撑树) 若树是图的生成子图,则称是的生成树(或支撑树)树的若干充要条件:设是图,记,则以下诸命题等价:(i)是树;(ii)中任意两顶点间恰有一条路;(iii)中无圈,且(iv)连通, 且(v)连通,但,不连通(极小连通图);(vi)无圈但,必有圈(极大无圈图)二、有向树、二元树设有向图,若均存在有向路,则称是的一个根有向图的基础图是指去掉各边的方向后所得到的无向图有向树:若有向树的基础图是树,且有根
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1