写完才发现最后还要说明S,T中有一个不等于A,这样S->A,A->T 中的一个肯定是augmented path.
但实际上这个证明非常局限且复杂,一种简单的证明方向是在原图上反装base到root的路径状态(匹配/非匹配状态切换),由于匹配个数不变,这样分析起来简单多了。
写完才发现最后还要说明S,T中有一个不等于A,这样S->A,A->T 中的一个肯定是augmented path.
但实际上这个证明非常局限且复杂,一种简单的证明方向是在原图上反装base到root的路径状态(匹配/非匹配状态切换),由于匹配个数不变,这样分析起来简单多了。