König定理的内容是,一个二分图中的最大匹配数等于这个图中的最小点覆盖数。看过Matrix67大牛的证明后感觉证的很累赘,于是自己写一个。与最大匹配相关的东西可以在这里看到。
假如已知最大匹配M,由最大匹配的定义可知,二分图K中的两个集合A,B中已经取出了最多个匹配点,即取出了最多个不共用一个点的路径。如果K中
König定理的内容是,一个二分图中的最大匹配数等于这个图中的最小点覆盖数。看过Matrix67大牛的证明后感觉证的很累赘,于是自己写一个。与最大匹配相关的东西可以在这里看到。
假如已知最大匹配M,由最大匹配的定义可知,二分图K中的两个集合A,B中已经取出了最多个匹配点,即取出了最多个不共用一个点的路径。如果K中