[097]四色問題～地図を塗る数学～

いっし

2025年10月19日 07:53

地図帳を開いて、世界地図を眺めてみてください。

隣り合う国々が、異なる色で塗り分けられていることに気づくでしょう。では、どんなに複雑な地図でも、隣接する領域が同じ色にならないようにするには、最大で何色必要でしょうか？

この素朴で身近な疑問から生まれたのが「四色問題」です。

劇場版「容疑者 X の献身」で石神哲哉が研究していたのも「四色問題」でした。

$${1852}$$ 年に提起されてから $${124}$$ 年間、数多くの数学者を悩ませ続けたこの問題は、最終的にコンピュータの力を借りて解決されました。

しかし、その解決方法は数学界に新たな議論を巻き起こすことになったのです。

今回は、シンプルでありながら奥深い四色問題の物語を辿ってみましょう。

問題の始まり

フランシス・ガスリーの発見

$${1852}$$ 年 $${10}$$ 月のある日、ロンドン大学の学生だったフランシス・ガスリー (Francis Guthrie) は、イングランドの州を塗り分ける地図を作成していました。

隣接する州が同じ色にならないように注意深く塗っていくと、どうやら $${4}$$ 色あれば十分なようでした。

「もしかして、どんな地図でも $${4}$$ 色で塗り分けられるのではないだろうか？」

この素朴な疑問を、彼は弟のフレデリック・ガスリー (Frederick Guthrie) に相談しました。フレデリックは数学者オーガスタス・ド・モルガン (Augustus De Morgan) の教え子だったのです。

数学者たちの挑戦

ド・モルガンは、この問題の面白さにすぐに気づきました。一見簡単そうに見えるのに、なかなか証明できないのです。

彼は $${1852}$$ 年 $${10}$$ 月 $${23}$$ 日付けの手紙で、アイルランドの数学者ウィリアム・ハミルトン (William Rowan Hamilton) にこの問題を紹介しました。

四色予想 :「平面上のどんな地図も、隣接する領域が異なる色になるように 4 色で塗り分けることができる」

しかし、ハミルトンは四元数の研究に忙しく、この問題にはあまり興味を示しませんでした。

問題の数学的定式化

グラフ理論での表現

四色問題を数学的に厳密に扱うために、グラフ理論の言葉で表現し直してみましょう。

地図の各領域を「頂点」、隣接関係を「辺」で表すと、地図の塗り分けは「グラフの頂点彩色」の問題になります。

四色定理 (グラフ理論版)「平面グラフの頂点は $${4}$$ 色で彩色できる」

ここで「平面グラフ」とは、平面上に辺が交差しないように描けるグラフのことです。

具体例で確認してみよう

簡単な例から始めましょう。

三角形の場合 $${3}$$ つの領域がすべて隣接している場合、明らかに $${3}$$ 色必要です。

四角形の場合 $${4}$$ つの領域が輪状に隣接している場合、$${2}$$ 色で十分です。対角の領域を同じ色にできるからです。

より複雑な例 完全グラフ $${K_4}$$ （ $${4}$$ つの頂点がすべて隣接）の場合、 $${4}$$ 色必要です。

でも、これは対角線が交わっているので、地図としては作れません。ですが、ちょっと遠回りしてやれば、交わらずに作れます。

こんな変な配置になるような地図なんて作れるの？なんて思うところですが、以下の通り作れます。

これらの例から、少なくとも $${4}$$ 色は必要な場合があることが分かります。問題は「$${4}$$ 色で常に十分か？」ということなのです。

初期の挫折と発見

ケンペの「証明」(1879 年)

$${1879}$$ 年、イギリスの数学者アルフレッド・ケンペ (Alfred Kempe) が四色定理の証明を発表しました。

彼の証明は「ケンペ鎖」という巧妙なアイデアを使ったものでした。

ケンペ鎖の考え方 $${2}$$ 色 (例えば $${1}$$ と $${2}$$) で塗られた領域だけを辿って作った連結成分を「ケンペ鎖」と呼びます。この鎖の中で $${1}$$ と $${2}$$ を入れ替えても、塗り分けの条件は満たされます。

ケンペは、この操作を巧妙に組み合わせることで、どんな地図でも $${4}$$ 色で塗れることを「証明」したのです。

ヒーウッドによる反例 (1890 年)

しかし、 $${11}$$ 年後の $${1890}$$ 年、イギリスの数学者パーシー・ヒーウッド (Percy Heawood) がケンペの証明に致命的な欠陥を発見しました。

ケンペの論証は、ある特殊な場合で破綻していたのです。

ただし、ヒーウッドはケンペの手法を修正して、「どんな平面地図も $${5}$$ 色で塗り分けられる」ことを証明しました。これは「五色定理」と呼ばれています。

タイトの「証明」(1880 年)

ケンペとほぼ同時期に、イギリスの数学者ピーター・タイト (Peter Guthrie Tait) も四色定理の証明を試みました。

タイトは、四色問題を「橋の問題」に変換して解こうとしました。すべての面の境界を奇数本の辺で囲まれた平面グラフでは、各辺をちょうど一度ずつ通る閉路 (ハミルトン閉路) が存在するという予想を立てたのです。

しかし、この予想も後に反例が見つかり、証明は失敗に終わりました。

20 世紀の進展

より深い理解

$${20}$$ 世紀に入ると、四色問題の理解がより深まりました。

