Computer-Based Proofs of Four Color Conjecture

章节
出版模式：

开放获取
发表日期：

2025年

查看全文

Jin Xu

摘要

This section introduces the research course of proving Four Color Conjecture using a computer, which mainly focus on the construction of an unavoidable set of reducible configurations. Those include works that have been done by Heesch, Haken & Appel, and Simon, etc.

This section introduces the research course of proving Four Color Conjecture using a computer, which mainly focus on the construction of an unavoidable set of reducible configurations. Those include works that have been done by Heesch, Haken &amp; Appel, and Simon, etc.

Computer-Based Proofs of Four Color Conjecture

摘要

This section introduces the research course of proving Four Color Conjecture using a computer, which mainly focus on the construction of an unavoidable set of reducible configurations. Those include works that have been done by Heesch, Haken & Appel, and Simon, etc.