地図をどんな複雑な形でも4色で塗り分けられることを証明する「四色定理」。150年の歴史を持つこの問題に、6人の数学者が新しい証明を加えました。鍵は、これまで見過ごされてきた「平らな領域」に見つけた8202通りの配置。塗り分けにかかる計算時間も、大きく短縮されました。
〇The Four-Color Theorem Gets a Rare New Proof（Quanta Magazine、2026年9月10日）
https://www.quantamagazine.org/the-four-color-theorem-gets-a-rare-new-proof-20260910/
〇The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring（arXiv、2026年3月25日）
https://arxiv.org/abs/2603.24880
#数学 #四色定理 #四色問題 #グラフ理論 #数学史 #証明 #アルゴリズム #計算量 #平面グラフ #コンピューターサイエンス #離散数学 #サイエンス #科学ニュース #数学者 #未解決問題 #定理証明 #Lean #AI #教養 #雑学 #数学の翻訳家 #数学翻訳家 #組み合わせ論 #グラフ彩色 #地図の色分け
感想
まだ感想はありません。最初の1件を書きましょう！
スクロール