Beispiel Korrektheit Ford und Fulkerson konnten beweisen, dass ein s-t-Fluss in einem Netzwerk genau dann maximal ist, wenn es keinen augmentierenden Pfad gibt, d. h., wenn das Restnetzwerk keinen Pfad von nach besitzt.