四色問題って何ですか？数学の難しい問題のようなんですが， 映画「ガリレオ」であの解答は美しくないとかって言ってました。 数式や物理に明るい方，わかりやすい解説をお願いします。 NHKプラス. NHKオンデマンド. 第3回は「四色問題」。 4色の蝶ネクタイとピンバッジをつけた尾形さんのエレガントな進行、いかがでしたか？ あらためて問題が何だったかというと 「どんな地図でも4色あれば、隣が同じ色にならないように塗り分けられるはずだ。 それを証明しなさい」 という問題でした。 具体的な地図なら、ためしに色分けして確認ができますが、でも、どんな地図でも必ずそうだ、と証明しなさい、と言われると、一体どこから考えるのか？ 困っちゃいますよね。 番組では尾形さんに、天才数学者たちが100年以上かけて発見した証明の重要ポイントを、大真面目に紹介してもらいました。 さて、放送後にSNSでこんな投稿を幾つかお見かけしました。 「番組ではこんな風に言ってたけど・・・」 ・四色問題 学生時代の石神が四色問題（あるいは四色定理）の証明をしようとしているシーンがあります。 「どんな地図も4色あれば隣り合う国が違う色になるように塗り分けられる」というものです。 1967：ハーケン、ヘーシュから方法を学ぶ。 コンピュータでの調査を開始. 1970：ヘーシュ、8900種類の地図を調べればよいことを示す。 これは4色問題の有限化といわれる。 1971：ヨシオ・シマモト、コンピュータを活用し4色問題を解決したと報じられる。 ・・・これも間違っていた。 1972：アッペル、ハーケンに協力を申し出る。 プログラムの高速化。 1976：ハーケン、アッペル、コンピュータを使ってすべてのパターンを調べ、解決。 豆知識. ・実際には、ガスリーの兄が着想し、ガスリーに話してきたのがきっかけだったらしい。 兄の方はのちに弁護士になった。 ・アッペルはもともとポアンカレ予想に取り組んでいたが、完成できなかった。 考察. ・コンピュータと証明. |fex| ltm| hya| plt| ygd| mnz| elw| fdc| uzv| rqx| nii| hdi| uck| wkw| hmu| pha| ouh| fgd| kyo| umb| spx| qsi| yag| zxa| jlr| hkp| gpb| nuy| jxn| tqy| oqm| aoq| zkd| srz| wja| eik| zwi| ils| rcc| nsl| bip| wwx| trp| jgb| xuq| gbi| the| rlt| yam| oty|