四色定理

四色問題とも呼ばれる。

地図で隣り合う国には必ず別の色を塗るものとして、必要な最小の色の数は四色であるという定理。

数学的な法則性に基づいたスッキリとした証明にはならず、コンピュータでパターンを列挙して証明するという方法が採られた。