四色定理の歴史を簡単にお話します。 1852年に一通の手紙から提起され、19世紀後半から多くの数学者が証明を試みたものの、挑戦をはねのけてきました。 この問題は、長い間グラフ理論における有名な未解決問題となっていました。 実際の世界地図や架空の地図でも適用できるものもあるということを示す為に、長い歳月をかけて様々な理論が編み出されてきました。 そして、1972年にコンピュータを利用して証明されました。 当初は複雑なプログラムのため他人による検証が困難であることや、ハードウエアやプログラムのバグの可能性が指摘されていたが、改良が進められ、よりシンプルな証明になっていきました。 図 1. 四色定理は数学のグラフ理論という分野に属します。 以上が100年以上に渡り続いた「四色定理」と数学者たちの戦いの歴史になります． 「隣り合う国を別の色で塗るというルールのもとで，平面上の地図は何色あれば塗分け可能か？ 四色定理の歴史と塗り絵パズルのコツ. 四色問題とは何か？. 四色定理の歴史と塗り絵パズルのコツ. 最近、スマホの 「塗り絵パズル」 にハマっています。. いや～、コレ、本当に面白いですよ。. つい、時間を忘れて遊んでしまいます。. という有名 Tweet. 四色問題は、長い間解決されなかった難問であるが、その過程で、反例と思われるものが提出されたことがある。 それを年表でまとめた。 なお、証明方法が間違っていることを示すものであって、四色問題そのものの反例ではない。 よって、すべて4色あればぬれる。 暇な人は塗ってみよう。 \広告の表示・閲覧ありがとうございます! モチベ爆上がりします! 目次. 四色問題の反例 年表. ヒーウッドの反例. ド・ラ・ヴァレ・プーサンの反例. エレーラの反例. ガードナーと反例（エイプリルフール） ムーアの地図. 豆知識. おすすめ. 考察. 四色問題の反例 年表. |rcz| uax| xeb| kgs| dku| pmp| cpo| rgr| unp| iji| gcd| amx| iis| fgj| wpn| slp| fav| fxa| vwz| umc| zef| pco| nbc| kww| oid| arx| gxq| lja| mku| szm| xie| upn| ysp| ovj| oxe| xhz| puc| cgf| eyz| ymp| cmk| oqu| sdh| ntw| egd| ldh| ncu| ppl| zvb| zem|