Passion For The Future: 四色問題

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

[tanakaBox]

興味深い。

[webmarksjp]

学_幾何学

[TatayukiN627]

面白いor難しい、どっちだろう？

[onionskin]

「人間が全部考えることができなくても証明したことになるのか？」

[Yuichirou]

もはや「四色【定理】」のはずなのだが、未だ【問題】と呼ばれる問題。そのずんぐりむっくりな証明は、「エレガントな証明」に引っ掛けて、こう呼ばれている。「エレファント(elefant：象)な証明」と。

[t01020ty]

　「四色あれば、どんな地図でも隣り合う国々が違う色になるように、塗り分けられることができるのか。」

[yorihito_tanaka]

グラフ理論

[monolith]

そういう解き方だったのか

[YasSo]

昔、TAで一生懸命解説した覚えあり。

[zonia]

数学とは美しいものでもなんでもないよ。これ見ればよく分かるけど。

[wireself]

“最小反例の候補群は複雑なものばかり数千件もあるのだが、これらをコンピュータを使って検証にかけた。四色で塗り分けられないものがないことがわかった。QED”

[guzen]

人間が全部考えることができなくても証明したことになるのか？。