任意に平面上の地図が与えられた時に、
それを４色（以下）で塗りわけるアルゴリズムが存在するか？

（「塗り別けられる」、というのと、
「塗り別けを具体的に構成できるアルゴリズムがある」、
というのは精密化のレベルが違うのだ。）