数学史上最も「身近」で「困難」なパズル。四色問題が解けるまでの100年

「隣り合う国が同じ色にならないように地図を塗り分けるには、最低何色のペンが必要か？」

1852年、一人の学生が抱いたこの素朴な疑問が、数学界を100年以上も混乱させる難問へと発展しました。それが「四色問題（現在は四色定理）」です。

1. 四色問題とは何か？

四色問題の内容は非常にシンプルです。「平面上のいかなる地図も、隣り合う領域が異なる色になるように塗り分けるには、4色あれば十分である」というものです。※ただし、点が接しているだけの場合は隣り合っているとはみなしません。

直感的には、5枚目、6枚目のパネルを置こうとしても、必ず以前使った色のどれかが使えるように見えます。しかし、「いかなる複雑な地図でも絶対に4色でいける」ことを論理的に証明するのは、至難の業でした。

2. 偽の証明と100年の苦闘

1879年、ケンプという数学者が「証明に成功した」と発表し、この問題は解決したかに見えました。しかし11年後、その証明の中に致命的な欠陥があることが発覚します。その後も多くの数学者が挑みましたが、複雑な地図のパターンをすべて網羅することができず、敗北を喫していきました。

3. 1976年、コンピュータによる歴史的決着

ついに決着がついたのは1976年のことでした。イリノイ大学のアッペルとハーケンが、1,476個の「基本となる地図のパターン」に問題を絞り込み、そのすべてをコンピュータを使って力技で検証したのです。

4. 四色問題から学べること

四色問題の解決は、単に地図の塗り分け方が分かったというだけではありません。

• グラフ理論の発展： 地図を「点と線」のつながりとして捉えるグラフ理論の分野を大きく進展させました。
• 証明の多様性： 人間の思考だけでなく、テクノロジーが「真理」を見出すための強力なパートナーであることを示しました。

まとめ：シンプルさの裏にある深淵

子供でも理解できるルールでありながら、証明には最先端のテクノロジーが必要だった四色問題。私たちの身の回りには、まだ見ぬ「シンプルな難問」が隠れているかもしれません。次に地図を見る機会があれば、その境界線を眺めながら、かつての数学者たちが挑んだ100年の歴史に思いを馳せてみてはいかがでしょうか。

キーワード：四色問題, 四色定理, グラフ理論, 地図塗り分け, コンピュータ証明, 離散数学