Highly Influential

# An Approximate Restatement of the Four-Color Theorem

@article{Sarma2013AnAR, title={An Approximate Restatement of the Four-Color Theorem}, author={Atish Das Sarma and Amita Gajewar and Richard J. Lipton and Danupon Nanongkai}, journal={J. Graph Algorithms Appl.}, year={2013}, volume={17}, pages={567-573} }

- Published 2013 in J. Graph Algorithms Appl.
DOI:10.7155/jgaa.00304

The celebrated Four Color Theorem was first conjectured in the 1850’s. More than a century later Appel and Haken [1] were able to find the first proof. Previously, there had been many partial results, and many false proofs. Appel and Haken’s famous proof has one “drawback”: it makes extensive use of computer computation. More recently Robertson, Sanders, Seymour and Thomas [18] created another proof of the Four Color Theorem. However, their proof, while simplifying some technical parts of the… CONTINUE READING