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.