第2章 图的基本概念.ppt

第二部分 图的基本概念 图论问题的起源 18世纪东普鲁士哥尼斯堡被普列戈尔河分为四块,它们通过七座桥相互连接,如下图.当时该城的市民热衷于这样一个游戏:“一个散步者怎样才能从某块陆地出发，经每座桥一次且仅一次回到出发点？” 但在此之后100年间，没有大的进展。 直到Kirchhoff(克希霍夫)用树的理论解决了电网络问题。这些结果引起了人们的重视,图论的研究进入了一个发展时期。 直到1920年, 科尼格(Konig)撰写了许多图论方面的论文。在1936年科尼格(Konig)发表了第一本图论书籍《有限图与无限图理论》, 总结了200年来图论研究的主要成果。 此后的50年, 图论经历了一场爆炸性的发展, 成为数学科学中一门独立的学科。 几十年来图论在理论上和应用上都得到很大 的发展, 特别是在近30多年来由于计算机的广泛应用而又得到飞跃的发展。 在计算机科学、运筹学、化学、物理和社会科学等方面都取得了不少成果，对计算机学科中的操作系统研究、编译技术、人工智能和计算机网络等方面都有广泛的应用。 这里主要讨论图的基本概念和算法, 为今后的学习和研究打下基础。 本章首先给出图、简单图、完全图、子图、路和图的同构等概念，接着研究了连通图性质和规律，给出了邻接矩阵、可达性矩阵、连通矩阵和完全关联矩阵的定义。最后介绍了欧拉图与哈密尔顿图。 正则图 在一个无向简单图中，如果每个结点的度数均为k，则该图称为k-正则图。 下图所示的图称为彼得森（Petersen）图，是3-正则图。完全图是n-1-正则图。 下图中（a)与（b），（c）与（d）分别顶点数相同、边数相同、度数序列都相同；但它们不同构。 通路与回路 推论： 在n阶图G中，若从顶点vi到vj(vi≠vj)存在通路，则vi到vj存在长度小于或等于(n-1)的初级通路(路径)。 定理：在n阶图G中，若存在从vi到自身的回路， 则一定存在vi到自身度小于或等于n的回路 推论： 在n阶图G中，若存在从vi到自身的简单回路， 则一定存在vi到自身度小于或等于n的初级回路。 二部图(偶图) 如果无向图的结点集V分成两个子集V1, V2,(即满足V1 ∩ V2 =Φ, V1 ∪ V2 =V),使得G中任意一边的两个端点分属于V1和V2,则称G为二部图或偶图(或称二分图), V1和V2称为互补结点子集,常记图G为G=V1,V2,E。 若V1中的每个结点与V2的每个结点都有且只有一个一条边相关联,称G为完全二分图,记为K n,m,其中|V1|=n,|V2|=m。 例：下面的图均是二部分。 例：完全二分图K3,2 例：完全二分图K 3,3的两种形式 二部图判定定理： 一个无向图G=V,E〉是二部图当且仅当G中无奇数长度的回路。 证明：必要性。若G中无回路，结论显然成立。若G中有回路，只需证明G中无奇圈。设C为G中任意一圈，令C= ，易知l≥2。不妨设 ∈V1 ，则必有 ∈V-V1 =V2，而l必为偶数，于是C为偶圈，由C的任意性可知结论成立。 　　　 充分性。不妨设G为连通图，否则可对每个连通分支进行讨论。设v0为G中任意一个顶点，令V1={v|v∈V(G)∧d(v0,v)为偶数}，V2={v|v∈V(G)∧d(v0,v)为奇数}。 易知， V1≠ ,V2≠ ,V1∩V2= ，V1∪V2=V(G)。下面只要证明V1中任意两顶点不相邻，V2中任意两点也不相邻。若存在vi，vj∈V1相邻，令（vi，vj）=e，设v0到vi，vj的短程线分别为Гi和Гj，则它们的长度d(v0,vi)，d(v0,vj)都是偶数，于是Гi∪Гj∪e中一定含奇圈，这与已知条件矛盾，类似可证，V2中也不存在相邻的顶点，于是G为二部图。 画二部图时，人们习惯于将互补顶点子集V1，V2分开画，画成下图中（5）,（6）的形式。请读者将图中（1）,（2）,（3）也画成（5）,（6）的形式。有许多实际问题可用二部图表示，并且用二部图的性质来研究和解决实际问题，特别是本书后续章节将专门介绍基于二部图的匹配问题等。 无向图的邻接矩阵与有向图的邻接矩阵的最大不同在于它是对称的； 且矩阵的每行（每列）的元素的和等于对应结点的度； 其它性质都是类似的，这里就不再重复。 欧拉图与哈密顿图 定理：有向图G具有一条欧拉回路当且仅当G是强连通的且每个结点的入度等于出度。 这个定理说明，有向图G是欧拉图的充分必要条件是G是强连通的且每个结点的