We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CO
< prev | next >
new | recent | 2208

Change to browse by:

math

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Combinatorics

Title: Another Proof of the Four Colour Theorem -- Part 2 -- Discharging a minimal 5-Chromatic Planar Graph

Authors: Frank Allaire (Lakehead University, retired)
(Submitted on 16 Aug 2022 (v1), last revised 17 Sep 2022 (this version, v2))
Abstract: In RSST, they "replace the mammoth hand-checking of unavoidability that A&H required, by another mammoth hand-checkable proof " (page 18). Here, the proof of unavoidability is accomplished in a lengthy structured hand-checkable proof whose entirety is presented in this document.
Comments: 60 pages, 18 Figures, 7 Appendices, containing all exhaustive enumerations in < 500 cases. Update Sept 16: Correct typos, simplify, clarify
Subjects: Combinatorics (math.CO)
MSC classes: 05C10 (Primary) 05C21, 05C30 (Secondary)
Cite as: arXiv:2208.10936 [math.CO]
  (or arXiv:2208.10936v2 [math.CO] for this version)

Submission history

From: Frank Allaire [view email]
[v1] Tue, 16 Aug 2022 06:53:36 GMT (1485kb,D)
[v2] Sat, 17 Sep 2022 03:53:57 GMT (1491kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.