A Novel Method to Prove the Four Color Theorem
Abstract
The four-color problem was first posed by Francis Guthrie in 1852. It remained unsolved for over a century. Although computer-assisted proofs emerged in last 50 years, they were somewhat the “machine-checkable proof”, which were hardly checked by human readers. In this paper, a novel method of rotation inspired by a rotation principle from Zhuan Falun book of Falun Dafa has been developed to prove the Four Color Theorem.
Article 1
Cite as: Weiguo Xie. A Novel Method to Prove the Four Color Theorem. Authorea. October 04, 2022.
https://doi.org/10.22541/au.166490983.39190127/v1
Article 2
Cite as: Weiguo Xie. A Systematic Rotation Method to Color the Historic Heawood Map by Four Colors. Authorea. November 24, 2022.
https://doi.org/10.22541/au.166931559.90016969/v1
Conference Article 1
Cite as: Weiguo Xie. To Color the Historic Heawood Map with Four Colors Using a Systematic Rotation Method, In 54th Southeastern International Conference on Combinatorics, Graph Theory & Computing (2023).
https://www.math.fau.edu/combinatorics/abstracts/xie-w54.pdf
Video of the Seminar at Swenson College of Science and Engineering, University of Minnesota Duluth on October 6, 2022
PowerPoint presentation file: For the Truth of Science - My Journey on the Four Color Theorem
PowerPoint presentation file at the 54th Southeastern International Conference on Combinatorics, Graph Theory & Computing (2023): To Color the Historic Heawood Map with Four Colors Using a Systematic Rotation Method