通过网络流证明二分图König定理

证明König定理：二分图的最小点覆盖数等于原图最大匹配

思路来源于二分图König定理的网络流思路证明，在此写成完整的证明。

通过证明二分图$G$最大匹配的基数=流图$G^{\prime }$的最大流=流图$G^{\prime }$的最小割=二分图$G$的最小顶点覆盖的基数来验证Konig定理。

根据$G$构造对应的流图$G^{\prime }$，其中$L$、$R$之间的每条边容量设为无限。

由二分图G的匹配基数和对应流图$G^{\prime }$中流的一一对应性，可知二分图$G$的最大匹配的基数=流图$G^{\prime }$的最大流。

流图$G^{\prime }$的最大流=流图$G^{\prime }$的最小割。

下面证明$G^{\prime }$​​中容量有限的割的容量和G的顶点覆盖的基数一一对应。

1. 对于$G^{\prime }$中任一容量为$k(k\ne \infty )$的割$S$、$T$，都有对应的$G$中基数为$k$的顶点覆盖：

设$S\cap L=L_S、S\cap R=R_S、T\cap L=L_T、T\cap R=R_T$

不存在边从$L_S$中节点指向$R_T$中节点，否则割容量将为无限。$L$与$R$当中的边只可能从$L_S$指向$R_S$、$L_T$指向$R_T$、$L_T$指向$R_S$。

因此有$cap(S,T)={\sum }_{v\in L_T}c(s,v)+{\sum }_{v\in R_S}c(v,t)=|L_T|+|R_S|=k$。

由于$L$与$R$当中的边仅连接$L_S$和$R_S$、$L_T$和$R_T$，$L_T\cup R_S$即为$G$中一个容量为$k$​一个顶点覆盖。

2. 对$G$中任一基数为$k$的顶点覆盖$Q$，都有$G^{\prime }$中容量为$k(k\ne \infty )$的割$S$、$T$：

设$L\cap Q=L_Q、R\cap Q=R_Q、L-L_Q=L_{\neg Q}、R-R_Q=R_{\neg Q}$

由于$L$、$R$中任意一条边都至少有一个端点在$Q$中，因此没有边从$L_{\neg Q}$指向$R_{\neg Q}$。$L$与$R$当中的边只可能从$L_Q$指向$R_Q$、$L_{\neg Q}$指向$R_Q$、$L_Q$指向$R_{\neg Q}$。

构造割$S=s\cup L_{\neg Q}\cup R_Q$，$T=t\cup L_Q\cup R_{\neg Q}$，则有$cap(S,T)={\sum }_{v\in L_Q}c(s,v)+{\sum }_{v\in R_Q}c(v,t)=|L_Q|+|R_Q|=k$​

因此，流图$G^{\prime }$的最小割=二分图$G$的最小顶点覆盖的基数。综上，二分图$G$最大匹配的基数=流图$G^{\prime }$的最大流=流图$G^{\prime }$的最小割=二分图$G$的最小顶点覆盖的基数。