十色定理

3行要約

1. 平面上のいかなる地図も、隣接する領域が異なる色になるよう4色で塗り分けられる定理。
2. 四色定理のことであり、1976年にコンピュータを用いて初めて証明された。
3. グラフ理論の彩色問題の代表例であり、地図作成の理論的基礎として知られる。