Φ Flot nul
tant que chemin P:sp dans GΦ:
Augmenter le flux sur P de c^




Pour plus de détails, voir la partie TP.