an:03924803
Zbl 0578.05022
Appel, K.; Haken, W.
The four color proof suffices
EN
Math. Intell. 8, No. 1, 10-20 (1986).
00165232
1986
j
05C15
planar triangulation; Kempe chain; unavoidable set of reducible; configurations; Four Color Theorem
From the text: ''In order to explain why the proof of the Four Color Theorem is correct we shall try to explain the intuition of the proof and let the reader understand how the proof was obtained and why the type of errors that crop up in the details do not affect the robustness of the proof. In making the argument accessible to the casual reader we will repeat some details that are familiar to those more expert in the field...
Although we were informed of several errors in 1976 by recipients of the preprints (as mentioned above) to our surprise no one brought any further errors to our attention after October 1976, until 1981. In that year, \textit{Ulrich Schmidt} completed a Diplom Thesis [??berpr??fung des Beweises f??r den Vierfarbensatz. Diplomarbeit, Technische Hochschule Aachen (1982)] on checking our unavoidability proof by hand as well as by computer programs he wrote for that purpose. Since a time limit was imposed on his thesis, Schmidt could only check the \(q(V_ 5)\)-positive situations (i.e. about 40 percent of the total unavoidability proof); the treatment of the \(q(V_ k)\)-positive situations for \(k=7,8,9,10,11\) is still awaiting independent verification. Schmidt found fourteen errors of degree 1 and one of degree 3. The correction of the error of degree 3 was the only error-correction procedure that had to be carried out in the time since our paper has appeared and we present it here as an example...
With these changes no change in U (an unavoidable set of 1825 reducible configurations, which contains a 1478 member subset that is itself unavoidable) is required. Since no one else has communicated any other errors in the published unavoidability proof since 1976 we assume that a misunderstanding of the nature of Schmidt's work was the source of those rumors that seem to have stimulated so much new interest in our work. We would certainly appreciate independent verification of the remaining 60 percent of our unavoidability proof and would be grateful for any information on further bookkeeping (or other) errors whenever such are found. We have written computer programs preparatory to a thorough computer verification of all of the material in the microfiche supplements. When this is completed we plan to publish an entire emended version of our original proof including the q-positive bookkeeping.''
I.Tomescu
Zbl 0387.05009; Zbl 0387.05010