エレファントな証明 四色問題
四色定理( Four-color theorem) は、地図の塗り分け方から発生したグラフ理論に関する定理で、証明されるまでは”四色問題”と呼ばれていました。そのため、いまだに”四色問題”として認識されています。この定理は、「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理です。ただし、この定理では”同じ国の飛び地”は考慮していません。そのため、もう少し厳密に表現すると「境界線によって囲まれたいくつかの領域からなる平面図形が