登録日:2024/09/26 Thu 01:46:27
更新日:2024/09/29 Sun 10:54:08
所要時間:約 8 分で読めます
あのやり方は人間が手作業で調べるには膨大すぎる。
だからこそコンピュータを使ったんだろうが、おかげでその証明が正しいのかを完璧に判断する手段がない。
確認にもコンピュータを使わなければならないなんてのは、本当の数学じゃない。
「四色問題」とは、図面の彩色に関する数学の問題である。
上記の通り、「
容疑者Xの献身」で引用されているため、そこから知った人も少なくないだろう。
この問題の主張は正しい事が証明されているため、今日では「
四色定理」という名前で呼ばれることもある。
【概要】
問題の内容(命題)を大雑把に表現すると以下の通りになる。
“隣り合う領域が同色にならない様に平面上の地図を彩色する場合、どんな地図でも高々4色で塗り分けることが出来るか”
この「4」という数については、彩色に必要な色の数を小さい順に調べていった結果。
1色/2色/3色では塗り分けられないような地図の例を作る事が出来たため、「4色の場合は彩色が可能なのか?」という観点から設定された数値になる。
問題提起がなされたのは1852年。
とある学生の疑問に数学の教授ド・モルガンが調べたところ、証明などが立てられず苦戦し、難問として世に知られる様になっていった。
その後数学的に定式化されたうえでの学術誌掲載を経て、1976年に問題に対する解答が提示され、「平面上の任意の地図は高々4つの色で隣同士が同じ色にならないように彩色が出来る。」という結論が出ている。
…が、この解答の提示方法、即ち「証明」の内容が色々と物議を醸すものであったため、ある意味この問題の1つの特徴になっている。
(詳細は後述。)
【前提】
四色問題についてだが、彩色に用いられる条件として以下の内容を前提として考える必要がある。
①:平面上の領域は飛び地を持たない。
大雑把な表現で言うと、「飛び地」とは主となる領域からは分離しているが同じカテゴリに分類される領域のこと。
日本の地理で例えると和歌山県の北山村が該当する。
北山村は、北・西側は奈良県、南・東側は三重県の市町村に囲まれており、他の和歌山県のどの市町村とも隣接していない。
だが、都道府県分類上は和歌山県に属しているため、和歌山県の飛び地の条件に該当する。
この様な飛び地に対して「同じ領域に属する部分をすべて同じ色で塗る」という条件の下で塗り分けを行うと4色では塗り分けを行う事が出来ず、(飛び地の数や隣接する領域の条件で使用する色の種類が大きく変わってしまう関係で)色の種類がいくつあっても足りなくなってしまう。
同じ理由で通常飛び地とされないが「島国は領域の島を同じ色で塗る」というルールと、「水域は必ず青く塗る」というルールもここでは使用できない。
北山村の例では都道府県単位の話だったが、これを国単位の話に置き換えた場合でも飛び地を持つ国が存在しているため、世界地図には四色問題の主張をそのまま適用することは出来ない。
②:1点のみで接している領域は同じ色での彩色が出来るものとする。
これも同じ理由からで1点のみでの配色の一致を許容しない場合、4色では塗り分けきれなくなってしまうため、4色以内で配色を解決するに設定された条件になる。
どういう意味か分からない人はルーレットやダーツの的のような形状を考えてみれば、「中心の点で隣接する別のエリア」が扇状部分を細かくすればいくらでも作れると分かるはず。
実際の地図では所謂「質点」の様な幅を持たない点というものは存在せず、物理的な点には幅が存在し、遠目からでは1点でしか接していない様に見えてもクローズアップすれば小さな幅の線で接している状態になる。
そのため、このような状況が成立するようなこと自体が稀で、アメリカの4州(ユタ州・コロラド州・ニューメキシコ州・アリゾナ州)の境界地点として人為的に設置された「フォー・コーナーズ」の様な地点でなどにしか当てはまらない。
因みに四色問題については平面の他にも球面などについても同じ様に4色での塗分けを考えることができるため、地図の他に地球儀上での塗分けというのも考えることが出来る。
なおこの問題は「グラフ理論」という幾何学分野の考えによって彩色対称の面を1点、「2つの面が隣り合っている」という状態を「点と点が線分で結ばれている」という状態に置き換えると「平面グラフ」というものに概念を置き換えることが出来る。
(ここで言う「グラフ」とは小学校で習うような所謂「数と数の関係の図表化」ではなく「辺」と「点」の組み合わせで出来る図形のような物を指す。)
この状態で言い換えると、四色問題は「グラフ上に含まれる辺をどのように選んでも、両端の点の色が違う色になる様にグラフを作るには最大でも4色あれば実行できる」という内容になる。
1879年にこの問題の証明についてアルフレッド・ケンプが「どんな地図にも2辺国~5辺国のうちいずれかが必ず含まれる」という事実を元に証明を提示した。
だが、この証明には誤りが含まれており、「2辺国」~「4辺国」の場合には4色問題の適用が可能である事が分かったが、5辺国の場合は4色で塗り分けられるかが完全には検証できていないという欠陥があった。
その後、5辺国を含む場合の図は分類が非常に多い事が分かり、調べるのが非常に困難であるという事実が分かり、証明は難航していたが……。
【エレファントな証明】
上述した通り1976年にケネス・アッペルとヴォルフガング・ハーケンの2名によってこの問題に関する証明が提示されたのだが、その内容が「美しくない方法である」とされている。
詳細を割愛してアイデアを物凄く大雑把に言うと、
①:平面上の任意の地図は(5辺国があるパターンを含めて)1500弱のカテゴリーに分類した。
②:コンピューターの計算で①の配色パターン全てが4色で塗り分けられることを示した。
という旨になっている。
この証明プロセス……特に②の工程について多くの人から「(数学的には正しいかもしれないが)美しくない」という評価を受けている。
理由は簡単。
上記の証明法を多少の誤解を恐れずに言い換えると
「コンピューターを使って平面の塗分け方をパターン化して、コンピュータで各パターンを調べて塗分け可能な事を示した」
≒
「取り得るパターンを全部確認して調べる」
という所謂「総当たり」や「虱潰し法」に該当する方法で強引に調べる内容だったからである。
また、これらが「コンピューター」の機械処理によってなされ、証明の内容がプログラムの構文、内容の妥当性を確認するのにもプログラムの検証が必要になるというある種の機械任せに解かれたという側面も「この問題の証明が美しくない」とされていた一因。
1976年当時はコンピューターを用いた証明というものはあまり一般に認知されておらず、その証明の妥当性を手で調べられないことも問題の1つとして挙がり、この証明が美しくないとされる理由の1つになっていた。
現在ではプログラムの改良により、当時よりも効率化された四色問題の検証が出来る様になってはいる。
ただ、今でもコンピューターでの検証に頼らない証明方法及び証明の妥当性の確認方法は見つかっていないのが現状である。
数学の問題を短く、かつシンプルにまとめられた論理展開で解く事は、一般に「エレガントな証明」と呼ばれる。
これは証明方法として好ましいものとして扱われる。
だが、四色問題の解き方はそれとは大きくかけ離れたものであった事から「エレファントな証明」と揶揄されてしまう結果になってしまった。
現状人の手だけで完結する証明法は見つかっていないが、興味のある人は挑戦してみるといいかもしれない。
【関連する問題】
四色問題の系(定理から導かれる派生命題)で、5色を使って隣り合う面が同じ色にならないように配色を行う問題。
四色問題が真である以上、こちらも真になるのだが証明は四色問題よりずっと易しく、誤りを指摘されたケンプの証明を改良することでまとまった論理展開で解ける。
「与えられた面が隣り合う色が同じ色にならないよう、3色で塗り分けられるか」を確認する問題。
NP完全問題という特殊なカテゴリの数学の問題に位置づけられており、「既に解かれた問題の正誤検証が多項式時間で可能(NP問題である)」「他の任意のNP問題に対して問題の適切な変形などを行う事で三彩色問題に帰結させられる(NP困難問題である)」の2条件を満たしているという特徴がある。
(大雑把に言うなら「NP問題の中では難しい部類の問題だが、NP困難の問題の中では易しい部類の問題になる」という事である。)
【余談】
四色問題が平面の他に球面でも適用できると書いたが、これらは穴の開いていない立体(多様体)でも隣り合う面が4色で塗り分け出来ることが知られている。
一方で穴の開いている立体の場合は話は別でドーナツ状の立体(トーラス)で隣り合う面が同じ色にならないようにするには最大で7色が必要になる事が分かっている。
また、必要な色の数も立体上に存在する穴の数によって変化することが知られている。
部外者、特に本項目を読むような層からは「エレファントな証明」「美しくない解決方法」として有名であり、冒頭のように文学作品などでもたびたび「強引な解決方法」「非直感的な証明」の例として非常に好まれるのだが、
数学者側は現在ではむしろコンピューターを用いた証明というのは「手段のひとつ」として認める動きが強まっている。
現在では「計算機援用証明」という証明の手段として、コンピューターは立派に活用されている。
無論「しらみつぶしでやるしかないぞ」という結論が出て、さらにそのプログラムに問題や穴がないかというのをかなり綿密にチェックしていかなければならないため、
こっちの方がはるかにめんどくさい。ゲームにおいてチートコードを使うような印象とは正反対の、まさに最後の手段。
四色問題はその最初の例であり、やっていることが「数学は本来知恵の輪のようなもののはずなのに、それを強引に引きちぎっている」ようにしか見えなかったことから悪名が高くなってしまったのがこの問題なのである。あと問題が小学生でも理解できるほど単純というのも、知名度に貢献しているかもしれない。
アニヲタにもわかりやすいイメージをすれば、
メルエム戦でネテロ会長が戦略兵器「貧者の薔薇」を使おうと考えるくらいに手ごわい証明ってところ。
最初から核兵器を使うつもりなら怒られるけど、問題が手ごわすぎるなら使わざるを得ない。そしてあの展開や決着が「やっぱ納得いかねぇ」と思う人もいるだろう。本当にそういう印象的な問題。
比較的単純な計算で済む問題、たとえば「この条件を満たす数は存在しない」という問題に対しては、計算機は非常に強く、計算機によってその反例が見つかる形で否定的に解決された問題は数多い。
無論現代でもエレガントな証明が求められるのは事実だが、今や
円周率の計算をはじめ、コンピューターは数学の世界にはなくてはならないものになっているのだ。
追記・修正は隣り合うwiki篭りを同じ趣味に染めないようにしながらお願いいたします。
- 作成乙。「コンピューターを使った証明」はされていても「コンピュータプログラムが論理的に証明した」のは25年ぐらいかかってるらしい。(coqを使ったとか)そもそもコンピュータを使った証明が非直感的だしなぁ -- 名無しさん (2024-09-26 02:49:33)
- 何を言ってるのか全く分からなかった -- 名無しさん (2024-09-26 08:33:51)
- ↑要は理論的に証明できないから「パソコンで全部のパターン試してみた」っていう小学生クラスの答えだったから「そりゃ確実ではあるけどなんか頭悪いやり方だよね」って話になってる。 -- 名無しさん (2024-09-26 08:51:19)
- エレファントは草。物量攻め・数の暴力的な解法にピッタリな表現だ…… -- 名無しさん (2024-09-26 09:32:14)
- これに関しては、包括する理論だけでは証明不可で、1500弱のパターンを総当たりしてやっと -- 名無しさん (2024-09-26 09:33:35)
- やっと証明できた。しかしながら総当たりという力技(エレファントな証明)は数学としてどうか?って話が分かれば雑談のネタにはできる -- 名無しさん (2024-09-26 09:35:13)
- これを一般向けに紹介したブルーバックス『四色問題』は詳しく知りたい人におすすめ。初版当時は「電子計算機」て言葉の時代 -- 名無しさん (2024-09-26 09:47:06)
- オイラーのグラフの発明とかガロアの群論の発明とか、四色問題もいかにも新数学の宝の山が見つかりそうな問題だったんだよね。ところが出てきた回答は四色問題にガチガチに最適化された専用機みたいな手法になっちゃった。だから余計にガッカリ度が高いっていう -- 名無しさん (2024-09-26 10:07:46)
- 総当たりで確かめるのが簡単なのは2,3パターンの場合分けぐらいで、こういう規模の案件だと「証明手順」を導く方がどう考えても楽だわな。簡単そうで複雑な解法 -- 名無しさん (2024-09-26 10:27:58)
- ケプラー予想もやはりコンピュータで証明されたけど、さすがに四色問題から30年経っていたからか反感は少なかったそうな。 -- 名無しさん (2024-09-26 11:36:49)
- 規模としては「エレファント」とまでは言い切れないだろうけど、暗殺教室の期末試験で寺坂がやってたサイコロの総当たりなんかはエレファント寄りの思考であり証明だよね。そして、リアルでも状況によってはそういう「力技」のほうがコストも時間も少ない消費で済むこともあるのが面白いところ。 -- 名無しさん (2024-09-26 13:15:51)
- ↑小学生に丸の数を数えさせる問題で、数個で区切って掛け算をさせるのが狙いだったけど、普通に数えた子が一番早かった話を思い出した。 -- 名無しさん (2024-09-26 13:20:23)
- エレファントな証明って言葉はQEDで見たな -- 名無しさん (2024-09-26 15:56:06)
- 頭いいキャラがチェス強いみたいなもんで、理知的キャラ演出するために不当なほど針の筵にされてるイメージ -- 名無しさん (2024-09-26 16:12:17)
- 「美しくないけど正しい」って認めるならいいんだけどね -- 名無しさん (2024-09-26 17:46:06)
- わかりやすく説明するための例え話なのにさらに脚注という補足説明入れないといけないのは果たして例えとして適正なんだろうか -- 名無しさん (2024-09-27 00:13:26)
- ほんとに「美しくない証明で批判されてる!」つ -- 名無しさん (2024-09-27 07:56:46)
- ドラえもんがネズミを倒すのに地球破壊爆弾を使うくらいの最終手段...って例えが浮かんだ -- 名無しさん (2024-09-27 10:03:54)
- トレーズ閣下も「事はエレガントに運べ」とおっしゃっていますからね… -- 名無しさん (2024-09-27 14:09:18)
- やったらできました、証明にはなるだろうけど、学問ではないよね -- 名無しさん (2024-09-27 16:51:12)
- でもエレファントな証明ができればエレガントな証明も存在する可能性が高いから(震え声)。 -- 名無しさん (2024-09-27 21:35:11)
- 項目の本筋とはまた違う話だけど四色問題がそのまま人間関係と重なるように描写した東野圭吾凄いね映画も牢屋の演出感動した -- 名無しさん (2024-09-28 16:59:20)
最終更新:2024年09月29日 10:54