出典:デジタル大辞泉(小学館)

いかなる地図でも境界線を接する国々は4色で塗り分けられることを証明せよ、という数学の証明問題。1976年米国のW=ハーケンとK=アッペルが大型コンピューターで証明した。