二部图匹配网络流 幻灯片.pptVIP

7.5 平面图 二部图网络流 二部图 二部图 定义 设 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|. 例 二部图 二部图的判别法 定理 无向图G=V,E是二部图当且仅当G中无奇圈. 无向简单图的点覆盖集、点独立集、匹配 点独立集与点独立数 定义 设G=V,E，V*?V. (1) (点)独立集V*——V*中顶点彼此不相邻 (2) V*为极大点独立集——V*中再加入任何顶点就不是点独立集 (3) 最大点独立集——元素最多的点独立集 (4) 点独立数——最大独立集中的元素个数，记为?0 点覆盖集与点覆盖数 定义 设G=V,E, V*?V. (1) V*是点覆盖集——?e?E，?v?V*，使e与v关联 (2) V*是极小点覆盖集——V*的任何真子集都不是点覆盖集 (3) 最小点覆盖集——顶点数最少的点覆盖集 (4) 点覆盖数——?0(G)——最小点覆盖的元素个数 点覆盖集与点独立集的关系 匹配(边独立集)与匹配数(边独立数) 定义 设G=V,E, E*?E， (1) 匹配(边独立集)E*——E*中各边均不相邻 (2) 极大匹配E*——E*中不能再加其他边了 (3) 最大匹配——边数最多的匹配 (4) 匹配数——最大匹配中的边数，记为?1 关于匹配中的其他概念 定义 设M为G中一个匹配. (1) 匹配边——(vi,vj)?M (2) v为M饱和点——有M中边与v关联 (3) v为M非饱和点——无M中边与v关联 (4) M的交错路径——由匹配边和非匹配边交替构成的路径 (5) M的增广路径——起、终点都是M非饱和点的交错路径 最大匹配判别定理 二部图匹配 匈牙利算法 增广路径 匈牙利算法 由增广路径的定义可以推出下述三个结论： 1、?的路径长度必定为奇数，第一条边和最后一条边都不属于M。 2、?经过取对称差操作可以得到一个更大的匹配M?。 3、M为G的最大匹配当且仅当不存在关于M的增广路径。 匈牙利算法 用增广路径求最大匹配(称作匈牙利算法) 算法： (1)置M为空 (2)找出一条增广路? ，通过取对称差操作获得更大的匹配M?代替M (3)重复(2)操作直到找不出增广路径为止 匈牙利算法示例 二部图的最小点覆盖 二部图的最大独立集 例题1 Place the Robots 问题描述 有一个N*M(N,M=50)的棋盘，棋盘的每一格是三种类型之一：空地、草地、墙。机器人只能放在空地上。在同一行或同一列的两个机器人，若它们之间没有墙，则它们可以互相攻击。问给定的棋盘，最多可以放置多少个机器人，使它们不能互相攻击。 例题1 Place the Robots（ZOJ） 模型一 例题1 Place the Robots 模型一 例题1 Place the Robots（ZOJ） 模型二 例题1 Place the Robots 模型二 例题1 Place the Robots 模型二 例题2 打猎 猎人要在n*n的格子里打鸟,他可以在某一行中打一枪,这样此行中的所有鸟都被打掉，也可以在某一列中打,这样此列中的所有鸟都打掉.问至少打几枪,才能打光所有的鸟？ Girls and Boys Girls and Boys Girls and Boys 网络流简介 剩余图 增广之后的新流 剩余图 增广之后的新流 剩余图 增广之后的新流 剩余图 练习1: 无向图的网络流 练习2 s a d b c t 16,11 13,8 10, 4,1 12,12 20,15 7,7 9,4 14,11 4,4 s a d b c t 5 5 11 3 12 5 7 5 3 4 8 11 4 11 15 s a d b c t 16 13 10 4 12 20 7 9 14 4 20, s a d b c t 16,4 13, 10, 4, 12,4 7, 9,4 14,4 4,4 s a d b c t 12 4 4 8 20 7 5 10 4 10 4 4 13 4 20,7 s a d b c t 16,11 13, 10,7 4, 12,4 7,7 9,4 14,11 4,4 20,7 s a d b c t 16,