Abstract
In 1943, Hadwiger made the conjecture that every loopless graph not contractible to the complete graph ont+1 vertices ist-colourable. Whent≤3 this is easy, and whent=4, Wagner's theorem of 1937 shows the conjecture to be equivalent to the four-colour conjecture (the 4CC). However, whent≥5 it has remained open. Here we show that whent=5 it is also equivalent to the 4CC. More precisely, we show (without assuming the 4CC) that every minimal counterexample to Hadwiger's conjecture whent=5 is “apex”, that is, it consists of a planar graph with one additional vertex. Consequently, the 4CC implies Hadwiger's conjecture whent=5, because it implies that apex graphs are 5-colourable.
Similar content being viewed by others
References
K. Appel, andW. Haken: Every planar map is four colorable. Part I. Discharging,Illinois J. Math. 21 (1977), 429–490.
K. Appel, W. Haken, andJ. Koch: Every planar map is four colorable. Part II. Reducibility,Illinois J. Math. 21 (1977), 491–567.
G. A. Dirac: A property of 4-chromatic graphs and some remarks on critical graphs,J. London Math. Soc. 27 (1952), 85–92.
H. Hadwiger: Über eine Klassifikation der Streckenkomplexe,Vierteljahrsschr. Naturforsch. Ges. Zürich 88 (1943), 133–142.
L. Jørgensen: Contractions toK 8,J. Graph Theory, to appear.
H. A. Jung: Eine Verallgemeinerung desn-fachen Zusammenhangs für Graphen,Math. Ann. 187 (1970), 95–103.
W. Mader: Homomorphiesätze für Graphen,Math. Ann. 178 (1968), 154–168.
W. Mader: Über die Maximalzahl kreuzungsfreierH-Wege,Arch. Math. (Basel) 31 (1978), 387–402.
W. Mader: Über trennende Eckenmengen in homomorphiekritischen Graphen,Math. Ann. 175 (1968), 243–252.
J. Mayer: Conjecture de Hadwiger:k=6. II-Réductions de sommets de degré 6 dans les graphes 6-chromatiques contraction-critiques.Discrete Math. 101 (1992), 213–222.
J. Mayer: Hadwiger's conjecture (k=6): neighbour configurations of 6-vertices in contraction-critical graphs,Discrete Math. 74 (1989), 137–148.
N. Robertson, andP. D. Seymour: Graph Minors. IX. Disjoint crossed paths,J. Combinatorial Theory, Ser. B,49 (1989), 40–77.
P. D. Seymour: Disjoint paths in graphs,Discrete Math. 29 (1980), 293–309.
Y. Shiloach: A polynomial solution to the undirected two paths problem,J. Assoc. Comp. Mach. 27 (1980), 445–456.
C. Thomassen: 2-linked graphs,European J. Combinatorics 1 (1980), 371–378.
W. T. Tutte: The factorization of linear graphs,J. London Math. Soc. 22 (1947), 107–111.
K. Wagner: Über eine Eigenschaft der ebenen Komplexe,Math. Ann. 114 (1937), 570–590.
Author information
Authors and Affiliations
Additional information
Research partially supported by NSF grants number DMS 8903132, and DMS 9103480 respectively. Both authors were also partially supported by the DIMACS Center at Rutgers University, and the research was carried out partially under a consulting agreement with Bellcore.