Lemme de Berge

Le lemme de Berge est le suivant : Lemme de Berge — Un couplage M dans un graphe G est maximum (c'est-à-dire contient le plus grand nombre d'arêtes possible) si et seulement s'il n'y a pas de chemin d'augmentation (un chemin qui commence et se termine sur des …