4.应用二：匹配与覆盖.pptVIP

数学建模 图论方法专题 匹配与覆盖及其应用  匹配问题是运筹学的重要问题之一,也 是图论研究的重要内容,它提供了解决“人 员分配问题”和“最优分配问题”一种新的思 想. 例如： 在下图中，粗边所示的边集是该图的一个 匹配. M——饱和点：x1,x2,y1,y2,x3,y3,x5,y5. M——非饱和点 ：x4,y4 可增广路径及交错圈 设红色边在匹配M中，绿色边不在M中，则图(1)中的两条路径均为可增广的交错路径；(2)中的全不是可增广的交错路径；(3)中是一个交错圈. 不难看出，可增广交错路径中，不在M中的边比在M中的边多一条. 交错圈一定为偶圈. 增广路 从M-非饱和点开始经过自由边、匹配边、自由边……序列，最终通过一条非匹配边到达另一个M-非饱和点 自由边个数比匹配边个数多一 如果把匹配边和非匹配边互换… 二元图的匹配 二元图的匹配 匈牙利算法 求二部图G = ( X, Y, E )的最大匹配算法---匈牙利算法 求赋权完备二元图G = (X, Y, E, F )的最佳匹配 ——KM算法 例4：完全2部图K5,5, X={x1,x2,…,x5}, Y={y1,y2,…,y5}. 边权矩阵为 求最佳匹配. 运行maxmatching.m M = 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 反问题：二元图最小权最佳匹配 设a是G =(X, Y, E, W)加权矩阵W=（wij )n中元素最大值，J n是n阶全1方阵，W*= （w*ij ) =aJ n - W是G* =(X, Y, E, W*)中加权矩阵.则M*是G*中最大权完备匹配?M*是G中最小权完备匹配 5、有一台机床加工n种不同的零部件Ji(i=1,2,…,n).每加工完一个零件后，须将机床加以调整才能加工另一个零部件.设加工完Ji后，再加工Jj前机床调整时间为tij .现有6种零部件需要加工，调整机床所耗时间tij (单位为分)如下矩阵所示。问如何安排这些零部件的加工顺序使调整机床所耗总间最短? 例题1 Place the Robots（ZOJ1654） 问题描述 有一个N*M(N,M=50)的棋盘，棋盘的每一格是三种类型之一：空地、草地、墙。机器人只能放在空地上。在同一行或同一列的两个机器人，若它们之间没有墙，则它们可以互相攻击。问给定的棋盘，最多可以放置多少个机器人，使它们不能互相攻击。 例题1 Place the Robots（ZOJ） 模型一 例题1 Place the Robots（ZOJ） 模型一 例题1 Place the Robots（ZOJ） 模型二 例题1 Place the Robots（ZOJ） 模型二 例题1 Place the Robots（ZOJ） 模型二 例题1 Place the Robots（ZOJ） 小结 5 4 6 7 8 3 2 1 1 2 3 4 6 5 7 8 于是，问题转化为求图的最大独立集问题。 在问题的原型中，草地，墙这些信息不是我们所关心的，我们关心的只是空地和空地之间的联系。因此，我们很自然想到了下面这种简单的模型： 以空地为顶点，有冲突的空地间连边，我们可以得到右边的这个图： 5 4 6 7 8 3 2 1 1 2 3 4 6 5 7 8 在问题的原型中，草地，墙这些信息不是我们所关心的，我们关心的只是空地和空地之间的联系。因此，我们很自然想到了下面这种简单的模型： 以空地为顶点，有冲突的空地间连边，我们可以得到右边的这个图： 这是NP问题！ 我们将每一行，每一列被墙隔开，且包含空地的连续区域称作“块”。显然，在一个块之中，最多只能放一个机器人。我们把这些块编上号。 同样，把竖直方向的块也编上号。 1 2 3 4 5 1 2 3 4 1 2 3 4 5 1 2 3 4 把每个横向块看作X部的点，竖向块看作Y部的点，若两个块有公共的空地，则在它们之间连边。 于是，问题转化成这样的一个二部图： 1 1 2 2 3 3 4 4 5 由于每条边表示一个空地，有冲突的空地之间必有公共顶点，所以问题转化为二部图的最大匹配