标签：二分 模型 路径 最大独立集 相互 相交 之间 节点 理解
最小点覆盖：用最少的点（X集合或Y集合都的都行）让每条边都至少和其中一个点关联。
结论：最小点覆盖数 = 最大匹配数M
因为只需要让它们覆盖最大匹配的M条边，则其它边一定被覆盖，而每一条边只需选择一个节点。
DAG图的最小路径覆盖：用尽量少的不相交的简单路径覆盖有向无环图所有顶点。
二分图模型：把所有顶点 i 拆成两个：X集合中的 i 和Y集合中的 i‘。若有边 i->j，则在二分图中引入边 i->j‘。
结论：DAG图的最小路径覆盖数 = 节点数N - 最大匹配数M
最大独立集：在一个二分图中，选择最多的顶点（可以是左集合中的也可以是右集合中的），使得所选择的点集中任意两点之间没有连边。
结论：最大独立集 = 节点数N - 最大匹配数M。
可以这样理解，在总的点集中，去掉最少的点，使得剩下的点相互之间没有边。即用最少的点去覆盖所有的边。这样就转化成了最小点覆盖。
标签：二分 模型 路径 最大独立集 相互 相交 之间 节点 理解
原文地址：http://www.cnblogs.com/zhenghaotian/p/6702231.html
