地图学上的经典问题，最多用四种颜色就可以渲染任何一幅地图