第14章图论基本概念.pptVIP

几点说明?(Kn)=?(Kn)=n?1G非连通，则?=?=0若G中有割点，则?=1，若有桥，则?=1若?(G)=k,则G是1-连通图，2-连通图，…，k-连通图，但不是(k+s)-连通图，s?1若?(G)=r,则G是1-边连通图，2-边连通图，…，r-边连通图，但不是(r+s)-边连通图，s?1?,?,?之间的关系.定理7.5?(G)??(G)??(G)请画出一个???的无向简单图*第30页，共53页，星期日，2025年，2月5日有向图的连通性定义14.20D=V,E为有向图vi?vj（vi可达vj）——vi到vj有通路vi?vj（vi与vj相互可达）性质?具有自反性(vi?vi)、传递性?具有自反性、对称性、传递性vi到vj的短程线与距离类似于无向图中，只需注意距离表示法的不同(无向图中d(vi,vj)，有向图中dvi,vj)及dvi,vj无对称性*第31页，共53页，星期日，2025年，2月5日有向图的连通性及分类定义14.22D=V,E为有向图D弱连通(连通)——基图为无向连通图D单向连通——?vi,vj?V，vi?vj或vj?viD强连通——?vi,vj?V，vi?vj易知，强连通?单向连通?弱连通判别法定理14.8D强连通当且仅当D中存在经过每个顶点至少一次的回路定理14.9D单向连通当且仅当D中存在经过每个顶点至少一次的通路*第32页，共53页，星期日，2025年，2月5日扩大路径法无向图中设G=V,E为n阶无向图，E??.设?l为G中一条路径，若此路径的始点或终点与通路外的顶点相邻，就将它们扩到通路中来，继续这一过程，直到最后得到的通路的两个端点不与通路外的顶点相邻为止.设最后得到的路径为?l+k（长度为l的路径扩大成了长度为l+k的路径），称?l+k为“极大路径”，称使用此种方法证明问题的方法为“扩大路径法”.有向图中类似讨论，只需注意，在每步扩大中保证有向边方向的一致性.*第33页，共53页，星期日，2025年，2月5日实例由某条路径扩大出的极大路径不惟一，极大路径不一定是图中最长的路径上图中，(1)中实线边所示的长为2的初始路径?，(2),(3),(4)中实线边所示的都是它扩展成的极大路径.还能找到另外的极大路径吗？(1)(2)(4)(3)*第34页，共53页，星期日，2025年，2月5日扩大路径法的应用例4设G为n（n?3）阶无向简单图，??2，证明G中存在长度??+1的圈.证设?=v0v1…vl是由初始路径?0用扩大路径法的得到的极大路径，则l??（为什么？）.因为v0不与?外顶点相邻，又d(v0)??，因而在?上除v1外，至少还存在??1个顶点与v0相邻.设vx是离v0最远的顶点，于是v0v1…vxv0为G中长度??+1的圈.*第35页，共53页，星期日，2025年，2月5日二部图定义14.23设G=V,E为一个无向图，若能将V分成V1和V2(V1?V2=V，V1?V2=?)，使得G中的每条边的两个端点都是一个属于V1，另一个属于V2，则称G为二部图(或称二分图、偶图等)，称V1和V2为互补顶点子集，常将二部图G记为V1,V2,E.又若G是简单二部图，V1中每个顶点均与V2中所有的顶点相邻，则称G为完全二部图，记为Kr,s，其中r=|V1|，s=|V2|.注意，n阶零图为二部图.*第36页，共53页，星期日，2025年，2月5日二部图的判别法定理14.10无向图G=V,E是二部图当且仅当G中无奇圈由定理14.10可知图9中各图都是二部图，哪些是完全二部图？哪些图是同构的？*第37页，共53页，星期日，2025年，2月5日14.4图的矩阵表示无向图的关联矩阵（对图无限制）定义14.24无向图G=V,E，|V|=n，|E|=m，令mij为vi与ej的关联次数，称(mij)n?m为G的关联矩阵，记为M(G).性质*第38页，共53页，星期日，2025年，2月5日*第1页，共53页，星期日，2025年，2月5日绪论图论的历史：图论的第一篇论文是瑞士数学家欧拉（Euler）发表于1736年出版的圣彼得堡科学院刊物中。讨论一个所谓KonigsbergSeven