三省堂 大辞林

よんしょくもんだい 5 【四色問題】

「地図で、隣り合う国を異なる色で塗り分けるには最低何色必要か」という数学の証明問題。1840年にメビウス、1850年にガスリー兄弟が提出。ケーリーが79年に再提出。四色あればよいらしいことは経験的にわかっていたが、1976年ハーケンとアッペルにより大型コンピューターを用いて証明された。ししょくもんだい。