This statement is the special case of a conjecture involving the floor function of the expression seven plus the square root of one plus forty-eight times the genus, all over two.
This statement is the special case of a conjecture involving the floor function of the expression seven plus the square root of one plus forty-eight times the genus, all over two. That conjecture was proven by Ringel and Youngs. An unsolved generalization of this statement is known as the (*) Hadwiger conjecture. An early false proof of it by Kempe was shown to be incorrect by Heawood. Its 1976 proof by Appel and Haken created controversy because it was done with computer assistance. For 10 points, name this theorem about the number of colors needed to color a map.
This statement is the special case of a conjecture involving the floor function of the expression seven plus the square root of one plus forty-eight times the genus, all over two.
{four color} theorem