“？？？”
众人脑海中清一色的飘过问号。
场外援助？
节目还有这种操作？
主持人愣了下，一时间有点茫然，显然没有碰到过这种情况。
这时，耳麦里传来总导演张栋舟的声音：
“允许徐图的场外援助！”
张栋舟看着节节攀升的收视率，笑得合不拢嘴。
傻子才会拒绝，他巴不得把事情再搞大一点。
这都是活生生的收视率啊！
主持人收到命令，点头询问：
“徐教授，节目组同意了您的申请，不知道您想向谁申请援助？”
“我想打个电话回数科院，院里有一台超级计算机，只要有它，五分钟内我就能证伪四色问题。”徐图信心满满的说到。
在他的计划中，之所以没法反驳四色问题，是因为数据量太小。
只要利用反证法，先假设四色问题成立，然后借助超级计算机，找到“反例”的存在，那么四色问题不攻自破。
主持人看向方洲：“方洲选手，你的意思呢？”
“我都可以。”方洲风轻云淡道。
前世四色问题被提出后，经历了一百二十四年，才被伊利若斯大学的两位学者，借助计算机用了1200个小时，对1000亿张地图做了判断，才得以最终“证明”。
说是证明，其实仅仅是计算机的暴力堆量、穷数举例。
时至今日，也没人能给出令人信服的数论推导过程。
那层窗户纸，至今也没人能捅破，因此才被列为世界三大数学难题之一。
五分钟内证伪四色问题？
细狗，你行不行啊。
……
很快，徐图现场连线数科院。
为了照顾观众观感，节目组特意拨打了视频电话。
嘟~嘟~嘟~~
所有人聚精会神的等待接通。
不一会儿，视频上出现一个六十多岁的老者，鬓角花白，带着老花镜。
“小徐，怎么这个时间给我打电话，你不是……”
老者话语一顿，正好看到视频这一头的徐图，以及节目现场。
“是孙院士！竟然是龙科院的孙院士！”
“我的天！我看到活院士了，我们《概数》教科书就是他写的。”
“这是我们龙科大的老教授，毕业典礼上他给我拨过穗！”
“我毕业论文有六部文献是引用他的！[捂脸][捂脸]”
一看到老者出境，不少观众沸腾了。
龙科院，全称是龙国科学研究院，是整个龙国最顶级的科研殿堂，数科院也仅仅是其下属单位而已。
这位老者，是一位泰山北斗级的龙科院院士，同时也是数科院的副院长，在科研领域颇负盛名。
“老师，情况是这样的......”
徐图当即将情况复述一遍。
听完事情的来龙去脉，孙院士摘下自己的老花镜，脸上浮现好奇之色。
“数论这一块，你是咱们院里最顶尖的一批，连你都没办法独立证伪？”
“是例子太少，只要借助超算找出一例撞色的反例，四色问题不攻自破。”徐图苦笑道。
钱院士想了下，很快明白了徐图是要用反证法。
“好吧，不过院里正做着‘暴风引擎的数字优化’项目，能给到你的算力不多，不然会过载的。”
徐图点了点头，自家人知自家事。
他们院里的超算，是龙科院前些年淘换下来的，硬件已经有些老化，现在又是夏日炎炎，气温高，温控要求更严格，算力能省一分是一分。
不过徐图有信心，只要有超算的庞大算力加持，五分钟找出一个反例，轻轻松松。
钱院士来到操作间，在节目组的恳求下，将镜头对准了计算机屏幕。
那是三十二台显示屏组成的4x8大屏幕。
“小徐，你想要怎么设定？”钱院士问到。
徐图不假思索的说出要求：
“老师，帮我设定控制变量为红绿蓝黄四色，让计算机随机生成空白地图，然后做四色填充。”
“判定条件是相邻区域互补撞色，一旦同撞，则计算终止。”
“撞色结果保存为反例！”
钱院士一一按照徐图所说的设定参数，又修正了一些众人看不懂的选项。
忙活好一会儿后，钱院士确认道：“可以运行了！”
徐图点了点头，精神微微紧绷起来。
镜头前无数观众屏息凝神的盯着大屏幕。
钱院士按下运行按钮。
一瞬间，宽大的屏幕上，一张又一张区块数不同的空白地图随机生成。
30的、100的、200的、500的、1000的……
每种区块数的地图又有不同类型。
手机支付宝搜索P2zPYPB74GJ即可领取作者发的红包，赶快参与吧！
阅读模式无法加载下一章，请退出
来源4：feilu