Computer-Assisted Proof

四色問題（Four Color Theorem） - どんな地図も4色あれば塗り分けられるか