数模专题--图论模型III演示幻灯片.pptVIP

图1 图2 最大流与最小割 称G = ( X, Y, E )为二部图. 如果X中的每个点都与Y中的每个点邻接, 则称G = ( X, Y, E )为完备二部图. 若 F：E →R +, 则称G = ( X, Y, E, F )为二部赋权图. 定义1 设X , Y都是非空有限顶点集, 且X ∩Y = Φ, 8. 二部图的匹配及其应用 定义3 若匹配M的某条边与点v关联, 则称M饱和 点v, 并且称v是M的饱和点, 否则称v是M的非饱 和点. 定义4 设M是图G的一个匹配, 如果G的每一个点 都是M的饱和点, 则称M是完美匹配；如果G中 没有另外的匹配M0, 使 | M0 |＞| M |, 则称M是最 大匹配. 每个完美匹配都是最大匹配, 反之不一定成立. 二部图的匹配及其应用 例16： 判断下图的匹配 最大匹配 非完美匹配 完美匹配 二部图的匹配及其应用 定义5 设M是图G的的一个匹配, 其边在E\M和M 中交错出现的路, 称为G的一条M–交错路. 起点 和终点都不是M的饱和点的M –交错路, 称为 M –增广路. 定理1 G的一个匹配M是最大匹配的充要条件是 G不包含M –增广路. 二部图的匹配及其应用 定理2 设G = ( X, Y, E )为二部图, 则① G存在 饱和X的每个点的匹配的充要条件是 对任意S　 ,有 | N (S ) | ≥ | S | . 其中, N (S ) = {v | u∈S, v与u相邻}. ② G存在完美匹配的充要条件是 对任意S 或S 有 | N (S ) | ≥ | S | . 二部图的匹配及其应用 工作安排问题之一 给n个工作人员x1, x2, … , xn安排n项工作y1, y2, … , yn. n个工作人员中每个人能胜任一项或几项工作, 但并不是所有工作人员都能从事任何一项工作. 比如x1能做y1, y2工作, x2能做y2, y3, y4工作等. 这样便提出一个问题, 对所有的工作人员能不能都分配一件他所能胜任的工作？ 二部图的匹配及其应用 我们构造一个二部图G = ( X, Y, E ), 这里 X = {x1, x2, … , xn},Y = { y1, y2, … , yn}, 并且当且仅当工作人员xi胜任工作yj时, xi与yj才相邻. 于是, 问题转化为求二部图的一个完美匹配. 因为 |X|=|Y|, 所以完美匹配即为最大匹配. 二部图的匹配及其应用 求下图完美匹配 Hungarian算法： 二部图的匹配及其应用 匈牙利算法： 解 ① 取初始匹配M0 ={x2 y2 , x3 y3 , x5 y5} ② 给X中M0的两个非饱和点x1,x4都给以标号0和标记* (如下图所示). 0 0 * * 二部图的匹配及其应用 0 0 ③ 去掉x1的标记*, 将与x1邻接的两个点y2, y3都给以标号1. 因为y2, y3都是M0的两个饱和点,所以将它们在M0中邻接的两个点x2, x3都给以相应的标号和标记*. * * 1 1 * 2 3 * 二部图的匹配及其应用 0 0 * 1 1 * 2 3 * ④ 去掉x2的标记*, 将与x2邻接且尚未给标号的三个点y1, y4, y5都给以标号2. 2 2 2 二部图的匹配及其应用 0 0 * 1 1 2 3 * 2 2 2 ⑤ 因为y1是M0的非饱和点, 逆向返回, 直到x1为0为止.于是得到M0的增广路x1 y2x2 y1, 记P = {x1 y2 , y2x2 , x2 y1}. 取M1 = M0⊕P = {x1 y2 , x2 y1 , x3 y3 , x5 y5}, 则M1是比M多一边的匹配. 二部图的匹配及其应用 0 * ⑥ 再给X中M1的非饱和点x4给以标号0和标记*, 然后去掉x4的标记*, 将与x4邻接的两个点y2, y3都给以标号4. 4 4 二部图的匹配及其应用 0 4 4 因为y2, y3都是M1的两个饱和点, 所以将它们在M1中邻接的两个点x1, x3都给以相应的标号和标记*. * * 2 3 二部图的匹配及其应用 0 4 4 * * 2 3 ⑦ 去掉x1的标记*, 因为与x1邻接的两个点y2, y3都有标号4, 所以去掉x3的标记*. 而与x3邻接的两个点y2, y3也都有标号4, 此时X中所有有标号的点都已去掉了标记*(如下图所示), 因此M1是G的最大匹配.没有完美匹配。 二部图的匹配及其应用 注意到S={x1,x3,x4}时，N(S)={y1,y3,} 所以没有完美匹配。 二部图的匹配及其应用 定义6 设G = ( X, Y, E