Scifaro

中文

四色定理的另一种证明——第二部分——极小 5-色平面图的可约性消项

组合数学 2022-09-20 v2

作者: Frank Allaire

在 arXiv 上查看 ↗ PDF ↗

摘要

在 RSST 中，他们“用另一个庞大的可手工检验的证明取代了 A&H 所需的大量手工检验的不可避免性”（第 18 页）。此处，不可避免性的证明在一个冗长的结构化可手工检验证明中完成，其全部内容均呈于本文档中。

关键词

四色定理不可避免性可约性消项极小 5-色平面图可手工检验证明

引用

@article{arxiv.2208.10936,
  title  = {Another Proof of the Four Colour Theorem -- Part 2 -- Discharging a minimal 5-Chromatic Planar Graph},
  author = {Frank Allaire},
  journal= {arXiv preprint arXiv:2208.10936},
  year   = {2022}
}

备注

60 pages, 18 Figures, 7 Appendices, containing all exhaustive enumerations in < 500 cases. Update Sept 16: Correct typos, simplify, clarify