二分图、不存在奇数环、染色法不存在矛盾

匈牙利算法, 匹配、最大匹配、匹配点、增广路径

最小点覆盖、最大独立集、最小路径点覆盖、最小路径重复点覆盖

最优匹配, KM 最小流 多重匹配 最大流

最大匹配数 = 最小点覆盖 = 总点数 - 最大独立集 = 总点数 - 最小路径覆盖