【一般图最大匹配】带花树正确性证明

写完才发现最后还要说明S,T中有一个不等于A,这样S->A,A->T 中的一个肯定是augmented path.

但实际上这个证明非常局限且复杂，一种简单的证明方向是在原图上反装base到root的路径状态(匹配/非匹配状态切换），由于匹配个数不变，这样分析起来简单多了。