なぜ地図は4色で塗れる?100年の難問とコンピュータ証明の真相

なぜ地図は4色で塗れる?100年の難問とコンピュータ証明の真相

なぜ地図は4色で塗れる?100年の難問とコンピュータ証明の真相とはどんな影響があるのか? 専門的な分析を丁寧に紐解いて紹介します。

インターネット上の掲示板やSNSでは、周期的に「四色問題の反例(5色以上必要な地図)を発見した!」という投稿が話題になります。しかし、報道各社や数学機関の調査・学術的合意において、四色定理を覆す正当な反例はただの1つも存在しません。

ネット上で「反例」と主張されるケースの99%以上は、以下の典型的な定義誤解に起因しています:

  • 飛び地の混入:ある領土が2箇所に分かれて存在し、その両方を同色に塗らなければならない設定になっている(例:米本土とアラスカ、飛び地自治体)。
  • 立体的な交差(非平面グラフ):トンネルや高架橋のように、平面上で線が交差することなく描けない構造を含んでいる。
  • ドーナツ(トーラス)面などの異なる曲面:トーラス面上では最大7色(ヘーウッドの公式)が必要になりますが、これは「平面地図」のルール外です。
  • 1975年のエイプリルフール記事:『サイエンティフィック・アメリカン』誌でマーティン・ガードナーが「反例が見つかった」と掲載した有名なジョーク地図を真に受けて拡散しているケース。

さらに2005年、フランスの計算機科学者ジョルジュ・ゴンティエ(Georges Gonthier)らが、形式言語「Coq」を用いて四色定理の全ステップをコンピュータ上で完全形式検証しました。これにより、初期のプログラムコードのバグや論理の抜け穴の可能性は完全に排除されています。

高橋 健太
著者

高橋 健太

Webメディアでの編集・執筆歴10年。読者の好奇心を刺激するストーリー作りを心がけています。