P
Initializing...
Lemma 3.3 — an augmentation step never increases the potential, so the algorithm never fails · Prove2Me