よんしょくもんだい

デジタル大辞泉

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

読み方：よんしょくもんだい

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