4.2-路和回路.pptVIP

* * * 该定理可用来：1、验证所求得连通度是否正确；2、缩小连通度的范围 * * * * * * 对于有向图，不能象无向图那样，定义边连通度和点连通度，只能将其连通性划分为三个级别。 * * * * * 注意：{v5}也是一个强连通分图。 * * “扩大通路法”是图论中证明时常用的方法。 * * 扩大通路法的应用实例。 * * 利用扩大通路法证明单向连通判定定理。 * * 二部图是一类应用比较广泛的图。例如： 有m个人和n个工作，那么如何安排人员去完成这些工作就可以用二部图表示。 * * * * * * * * 定理7-2.5 定理7-2.5 在有向图G=V,E中，它的每一个结点位于且仅位于一个强分图中。 证明 先证每一个结点都位于一个强分图中。 ?v∈V，令S是G中所有与v相互可达的结点的集合， 显然v ∈S，而且S是G的一个强分图. 故G的每一结点必位于一个强分图中。 再证每一个结点仅位于一个强分图中。 假设v位于两个不同的强分图S1与S2之中，因为S1中每 个结点与v互相可达，而v与S2中的每个结点也互相可 达，故S1中任何结点与S2中任何一个结点通过v都互 相可达，这与S1为强分图矛盾。故得证。 扩大通路法 设G＝V,E为n阶无向图，E≠?，设Гl为G中一条路 径，若此路径的始点或终点与通路外的顶点相邻，就 将它们扩到通路中来。 继续这一过程，直到最后得到 的通路的两个端点不与通路外的顶点相邻为止。 设最后得到的路径为Гl+k(长度为l的路径扩大成了长度 为l+k的路径)，称Гl+k为“极大路径”。 称使用此种方法证明问题的方法为“扩大路径法”。 有向图中可以类似地讨论，只须注意，在每步扩大中 保持有向边方向的一致性。 关于极大通路的说明 由某条路经扩大出的极大路径不唯一。 极大路径不一定是图中最长的路径。 实例8 例8 设G为n（n≥4）阶无向简单图，δ(G)≥3。 证明G中存在长度大于或等于4的圈。 证明 不妨设G是连通图，否则，因为G的各连通分支的 最小度也都大于或等于3，因而可对它的每个连通 分支分别进行讨论。 设u,v为G中任意两个顶点， 由于G是连通图，因而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。 单向连通判定的证明 定理 图G单侧连通当且仅当G中存在经过每个顶点至少一次的路。 证明 充分性。 因为G中存在经过每个顶点至少一次的路，则对于G 中的任意两个结点u,v,必有u可达v或v可达u，所以G是 单向连通。 必要性。设有向图G含有n个结点且是单侧连通的， 任取一个结点u，构造包含u的极大有向通路P， 设P的起点和终点是w和v。 若P的长度等于n-1，定理得证 单向连通判定的证明 若P的长度小于n-1，则存在结点s不在P上，且s不会 是w的前驱，也不会是v的后继，因为G是单向连同的， 所以要么P上的所有结点可达s，要么P上存在结点t ，使得s可达t. 综上所述，能得到一条包含s的更长的路，一次进行总 可以找到一条经过每一结点的路。 二部图 定义 设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 二部图的判定定理 定理 一个无向图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)∧