uid001

摘要： 引理: EK算法每次增广使$s$到所有顶点$v\in V-\{s,t\}$的最短距离$d[v]$增大. 采用反证法, 假设存在一个点$v\in V-\{s,t\}$, 使得$d'[v]< d[v]$. 取$v$为第一个使最短距离减小的点, 设增广后的图$G'$中路径$s\leadsto u \rig 阅读全文