离散数学课件图的基本概念.pptVIP

关于极大路径的说明 由某条路经扩大出的极大路径不唯一。 极大路径不一定是图中最长的路径。 例14.8 例14.8 设G为n（n≥4）阶无向简单图，δ(G)≥3。 证明G中存在长度大于或等于4的圈。 证明 不妨设G是连通图，否则，因为G的各连通分支的最小度也都大于或等于3，因而可对它的某个连通分支进行讨论。 设u,v为G中任意两个顶点，由G是连通图，因而u,v之间存在通路，由定理14.5的推论可知，u,v之间存在路径，用“扩大路径法”扩大这条路径，设最后得到的“极大路径”为Гl＝v0v1…vl，易知l≥3。 若v0与vl相邻，则Гl∪(v0,vl)为长度大于或等于4的圈。 否则，由于d(v0)≥δ(G)≥3，因而v0除与Гl上的v1相邻外，还存在Гl上的顶点vk(k≠1)和vt(k＜t ＜l )与v0相邻，则v0v1…vk…vtv0为一个圈且长度大于或等于4，见图。 二部图 定义14.22 设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阶零图为二部图。 二部图举例 K6的子图 K6的子图 K3,3 K2,3 K3,3 K2,3 二部图的判定定理 定理14.10 一个无向图G＝V,E是二部图当且仅当G中无奇数长度的回路。 证明 必要性。 若G中无回路，结论显然成立。 若G中有回路，只需证明G中无奇圈。 设C为G中任意一圈，令C＝vi1vi2…vilvi1，易知 l≥2。 不妨设vi1∈V1，则必有vil∈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为二部图。 14.4 图的矩阵表示 定义14.23 设无向图G＝V,E，V＝{v1,v2,…,vn}，E＝{e1,e2,…,em}，令mij为顶点vi与边ej的关联次数，则称(mij)n×m为G的关联矩阵，记作M(G)。 有向图的关联矩阵 定义14.24 设有向图D＝V,E中无环，V＝{v1,v2,…,vn}，E＝{e1,e2,…,em}，令 则称(mij)n×m为D的关联矩阵，记作M(D)。 有向图的邻接矩阵 定义14.25 设有向图D＝V,E，V＝{v1,v2,…,vn}，E＝{e1,e2,…，em}，令aij(1)为顶点vi邻接到顶点vj边的条数，称(aij(1))n×n为D的邻接矩阵，记作A(D)，或简记为A。 有向图中的通路数与回路数 定理14.11 设A为n阶有向图D的邻接矩阵, 则Al(l?1)中元素 等于D中vi到vj长度为 l 的通路(含回路)数, 等于vi到自身 长度为l 的回路数, 等于D中长度为 l 的通路(含回路)总数, 等于D中长度为 l 的回路总数. 有向图中的通路数与回路数(续) 推论 设Bl=A+A2+…+Al(l?1), 则Bl中元素 等于D中vi到vj长度小于等于 l 的通路(含回路)数, 等于D中vi到vi长度小于等于 l 的回路数, 等于D中长度小于等于l 的通路(含回路)数, 为D中长度小于等于l 的回路数. 实例(续) 说明: 在这里, 通路和回路数是定义意义下的 A= 1 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 A2= 1 1 1 0 1 0 0 0 1 1 0 0 3 1 0 0 A3= 2 1 1 0 1 1 0 0 1 1 0 0 3 3 1 0 A4= 3 2 1 0