二分图

一般地，可行性+唯一性的匹配问题可用二分图解 

重要结论

最小路径覆盖数=|G|-二分图最大匹配数（｜Ｇ｜是有向图中的总边数）

 

一些问题：

　　一、假设左侧有n个节点，在匹配左侧的节点i时（i为递归的起点），dfs(i)，返回了false，那么以下结论是否成立：

　　　　1.整个匹配结束后i节点一定不会被匹配

　　　　2.匹配结束后，最大匹配<=n-1

　　二、在匹配i节点时，递归过程中，是否会改变1~i-1节点的匹配状态，是否会改变i+1~n节点的匹配状态？