四色定理に約30年ぶりの新証明、地図を4色で塗り分けるアルゴリズムが大幅に高速化

「四色定理」に対し、約30年ぶりの新証明が発表されました。コンピューターを利用しつつも従来とは異なるアプローチで、グラフの4色塗り分けアルゴリズムも大幅に高速化されています。