P

Initializing...

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