Passion For The Future: 四色問題四色問題 スポンサード リンク ・四色問題 四色問題 「四色あれば、どんな地図でも隣り合う国々が違う色になるように、塗り分けられることができるのか。」 証明がなくても経験的に、どんな地図でも四色で塗り分けられることはわかっていた。しかし、いざ証明しようとすると、「どんな地図でも」が問題になる。地図のパターンは無限に見えるからだ。証明に至るには150年の歳月がかかった。膨大な計算が必要であり、現代のコンピュータの力を借りる必要があった。 最終証明は100ページの概要と100ページの詳説、700ページの予備的成果、印刷すると高さ1.2メートルに及ぶ1万点の図。その計算をするためのコンピュータの稼働時間は1000時間に及んだ。 四色問題を解くには、塗り分けに五色以上を必要とする地図を仮定し（ないのだが）、そこに描かれている国の数が最も小さいケース＝最小反例が存在できないことを証明しなければならな
