二分图杂谈

有向无环图最小路径覆盖=顶点数-最大匹配数
为什么呢，因为每匹配2个顶点，肯定少用一个线段。

二分图多重匹配——注意要限制的东西，哪些流入哪些流出。

最小点权覆盖集=最小割
最大点权独立集+最小点权覆盖集=所有点权。

有关二分图最大点权独立集问题，更多讨论见《最小割模型在信息学竞赛中的应用》作者胡伯涛。