必要条件の発見 数学者たちは、四色定理が成り立つために必要な条件を次々と発見しました。

平面グラフの頂点の次数の平均は $${6}$$ 未満
平面グラフには必ず次数 $${5}$$ 以下の頂点が存在

既約配置の概念 ケンペの手法を発展させ、「既約配置」という概念が生まれました。これは、四色塗り分けができないとすれば、その反例の中に必ず含まれる部分構造のことです。

ハーケンとアッペルの決意

$${1970}$$ 年代、アメリカの数学者ウォルフガング・ハーケン (Wolfgang Haken) とケネス・アッペル (Kenneth Appel) が、コンピュータを使った証明に挑戦することを決意しました。

彼らのアイデアは次のようなものでした。

1. 可能なすべての「既約配置」を列挙する
2. それぞれが実際に「還元可能」(四色塗り分け可能) であることをコンピュータで確認する

コンピュータによる証明 (1976 年)

1200 時間の計算

$${1976}$$ 年、ハーケンとアッペルは、ついに四色定理の証明を完成させました。

彼らは $${1936}$$ 個の既約配置を特定し、それぞれについて四色塗り分けが可能であることをコンピュータで確認したのです。

この計算には、当時最新のコンピュータで約 $${1200}$$ 時間を要しました。

証明の概要

証明の基本的な戦略は次の通りです：

ステップ 1 : 網羅性の証明 どんな平面グラフも、$${1936}$$ 個の既約配置のうち少なくとも一つを含むことを証明 (これは手計算で可能)
ステップ 2 : 還元可能性の確認 $${1936}$$ 個の既約配置すべてについて、それらが含まれていても四色塗り分けが可能であることをコンピュータで確認

この $${2}$$ つのステップにより、すべての平面グラフが四色塗り分け可能であることが証明されたのです。

数学界の議論

コンピュータ証明への懐疑

四色定理の証明は、数学界に大きな波紋を投げかけました。

反対意見

人間が完全に理解できない証明は本当に「証明」と言えるのか？
コンピュータにバグがあったらどうするのか？
数学の美しさはエレガントさにあるのに、力ずくの計算でよいのか？

賛成意見

正しい結果が得られれば方法は問わない
コンピュータも数学の道具の一つである
複雑な問題には複雑な解法が必要

現代での検証

その後、より高速なコンピュータの登場により、証明は何度も再確認されています。

$${1996}$$ 年には、ニール・ロバートソン (Neil Robertson) らが、より簡潔な証明を発表しました。彼らは既約配置の数を $${633}$$ 個まで減らすことに成功したのです。

$${2005}$$ 年には、コンピュータ証明支援システム「Coq」を使った形式的証明も完成し、証明の正しさがより確実になりました。

四色定理の意義

グラフ理論の発展

四色問題の研究過程で、グラフ理論の多くの重要な概念が生まれました。

頂点彩色
平面グラフの性質
既約配置の理論

これらは、現在のコンピュータサイエンスやネットワーク理論の基礎となっています。

実用的な応用

四色定理そのものの直接的な応用は限られていますが、その研究過程で生まれた技術は広く応用されています。

スケジューリング問題 時間割作成、タスクの割り当てなど
無線通信 隣接する基地局で異なる周波数を使う問題
レジスタ割り当て コンピュータのコンパイラでの最適化

数学哲学への影響

四色定理は、「数学の証明とは何か」という根本的な問題を提起しました。

現在では、コンピュータを使った証明も広く受け入れられており、「実験数学」という新しい分野も生まれています。

数学の美しさと実用性

エレガンスと力強さ

四色問題は、数学における「エレガンス」と「力強さ」の両面を示しています。

問題設定は極めてシンプルで美しく、小学生でも理解できます。一方で、その解決には最先端の数学とコンピュータ技術が必要でした。

純粋数学と応用数学の架け橋

四色問題の研究は、純粋数学から応用数学まで、幅広い分野に影響を与えました。

抽象的なグラフ理論が、現実のスケジューリング問題や通信技術に応用されるという、数学の実用性も示しています。

人間とコンピュータの協力

四色定理の証明は、人間の洞察力とコンピュータの計算力の協力により達成されました。

これは、現代の数学研究における「人間とAIの協力」の先駆けとも言えるでしょう。

まとめ

四色問題は、$${1852}$$ 年の素朴な疑問から始まり、$${1976}$$ 年のコンピュータ証明まで、$${124}$$ 年という長い歴史を持つ問題でした。

この問題を通じて、私たちは数学の多くの側面を学ぶことができます。

シンプルな問題が必ずしも簡単な解を持つとは限らない
数学の発展には時として新しい道具（コンピュータ）が必要
純粋数学の研究が思わぬ実用的価値を生むことがある
「証明とは何か」という根本的な問題の重要性

そして何より、四色問題は「数学の面白さ」を象徴する存在でもあります。

身近な疑問から始まって、深い理論に発展し、最終的には技術革新をもたらす。これこそが、数学という学問の魅力なのです。

現在でも、四色問題から派生した多くの問題が研究され続けています。

もしかすると、この記事を読んでいる皆さんの中から、新しい彩色問題の解決者が現れるかもしれません。

数学の世界には、まだまだ発見を待っている美しい問題がたくさんあるのです。

そして、四色問題が示したように、どんなに困難に見える問題でも、新しい視点と適切な道具があれば、必ず解決の道が開けるのです。