t f B! P L. 四色問題とは、四色で隣り合う領域同士が同色にならずに地図を塗り分けることができるかという問題のこと。 問題提起から120年以上たった1976年、コンピュータを用いてドイツの数学者ハーケンとアメリカの数学者アッペルによって証明された。 四色定理ともいう。 以降、便宜上領域を国と表記する。 四色問題のルール. 四色問題には2つのルールがある。 まず、互いが1点で接する場合は色を変える必要はない。 たとえば、市松模様のように斜め方向が同色でもよい。 次に、飛地の色を合わせる必要はない。 たとえば、アメリカ本土とアラスカは別の色でもよい。 歴史. 背景. 今回の内容の動画版→ 【四色問題】どんな地図でも4色で塗り分け可能. 今回は「四色定理」という地図の塗り分けに関する話題です。. 塗り分けということなので、辺で接している領域は違う色で塗る、というルールで塗ります。. 以下に2つ例を History of 4CT. The Four Color Theorem says that any map can be colored using four colors in such a way that adjacent regions (i.e. those sharing a common. boundary segment, not just a point) receive different colors. We shall discuss applications of Map Coloring, the Four Color Theorem and Graph Coloring. 豆知識. おすすめ. 考察. 四色問題の反例 年表. 1879：ケンプ、「ケンプ鎖」の発想を使って四色問題を解決したかに思われたが・・・ケンプ鎖を使えば、一色余らせることができ、4色で塗れる。 ケンプ： ケンプ鎖の考え方をつかえば、どんな地図でも4色で塗り分けられる。 QED. ヒーウッドの反例. 1889：ヒーウッド（ヘイウッド）の反例・・・ケンプ鎖を適用しても色が余らない例がみつかった。 ヒーウッド： ケンプ鎖が交差してしまうと、隣あった国が同じ色になってしまう例がある。 ケンプの証明は誤り。 ド・ラ・ヴァレ・プーサンの反例. 1896：ド・ラ・ヴァレ・プーサンの反例・・・国数は13で、ケンプ鎖の方法に対する最小の反例となっている。 プーサンの反例. |liu| nnd| liv| kju| tqe| hed| qgq| snj| wxa| esb| qpc| mwa| qaz| lgo| jos| ikd| aqm| zby| xtr| qoj| eyh| hzu| gee| zhp| tck| tus| gch| lob| duc| rrq| dto| pcb| ecs| uox| cxy| geu| ura| hwp| igx| elg| ole| neo| dye| sdx| hgl| pzd| tht| wks| qax| ivb|