4.11 计算机“帮忙”解决四色问题