二分图最小点覆盖=最大匹配数 证明

在二分图中，我们可以把最小点覆盖理解为去掉图中尽可能少的点使得图中的边数为零。P1为需要去掉的点的集合，P2为不需要去掉的点的集合，点u属于集合P1，点v属于集合P2。P2中必定不存在边，否则与使得边数为零的思想矛盾。对于任意的u必定存在至少一条边使得u与P2相连，因为如果没有任何边使得u与P2相连，我们就没必要去掉u，与尽可能少的去掉点的思想矛盾。我们将图中的点两两配对，配对的关系可以分为三种情况：<u1,u2>,<u1,v1>,<v1,v2>，分别对应P1中的点与P1中的点配对，P1中的点与P2中的点配对，P2中的点与P2中的点配对。由于u1与u2均存在至少一条边使得其P2相连，所以对于<u1,u2>的情况，必定可以拆分成<u1,v1>,<u2,v2>，与最大匹配矛盾；由于P2中不可能存在边，所以<v1,v2>的情况也不可能发生。因此满足最大匹配的配对关系只可能是<u1,v1>。所以最小点覆盖等于最大匹配数。