Conjecture de Hadwiger

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant la théorie des graphes
Cet article est une ébauche concernant la théorie des graphes.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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é , n'est pas un mineur d'un graphe , alors il est possible de colorer les sommets de avec couleurs.

Hadwiger a prouvé les cas dans le même article qui formule la conjecture. Wagner a prouvé en 1937 que le cas 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 .

En 1993, Robertson, Seymour, et Thomas ont prouvé que le cas 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 .

Référence[modifier | modifier le code]

Neil Robertson, Paul Seymour, et Robin Thomas, « Hadwiger's conjecture for -free graphs », Combinatorica 13 (1993), 279-361.