支配集、覆盖集、独立集与匹配.ppt

V1 V5 V10 V9 V11 V6 V7 V8 V3 V2 V4 e2 e1 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 e13 (a) ? 可增广轨 两个端点都是未盖点的交错轨称为可增广轨。 图(b)所示的交错轨的两个端点V2, V11都是匹配M的未盖点，所以这条轨是可增广轨，而图(c)所示的交错轨不是可增广轨。 特别地，如果两个未盖点之间仅含一条边，那么单单这条边也组成一条可增广轨。 V1 V5 V9 V11 V6 V2 e1 e4 e7 e10 e12 (b) V9 V6 V7 V3 V4 e3 e6 e8 e10 (c) 第三十页，共78页。 V1 V5 V10 V9 V11 V6 V7 V8 V3 V2 V4 e2 e1 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 e13 (a) V1 V5 V9 V11 V6 V2 e1 e4 e7 e10 e12 (b) V1 V5 V10 V9 V11 V6 V7 V8 V3 V2 V4 e2 e1 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 e13 (d) 可增广轨的含义 对于图G的一个匹配M来说，如果能找到一条可增广轨P，那么这个匹配M一定可以通过下述方法改进成一个包含多一条边的匹配Ms(即匹配M扩充了)： 把P中原来属于匹配M的边从匹配M中去掉(粗边改成细边)，而把P中原来不属于M的边加到匹配Ms中去(细边改成粗边)，变化后的匹配Ms恰好比原匹配M多一条边。 如图(a)中图G的一个匹配M，找到图(b)所示的一条可增广轨，那么得到图(d)所示的新匹配Ms。Ms比M多一条边。 第三十一页，共78页。 证： 1) 必要性 假设: M为G中最大匹配。 若G中存在M的可增广路径?, 则?中在M中的边比不在M中的少1。 设M’ = (M∪?(E)) - (M∩?(E)) = M??(E), 则M’中边彼此不邻, 且M’比M多一条边, 即: M’是比M多一条边的匹配, 这就与“M是最大匹配”相矛盾。 所以, M不含可增广路径。 定理7.4 M为G的最大匹配, 当且仅当G不含M可增广路径。 第三十二页，共78页。 2) 充分性 设: M是G中不含可增广路径的匹配, M1是G中的最大匹配。 下面证明: |M| = |M1|。 设: H = G[M1?M]。 当H = ?时 显然, M = M1, 所以, M为G中最大匹配。 若H ? ?时 由于M和M1都是匹配, 所以, H各连通分支要么是由M和M1中的边组成的交错圈, 在交错圈上M和M1中的边数相等, 要么为由M和M1的边组成的交错路径。 由已知条件可知: M不含可增广路径, M1是最大匹配。由必要性可知: M1中也无可增广的交错路径。 所以, 在由M和M1组成的交错路径上, M和M1的边也相等, 即: M与M1边的个数相同。 因此, M为最大匹配。 第三十三页，共78页。 求最大匹配的可行方法： 给定一个初始匹配M(如果没有给定，则M＝?)，如果图G没有未盖点，则肯定不会有可增广轨了，即M就是最大匹配。 对图G的所有未盖点Vi，通过一定的方法搜索以Vi为端点的可增广轨，从而通过可增广轨逐渐把M扩大。(在扩大M的过程当中，某些未盖点会逐渐被M盖住) 第三十四页，共78页。 寻找可增广轨的方法 ? 交错可达 设M是图G的一个匹配，Vi是取定的未盖点，如果存在从Vi到Vj的交错轨，则称由Vi交错可达Vj。 以图(d)为例，如果取定了未盖点V4，那么存在着交错轨P={V4, V3, V7, V6}，因此由V4交错可达V6，同样由V4还交错可达V7等等。 V1 V5 V10 V9 V11 V6 V7 V8 V3 V2 V4 e2 e1 e3 e4 e5 e6 e7 e8 e9 e10 e11 e12 e13 (d) 寻找以Vi为端点的可增广轨的方法：设法把由Vi交错可达的顶点都找出来，每找到一个，就检查一下它是不是未盖点，如果是，则可增广轨就找到了。如果已经把所有由Vi交错可达的顶点都找出来了，而其中没有一个是未盖点，就可以肯定以Vi为一端的可增广轨一定不存在了。 第三十五页，共78页。 为了把由Vi交错可达的顶点都找出来，需要引入交错树的概念 ? 交错树 设M是图G={V,E}的一个取定的匹配，T是图G的一个子图，如果T具有下述性质： (1) T是一棵树； (2) T中存在一个顶点Vi，它是未盖点； (3) 对于T的任意一个不同于Vi的顶点来说，T中连接Vi与Vj的唯一轨是交错轨。 那么称T是一个以Vi为根的交错树。 V15 V6 V5 V4 V3 V2 V1 V12 V13 V14 V11