dポイントと交換できるWelcome!スタンプをあつめよう
辞書
よんしょく‐もんだい【四色問題】
いかなる地図でも境界線を接する国々は4色で塗り分けられることを証明せよ、という数学の証明問題。1976年米国のW=ハーケンとK=アッペルが大型コンピューターで証明した。