第四章 哈罗德的刁难问题（2/2）

妮蒂亚说完，见肖恩一脸跃跃欲试的样子，忍不住浇了盆冷水：“据我所知，已经两年没人能答对题目了，上次答对的学长如今都是二级奥术师了。”

“我明白，感谢你的消息。”

说完。肖恩将垃圾装好，然后弯腰提着工具离开了灌木丛。

看着他的背影，妮蒂亚撇了撇嘴，然后想起自己的分数，又长叹了一口气。

……

打扫任务很简单，但时间却不短。

天色渐晚。黄昏染红云霞，阿尔顿学院的学生回了宿舍，准备进入冥想屋冥想，校园顿时冷清了不少。

肖恩把工具返还，连职工衣服都没来得及换，就按照打听好的位置，去副院长哈罗德的办公楼。贝丝的事情他想尽快解决。她融合了大量幽灵，暂时无碍，但说不定有隐患。

目前看来，贝丝醒来后，变得比以前还嗜睡。

办公楼是二层小楼，位于学院深处，是灰黑色的哥特式建筑，房檐上倒挂着小蝙蝠，蜘蛛网落满角落。肖恩走上台阶，轻轻推门进了小楼。

进门是一个大厅，温馨、诡异，两种不同的感觉同时在肖恩心中浮现。大厅是暖色调，皮毛家具搭配明亮光线，很温馨，但墙壁上挂的人体器官和骨架在阴影中晃动，诡异不已。

可能是时间晚了，可能是主人难见，大厅没有一人，肖恩在周围转了转，很快看到墙上挂着一个醒目的黑板，黑板上写着一道题目：

“请证明：任何一张平面地图，只用四种颜色就能使具有共同边界的国家着上不同的颜色。”

在看到这个熟悉题目的瞬间，肖恩差点调头就走，同时忍不住暗骂：“居然是四色问题，看来哈罗德根本没打算让人解开题目见他。”

这个看似简单的问题，可是地球著名的三大猜想之一，而且是其中唯一不能简短证明的问题。

没错，这个猜想虽然被证明，但却是利用庞大到不可思议的推算证明的，只能利用庞大数据判断来证明猜想的正确，而不存在简洁明快的书面证明方法。

恐怕要魔导师，甚至是传奇魔法师才能完成这道题目的证明。

我要是能请到传奇魔法师帮忙，还需要来这里吗……肖恩满头黑线的叹了口气，垂头丧气的转身。

刚走出两步，肖恩忽然停住脚步，眼睛一亮。这道题可是百年难题，魔法议会也不一定得出了证明，这样一来，只要写一个貌似是对的，而错误短期很难被发现的答案，骗他几天就行了。

数学嘛，证明漏洞是难免的，但找出漏洞也不容易。

想到这里，肖恩嘴角挂起笑意，走到黑板前在题目下写：

“要证明四色猜想，只要证明不存在一张五色地图就足够了。

利用反证法，假设有五色地图，就会存在国数最少的‘极小五色地图’，如果极小五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在五色地图了。”

写完后，肖恩大致看了一下没有错误，就放下笔，坐到沙发上等待起来。

……(未完待续。)

本书来自