临时随笔（日后补充）
Posted AseanA
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了临时随笔（日后补充）相关的知识，希望对你有一定的参考价值。
有向无环图最小不相交路径覆盖
定义：用最少的不相交路径覆盖所有顶点。
定理：把原图中的每个点V拆成Vx和Vy，如果有一条有向边A->B，那么就加边Ax-By。这样就得到了一个二分图，最小路径覆盖=原图的节点数-新图最大匹配。
简单证明：一开始每个点都独立的为一条路径，总共有n条不相交路径。我们每次在二分图里加一条边就相当于把两条路径合成了一条路径，因为路径之间不能有公共点，所以加的边之间也不能有公共点，这就是匹配的定义。所以有：最小路径覆盖=原图的节点数-新图最大匹配。
以上是关于临时随笔（日后补充）的主要内容，如果未能解决你的问题，请参考以下文章