计算机辅助证明

四色问题（Four Color Theorem） - 任何地图都能用4种颜色着色吗