![Amazon.co.jp: 四色問題: ロビン・ウィルソン (著), 茂木健一郎 (翻訳): 本](https://cdn-ak-scissors.b.st-hatena.com/image/square/a7c3c781de238ce58b4864fcfbb54f152e74656e/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F51BCGSIEMEL._SL500_.jpg)
四色問題 スポンサード リンク ・四色問題 四色問題 「四色あれば、どんな地図でも隣り合う国々が違う色になるように、塗り分けられることができるのか。」 証明がなくても経験的に、どんな地図でも四色で塗り分けられることはわかっていた。しかし、いざ証明しようとすると、「どんな地図でも」が問題になる。地図のパターンは無限に見えるからだ。証明に至るには150年の歳月がかかった。膨大な計算が必要であり、現代のコンピュータの力を借りる必要があった。 最終証明は100ページの概要と100ページの詳説、700ページの予備的成果、印刷すると高さ1.2メートルに及ぶ1万点の図。その計算をするためのコンピュータの稼働時間は1000時間に及んだ。 四色問題を解くには、塗り分けに五色以上を必要とする地図を仮定し(ないのだが)、そこに描かれている国の数が最も小さいケース=最小反例が存在できないことを証明しなければならな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く