はじめてのにき(2009-11-08)_ 四色問題 http://twitter.com/alohakun/status/5506693038 これで思い出して前に啓蒙書を貸してもらって読んだけど、証明をさっぱり忘れつつあるので記憶を再構成しておこうと思う。うぃっきぺたんを参考にしつつ俺メモ… http://en.wikipedia.org/wiki/Four_color_theorem まず一つの点から4本以上線がのびるような頂点があるグラフは考えなくてもいい。 × があったら v | ^ に変換しちゃえば3本のびるグラフに還元できるから。 2本しかのびてない頂点はつまり、単純に領域数増やしに関わってのは無視できて、孤立した円みたいなヤツも自明に関係なくて、全体を囲むやつとかも外っかわの色のせいで4色じゃ塗れなくなっているとすると、中もどうせ4色で塗れませんよね〜ということで忘れていい。でまぁこのケース忘れることから、隣国が
