“可是现在给的方向和乔院士之前的研究方向不太一样啊？看上去恐怕还要用到超级计算机进行验算，时间催的这么紧，不太好办啊！”刚才说话的王浩宇还在琢磨原因。

数学研究中使用到计算机的历史源来已久，著名的四色定理就是依靠计算机才得以最终解决。

这一定理通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。

听起来很简单不是么？当这一猜想