图论ch142章节幻灯片.pptVIP

定义14.21? 有向图的连通性(续) * * of 220 单向分图 强分图 弱分图 有向图 D 的具有强连通性的极大子图。 有向图 D 的具有单向连通性的极大子图。 有向图 D 具有弱连通性的极大子图。 例 * * of 220 强分图 弱分图 例 * * of 220 单向分图 定理14.8? 在有向图D 中，它的每个结点位于且 只位于一个强分图中。 * * of 220 (1) 假设 v?V,令S 是 D中所有与 v 相互可达的结点的集合, 则 S是 D的一个强分图, v在 S之中, 因此每个结点必位于一个强分图中; (2)假设v 位于两个不同的强分图S1和S2中, 因为S1中每个结点与v相互可达,而v 与S2中每个结点也相互可达,故S1中任一结点与S2中任一结点通过v相互可达,这与假设S1 S2为强分图矛盾,故每个结点只能位于一个强分图中。 证明 扩大路径法 无向图中设G = V, E 为 n 阶无向图，E??. 设 ?l 为G中一条路径，若此路径的始点或终点与通路外的顶点相邻，就将它们扩到通路中来，继续这一过程，直到最后得到的通路的两个端点不与通路外的顶点相邻为止. 设最后得到的路径为?l+k（长度为 l 的路径扩大成了长度为 l+k 的路径），称?l+k为“极大路径”，称使用此种方法证明问题为“扩大路径法”. 有向图中只需注意，在每步扩大中保证有向边方向的一致性. * * of 220 例 (1)中实线边所示的长为2的初始路径?，(2),(3),(4)中实线边所示的都是它扩展成的极大路径. 由某条路径扩大出的极大路径不唯一，极大路径不一定是图中最长的路径. * * of 220 (1) (2) (4) (3) 扩大路径法的应用 例 设 G 为 n（n?3）阶无向简单图，? ? 3， 证明G 中存在长度 ? 4 的圈. * * of 220 不妨设G 为连通图,否则因为G的各个连通分支的最小度也都大于等于3, 所以可对它的某个连通分支进行讨论. 设u和v 是G中任意两个顶点, 由G是连通图,因此u和v之间存在路径?0.设? = v0v1…vl 是由初始路径 ?0 用扩大路径法得到的极大路径. 由于? ? 3,则 l ?3. 证明 若v0与vl邻接,则? ?(v0, vl)为长度大于或等于4的圈. 否则,因为d(v0) ? ? ? 3，因而在 ?上除 v1外，至少还存在 ??1(=2)个顶点vk和vt (2≤ k t ≤ l -1)与 v0 邻接. 于是 v0v1…vk…vtv0 为 G 中长度 ? 4 的圈. 二部图 定义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 阶(n≥2)零图为二部图. * * of 220 例 偶图（二部图） * 7.3 图的矩阵表示 * of 220 二部图 完全二部图 K3,3 例 * 7.1 图的基本概念 * of 220 完全二部图 K2,2 二部图 二部图的判别法 定理14.10 n(n?2)阶无向图G=V,E是 二部图当且仅当G中无奇圈. * * of 220 证明：必要性 (二部图?偶圈) 若G中无圈，结论成立。 若G中有圈. 设C为G中的一个圈,要证C为偶圈.令C= vi1vi2…vilvi1 (l ?2) . 设vi1?V1,则vi1vi2…vil是依次交替属于V1和V2,且vil?V2 , 因而l为偶数,得证C为偶圈. * * of 220 证明：充分性 (偶圈?二部图) 设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相邻,令e =(vi,vj),设v0到vi,vj的短线程分别为?i和?j ,则它们的长度d(v0,vi) ,d(v0,vj)都为偶数. 于是由? i,?j和e构成一条长度为奇数的回路.该回路可能是一条复杂回路,可分解成若干由?i和?j共有的边构成的回路