La méthode de déchargement

Abstract

La méthode de déchargement a été_ utilisée dans la théorie des graphes depuis plus d'un siècle. Sa fameuse application fut dans la preuve du théorème des 4 couleurs qui stipule que le nombre chromatique d'un graphe planaire est au plus 4. Cependant, elle reste mystérieuse pour plusieurs praticiens de la théorie des graphes. Cette méthode est une technique de preuve qui est basée sur le principe de déchargement des sommets du graphe suivant des règles que l'on fixe sans modifier la charge globale attribuée, afin de prouver qu'un graphe G a une propriété P. Dans les graphes planaires, cette technique est basée sur la formule d'Euler. Cette méthode est très utilisée dans les problèmes de coloration de graphes.