二分匹配最大匹配的理解（附图解）

  定义 一个PXP的有向图中，路径覆盖就是在图中找一些路径，使之覆盖了图中的所有顶点，且任何一个顶点有且只有一条路径与之关联；（如果把这些路径中的每条路径从它的起始点走到它的终点，那么恰好可以经过图中的每个顶点一次且仅一次）；如果不考虑图中存在回路，那么每条路径就是一个弱连通子集． 由上面可以得出： 1.一个单独的顶点是一条路径； 2．如果存在一路径p1,p2,......pk，其中p1 为起点

>>阅读原文<<