二分图、最小路径重复点覆盖的一些性质

二分图的一些性质：

• 最大匹配：选一些边，选出的边无公共点
• 最小点覆盖：用最少的点覆盖边；
• 最大独立集：选出的点之间没有边
• 二分图==染色法不矛盾 == 不存在奇数环
• 二分图上的最小点覆盖 == 最大匹配数（每条边至少选一点）
• 二分图上最大独立集=总点数-最大匹配数
• 二分图上的最小互不相交路径点覆盖=点数-最大匹配数
• 二分图上的最小路径重复点覆盖=先在原图上传递闭包+二分图上的最小互不相交路径点覆盖