Argumenter sur les couplages maximums (how to argue about maximum matching)

Trois théorèmes abordés à travers un jeu de logique sur le couplage maximum dans un graphe biparti: Théorème de Hall, Théorème de König, Théorème de Ford et Fulkerson.

Sur le modèle de flot à 7:15, Les arcs entre U et V peuvent avoir n'importe quelle capacité supérieure ou égale à 1 pour définir complètement le réseau de flot. On peut prendre par exemple des capacités égale à 1.