摘要：
定义 问题 二分图博弈，顾名思义就是在二分图上进行博弈。 一般来说，二分图博弈形如这个形式：有两名玩家轮流操作二分图上的一个点进行移动，经过的一个点不能经过多次，不能移动的玩家输。问你先手是否存在必胜策略。 结论 先手必胜当且仅当二分图的任何一组最大匹配都包含起始点。 证明 当起点在所有最大匹配上时 阅读全文
摘要：
内容 Konig 定理是一个关于二分图的定理。 其内容为：一个二分图的最大匹配边数等于其最小点覆盖数。 证明 从最大匹配入手，考虑最大匹配被寻找的过程。 无论是 Dinic 还是匈牙利算法，其本质都是寻找一条“增广路”。这条增广路是形如“未选边-已选边-未选边-......-已选边-未选边”的形式， 阅读全文