码迷,mamicode.com
首页 > 其他好文 > 详细

最小路径覆盖,最小点覆盖,最大独立点集(转)

时间:2014-08-21 21:03:28      阅读:195      评论:0      收藏:0      [点我收藏+]

标签:style   blog   http   color   ar   art   div   html   

来自:http://blog.csdn.net/l04205613/article/details/6278394

node  1:最小路径覆盖

在一个PXP的有向图中,路径覆盖就是在图中找一些路经,使之覆盖了图中的 所有顶点,且任何一个顶点有且只有一条路径与之关联;(如果把这些路径中的每条路径从它的起始点走到它的终点,那么恰好可以经过图中的每个顶点一次且仅一 次);如果不考虑图中存在回路,那么每条路径就是一个弱连通子集.
由上面可以得出:
1.一个单独的顶点是一条路径;
2.如果存在一路径p1,p2,......pk,其中p1 为起点,pk为终点,那么在覆盖图中,顶点p1,p2,......pk不再与其它的顶点之间存在有向边.
最小路径覆盖就是找出最小的路径条数,使之成为P的一个路径覆盖.
路径覆盖与二分图匹配的关系:
最小路径覆盖=|P|-最大匹配数;
其中最大匹配数的求法是把P中的每个顶点pi分成两个顶点pi‘与pi‘‘,如果在p中存在一条pi到pj的边,那么在二分图P'中就有一条连接pi‘与pj‘‘的无向边;这里pi‘ 就是p中pi的出边,pj‘‘就是p中pj 的一条入边;

对于公式:最小路径覆盖=|P|-最大匹配数;

可以这么来理解:

如果匹配数为零,那么P中不存在有向边,于是显然有:

最小路径覆盖=|P|-最大匹配数=|P|-0=|P|;

即P的最小路径覆盖数为|P|;

P'中不在于匹配边时,路径覆盖数为|P|;

如果在P'中增加一条匹配边pi‘-->pj‘‘,那么在图P的路径覆盖中就存在一条由pi连接pj的边,也就是说pi与pj 在一条路径上,于是路径覆盖数就可以减少一个;

如此继续增加匹配边,每增加一条,路径覆盖数就减少一条;直到匹配边不能继续增加时,路 径覆盖数也不能再减少了,此时就有了前面的公式;但是这里只是说话了每条匹配边对应于路径覆盖中的一条路径上的一条连接两个点之间的有向边;下面来说明一 个路径覆盖中的每条连接两个顶点之间的有向边对应于一条匹配边;

与前面类似,对于路径覆盖中的每条连接两个顶点之间的每条有向边 pi--->pj,我们可以在匹配图中对应做一条连接pi‘与pj‘‘的边,显然这样做出来图的是一个匹配图(这一点用反证法很容易证明,如果得到 的图不是一个匹配图,那么这个图中必定存在这样两条边  pi‘---pj‘‘ 及 pi‘ ----pk‘‘,(j!=k),那么在路径覆盖图中就存在了两条边pi-->pj, pi--->pk ,那边从pi出发的路径就不止一条了,这与路径覆盖图是矛盾的;还有另外一种情况就是存在pi‘---pj‘‘,pk‘---pj‘‘,这种情况也类似可证);

至此,就说明了匹配边与路径覆盖图中连接两顶点之间边的一一对应关系,那么也就说明了前面的公式成立!

(摘自:http://www.cppblog.com/SHFACM/archive/2009/02/05/73050.html)

下面的几道题都是这类题目,可以练练手:

zoj 1364 || poj 1325 

zoj 1525 || poj 1422


node  2:最小点覆盖

二分图中,选取最少的点数,使这些点和所有的边都有关联(把所有的边的覆盖),叫做最小点覆盖。
最小点覆盖数 = 最大匹配数

证明:http://hi.baidu.com/keeponac/blog/item/1764bec86f820f8dc91768b7.html


node  3:最大独立点集

 

在一个二分图中,选择一些顶点,使得所选择的点集中任意两个顶点之间没有边相连
可以证明,最大独立顶点集 = 总顶点数 - 最大匹配数

PS:由上面结论可得,最小覆盖点集和最大独立点集互补,即
最小点覆盖 + 最大独立点集 = 总顶点数

类似的,在带点权的二分图中,最小点权覆盖集 + 最大点权独立集 = 总权和

最小路径覆盖,最小点覆盖,最大独立点集(转),布布扣,bubuko.com

最小路径覆盖,最小点覆盖,最大独立点集(转)

标签:style   blog   http   color   ar   art   div   html   

原文地址:http://www.cnblogs.com/gongxijun/p/3928021.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!