loading page

A Novel Method to Prove the Four Color Theorem
  • Weiguo Xie
Weiguo Xie
Department of Chemical Engineering, Swenson College of Science & Engineering, University of Minnesota -Duluth

Corresponding Author:xiew@umn.edu

Author Profile

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.