tsujimotter https://blog.hatena.ne.jp/tsujimotter/ tsujimotterのノートブック https://tsujimotter.hatenablog.com/ 数学 グラフ理論 四色定理 今日は 四色定理 についてです。 「どんな平面地図でも4色あれば塗り分けられる。」 とても単純そうな主張ですが、この問題の解決には長大な年月がかかりました。そしてついに証明され、現在では定理となっています。そのとき使われたのが、なんと コンピュータ でした。 しかし、ここで一つ疑問が湧きます。地図なんて無限に作れるのに、 どうやってコンピュータで証明するの？ 実は、四色定理の証明の面白さはまさにこの点にあります。今回は、数学者たちがこの難問をどのようなアイデアで解決したのか、その証明の概略を紹介したいと思います。 この記事は、2024年12月1日に公開した下記の記事の再編集版です。 主題を四色… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftsujimotter.hatenablog.com%2Fentry%2Ffour-color-theorem" title="四色定理の証明 〜コンピュータを用いていかに解決されたか - tsujimotterのノートブック" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/t/tsujimotter/20261002/20261002155133.png Hatena Blog https://hatena.blog 2026-10-02 17:19:11 rich https://tsujimotter.hatenablog.com/entry/four-color-theorem 1.0 100%