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