五色定理のソースを表示

[[File:4CT_Non-Counterexample_1.svg|thumb|5色で塗り分けられた地図]]
[[グラフ理論]]における'''五色定理'''（ごしょくていり、{{Lang-en-short|five color theorem}}）とは、領域に分けられた平面、例えばある州を郡に分けた[[地図|政治地図]]が与えられたとき、5種類以下の色を使って、隣接する領域が必ず別の色になっているように各領域を塗り分けられるという定理である。

五色定理はそれより強い[[四色定理]]の系であるが、証明ははるかに易しく、1879年に{{仮リンク|アルフレッド・ケンプ|en|Alfred Kempe}}（ケンペとも）が四色定理（予想）を証明し損ねたときの論法に基づき行える。{{仮リンク|パーシー・ジョン・ヒーウッド|en|Percy John Heawood}}は11年後にケンプの誤りを発見し、それを元に五色定理を証明した。

==証明のアウトライン==
まず、与えられた地図に単純な[[平面グラフ]] <math>G</math> を対応させる。つまり、地図の各領域をグラフの[[頂点 (グラフ理論)|頂点]]とし、2領域が隣接しているときかつそのときに限り、対応する2頂点を1つの辺で結ぶものとする。こうして問題は[[グラフ彩色|グラフの彩色問題]]に変換される：各頂点に色を塗って、どの辺についても端点である2頂点の色が一致しないようにできるか。

グラフ <math>G</math> は単純平面グラフである、つまり平面上にどの2辺も交差させることなく描くことができ、かつどの2頂点間にも2本以上の辺が存在せず、ループも存在しないので、平面の[[オイラー標数]]を用いることで、グラフ <math>G</math> には最大でも5本の辺によってしか接続されていないような頂点が存在することが証明できる（'''注意'''：''五色定理の仮定（色の数が最大で5）が使われるのはこの箇所だけである。もし同じ手法で四色定理を証明しようとしても、この段階で頓挫する。実際、[[正二十面体]]グラフ（icosahedral graph）は5-[[正則グラフ|正則]]な平面グラフであり、接続する辺が4本以下であるような頂点は存在しない''）。このような頂点を1つ選んで <math>v</math> と呼ぶことにする。

今、頂点 <math>v</math> を <math>G</math> から取り除く。このようにして得られるグラフ <math>G'</math> は頂点の数がグラフ <math>G</math> よりも1個だけ少ないので、[[数学的帰納法]]により5色で彩色できるとしてよい。頂点 <math>v</math> は他の5個の頂点と隣接しているとする（4個以下であれば、隣接する頂点に使われていない色を塗ることでグラフ <math>G</math> の彩色は終わる）。そこでこれらの <math>v</math> と隣接していた5頂点を（反）時計回りに <math>v_1</math>, <math>v_2</math>, <math>v_3</math>, <math>v_4</math>, <math>v_5</math> とする（番号の振り方は <math>G</math> の描き方に依る）。もしこれらが5つの異なる色で塗られていなければ、明らかに頂点 <math>v</math> を使われていない色で塗ることでグラフの彩色が終わる。

そこで、頂点 <math>v_1</math>, <math>v_2</math>, <math>v_3</math>, <math>v_4</math>, <math>v_5</math> はそれぞれ色 1, 2, 3, 4, 5 で塗られていると仮定する。

[[File:Kempe Chain.png|thumb|赤と青を交互に結んでゆくケンプ鎖。]]
グラフ <math>G'</math> から、色1または3で塗られた頂点と、それらを接続する辺だけを取り出した部分グラフ  <math>G_{1,3}</math> を考える。明らかにどの辺も色1の頂点と色3の頂点を結ぶ（これを{{仮リンク|ケンプ鎖|en|Kempe chain}}という）。もし <math>v_1</math> と <math>v_3</math> とがグラフ <math>G_{1,3}</math> の異なる連結成分に属するならば、<math>v_1</math> が属す連結成分で色1と色3を交換することで、頂点 <math>v</math> を色1で塗ることができるようになり、証明が終わる。

