- Conjecture de Hadwiger
-
En théorie des graphes, la conjecture de Hadwiger est une conjecture très générale sur les problèmes de coloration de graphes. Formulée en 1943 par Hugo Hadwiger, elle énonce que si le graphe complet à k sommets, noté Kk, n'est pas un mineur d'un graphe G, alors il est possible de colorer les sommets de G avec k − 1 couleurs.
Hadwiger a prouvé les cas
dans le même article qui formule la conjecture. Wagner a prouvé en 1937 que le cas k = 5 est équivalent au théorème des quatre couleurs, et la démonstration en 1976 par Happel et Aken du théorème des quatre couleurs a donc prouvé en même temps la conjecture de Hadwiger pour le cas k = 5.
En 1993, Robertson, Seymour, et Thomas (en) ont prouvé que le cas k = 6 pouvait également se ramener au théorème des quatre couleurs. Ce nouveau résultat les a conduits à vérifier la preuve du théorème des quatre couleurs, et finalement à la simplifier.
La conjecture de Hadwiger reste ouverte pour k > 6.
Référence
Neil Robertson, Paul Seymour, et Robin Thomas, « Hadwiger's conjecture for K6-free graphs », Combinatorica 13 (1993), 279-361.
Wikimedia Foundation. 2010.