En théorie des graphes, 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 sommets libres (non couplés)), et qui alterne entre les arêtes dans et en dehors du couplage M. Ce lemme a été prouvé par le mathématicien français Claude Berge en 1957, bien qu'il ait déjà été observé par Julius Petersen en 1891 et par Dénes Kőnig en 1931. (fr)
En théorie des graphes, 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 sommets libres (non couplés)), et qui alterne entre les arêtes dans et en dehors du couplage M. Ce lemme a été prouvé par le mathématicien français Claude Berge en 1957, bien qu'il ait déjà été observé par Julius Petersen en 1891 et par Dénes Kőnig en 1931. (fr)