引理: EK算法每次增广使$s$到所有顶点$v\in V-\{s,t\}$的最短距离$d[v]$增大. 采用反证法, 假设存在一个点$v\in V-\{s,t\}$, 使得$d'[v]< d[ ...

.mycontent { border-left: 10px solid rgba(70, 131, 255, 1); padding-left: 10px } h3.subtitle { paddi ...