そうでない場合、<math>v_1</math> と <math>v_3</math> とはグラフの同一の連結成分に属すことになるので、色1と色3の頂点のみを伝ってこれらを結ぶ <math>G_{1,3}</math> の[[道 (グラフ理論)|道]]を見つけることができる。

ここで今度は、グラフ <math>G'</math> から色2または4で塗られた頂点とそれらを接続する辺だけを取り出した部分グラフ <math>G_{2,4}</math> に目を向け、同じ議論を繰り返すことにする。すると、グラフ <math>G_{2,4}</math> の <math>v_2</math> を含む連結成分において色2と色4を交換することで頂点 <math>v</math> が色2で塗れるようになるか、色2と色4の頂点のみを伝って <math>v_2</math> と <math>v_4</math> を結ぶ <math>G_{2,4}</math> の道を見つけることができるかの、二つに一つである。ところが後者はあり得ない。なぜならそのような道は、既に見出した「色1と色3の頂点のみを伝って <math>v_1</math> と <math>v_3</math> を結ぶ道」とどこかで交わらざるを得ないからである。

以上でグラフ <math>G</math> が5色で塗り分けられることが判明した。

==線形時間5彩色アルゴリズム==
1996年、Robertson, Sanders, Seymour, Thomas は "Efficiently four-coloring planar graphs"<ref>{{citation|last1=Robertson|first1=Neil|author1-link=Neil Robertson (mathematician)|last2=Sanders|first2=Daniel P.|author2-link=Daniel P. Sanders|last3=Seymour|first3=Paul|author3-link=Paul Seymour (mathematician)|last4=Thomas|first4=Robin|author4-link=Robin Thomas (mathematician)|contribution-url=http://people.math.gatech.edu/~thomas/PAP/fcstoc.pdf|title=[[Symposium on Theory of Computing|Proc. 28th ACM Symposium on Theory of Computing (STOC)]]|contribution=Efficiently four-coloring planar graphs|location=New York|publisher=ACM Press|year=1996}}.</ref> の中で、{{仮リンク|マルチグラフ|en|multigraph}}に対する2次多項式時間4彩色アルゴリズムを記述し、同論文の中で彼らは単純平面グラフを線形時間で5色彩色するアルゴリズムについて手短に述べている。これは{{仮リンク|漸近最適|en|asymptotically optimal algorithm}}であり、また次に述べるウェルニッケの定理（Wernicke's Theorem）に基づく。
:'''ウェルニッケの定理''': グラフ <math>G</math> は平面的で、空集合でなく、2辺で囲まれるような面を持たず、かつ頂点の[[次数 (グラフ理論)|次数]]の最小値は5であるとする。このとき <math>G</math> には次数が5または6の頂点と隣接しているような次数5の頂点が存在する。
アルゴリズムは、グラフに対し次の2種類の操作を再帰的に用いることで彩色を行う。
* 次数が4以下である頂点を削除する（この頂点は隣接していた頂点が使っていない色で塗れる）。
* 次数が5で、かつ次数6以下の頂点と隣接しているような頂点を削除し、隣接していた5頂点の中から辺で結ばれていない2頂点を選び、1頂点に合併（merge）する（合併した2頂点は同じ色で、最初に削除した頂点は隣接していた頂点が使っていない色で塗れる）。

==脚注==
{{Reflist}}

==参考文献==
*{{Citation|last=Heawood |first=P. J. |title=Map-Colour Theorems |periodical= Quarterly Journal of Mathematics, Oxford |volume= 24 |year = 1890 |pages = 332–338 |authorlink=Percy John Heawood}}
*『数学100の問題』数学セミナー編集部 編

==関連項目==
* [[四色定理]]

{{DEFAULTSORT:こしよくていり}}
[[Category:グラフ理論]]
[[Category:数学に関する記事]]