做了一点，差不多总结下
最大二分匹配有这么几种题目
最大匹配：匈牙利算法
最小点覆盖：等于最大匹配数
最大独立集：顶点数-最大匹配数
最小边覆盖：顶点数-最大匹配数(最小边覆盖有边不可相交，边可以相交，边可以相交时可以用floyd判断图的连通性，有环存在要缩点)
二分图的必须边：先匈牙利最大匹配，在枚举去掉最大匹配的边，再匈牙利最大匹配，看是否还是等于原来的最大匹配数。。。若不是则为必须边
最优匹配 KM算法 比较死
可见构图的重要性，特别是：
对应关系的建立：把看似没联系的问题用二分图建立关系
拆点：把一个点分成多个点，使二分图建立