四色定理

3行要約

1. いかなる地図も、隣接する領域が異なる色になるよう4色で塗り分けられるという定理。
2. 1976年にコンピュータを用いた膨大な計算により証明された。
3. グラフ理論における代表的な問題であり、数学史上でも有名な成果の一つである。