标签：style blog http color ar art div html
来自：http://blog.csdn.net/l04205613/article/details/6278394
node 1：最小路径覆盖
在一个ＰＸＰ的有向图中，路径覆盖就是在图中找一些路经，使之覆盖了图中的 所有顶点，且任何一个顶点有且只有一条路径与之关联；（如果把这些路径中的每条路径从它的起始点走到它的终点，那么恰好可以经过图中的每个顶点一次且仅一 次）；如果不考虑图中存在回路，那么每条路径就是一个弱连通子集．
由上面可以得出：
１.一个单独的顶点是一条路径；
２．如果存在一路径p1,p2,......pk，其中p1 为起点，pk为终点，那么在覆盖图中，顶点p1,p2,......pk不再与其它的顶点之间存在有向边．
最小路径覆盖就是找出最小的路径条数，使之成为Ｐ的一个路径覆盖．
路径覆盖与二分图匹配的关系：
最小路径覆盖＝｜Ｐ｜－最大匹配数；
其中最大匹配数的求法是把Ｐ中的每个顶点pi分成两个顶点pi‘与pi‘‘，如果在p中存在一条pi到pj的边，那么在二分图Ｐ＇中就有一条连接pi‘与pj‘‘的无向边；这里pi‘ 就是p中pi的出边，pj‘‘就是p中pj 的一条入边；
对于公式：最小路径覆盖＝｜Ｐ｜－最大匹配数；
可以这么来理解：
如果匹配数为零，那么Ｐ中不存在有向边，于是显然有：
最小路径覆盖＝｜Ｐ｜－最大匹配数＝｜Ｐ｜－０＝｜Ｐ｜；
即Ｐ的最小路径覆盖数为｜Ｐ｜；
Ｐ＇中不在于匹配边时，路径覆盖数为｜Ｐ｜；
如果在Ｐ＇中增加一条匹配边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：最大独立点集
最小路径覆盖，最小点覆盖，最大独立点集（转）,布布扣,bubuko.com
标签：style blog http color ar art div html
原文地址：http://www.cnblogs.com/gongxijun/p/3928021.html
