Flow Networks [email protected]. Formalization Basic Results Ford-Fulkerson Edmunds-Karp Bipartite Matching Min-cut.