第6章 需要小修

「minor revision」意味著需要小修，只需要簡(jiǎn)單的修改一些地方，基本上沒(méi)有什么大的問(wèn)題。

當(dāng)時(shí)保羅為他找到的審稿人是哈密爾頓-阿倫德爾、杜森-奧布裏、布倫達(dá)-加德納。

這三位數(shù)學(xué)家在「n-p」、圖論方面上有著卓越的成果。

本質(zhì)上四色問(wèn)題屬于一個(gè)「n-p hard」問(wèn)題，即可用一定數(shù)量的運(yùn)算去解決多項(xiàng)式時(shí)間內(nèi)可解決的問(wèn)題。（1）

簡(jiǎn)單來(lái)說(shuō)，就是用四種不相同的顏色可以使同一張地圖上相鄰的國(guó)家著色，是一個(gè)常識(shí)，大家很容易用列舉來(lái)說(shuō)明這是正確的。

但是要用一種具體的具有邏輯的數(shù)學(xué)語(yǔ)言來(lái)說(shuō)明這個(gè)問(wèn)題非常的困難。

目前傾向于「n-p hard」問(wèn)題不存在精確算法。

而泰特正是運(yùn)用了近似算法證明四色問(wèn)題，他結(jié)合了前人的經(jīng)驗(yàn)，推陳出新，宋問(wèn)聲卻看出了其中的致命漏洞，那就是依舊無(wú)法解決肯普鏈纏結(jié)的問(wèn)題，這會(huì)使得為了解決問(wèn)題設(shè)計(jì)的圖形完全扭曲崩潰。

而宋問(wèn)聲的證明過(guò)程就是在泰特的基礎(chǔ)上，不局限在平面問(wèn)題，運(yùn)用匹配思想，從子問(wèn)題追根溯源，證明母問(wèn)題，然后反過(guò)來(lái)推導(dǎo)最極端的情況。（2）

即四色定理成立！

在接到兩篇需要他審的稿件的時(shí)候，布倫達(dá)自己的課題陷入了停滯狀態(tài)。

用盡了他目前所能想到的辦法都沒(méi)有用，一般這種情況，他是不會(huì)把自己關(guān)在房子裏拼命思考，而是選擇換換腦子。

聽聽音樂(lè)，要不然參加一下舞會(huì)，或者教授們的下午茶時(shí)間，或許也會(huì)偶有所得。

下午茶時(shí)間，格林戈那并不在。

布倫達(dá)還有些不太習(xí)慣。

格林戈那向來(lái)是個(gè)喜歡熱鬧的家伙，只要他在，無(wú)論是那個(gè)場(chǎng)合，格林戈那都是最活躍的那個(gè)，哪怕是開場(chǎng)稍顯沈悶的下午茶也會(huì)妙趣橫生。

現(xiàn)在格林戈那不在，他還有些奇怪。

“四色定理，那是一個(gè)多么沒(méi)有意思的東西，”邁克爾-埃森曼這么說(shuō)道，他臉上的胡子并不是定期打理，因此顯得有著粗狂，這和他牛仔一樣的脾氣和性格相似，“要我說(shuō)，這些古板的，追尋一個(gè)刻意見解的東西，時(shí)間不應(yīng)該浪費(fèi)在這上面?！?

布倫達(dá)喝了一口咖啡，“下午茶時(shí)間人數(shù)好像少了些，”他享受著陽(yáng)光照射在自己身上，“說(shuō)實(shí)話，我也收到了兩篇聲稱自己證明了四色定理的論文，你倒是提醒了我，等會(huì)我可以回去看看?！?

“真是瘋了，四色瘟疫難道還要流傳到普林斯頓來(lái)?！边~克爾-埃森曼嗤笑說(shuō)道。

“這正是它的魅力，從一百多年前，學(xué)生們就對(duì)這個(gè)問(wèn)題感興趣，現(xiàn)在顯然，它再一次成為了潮流?！辈紓愡_(dá)說(shuō)。

“相比于從一百億張照片裏尋找真理，現(xiàn)在的人難道不是更喜歡在arxiv的爭(zhēng)論當(dāng)中發(fā)現(xiàn)捷徑嗎？”另一位教授說(shuō)著說(shuō)著，自己也笑了起來(lái)。

在1976年以后，阿佩爾和哈肯史用計(jì)算機(jī)列舉了成千上萬(wàn)張圖片來(lái)證明四色定理成立，在之后西謬爾也利用更加先進(jìn)的計(jì)算機(jī)再次證明了四色定理。

現(xiàn)在的人爭(zhēng)論的是四色定理的標(biāo)準(zhǔn)數(shù)學(xué)證明應(yīng)該花落誰(shuí)家。

布倫達(dá)無(wú)奈笑著，“經(jīng)過(guò)你們這么一說(shuō)，我更加有興趣了，看來(lái)接下來(lái)的幾天，我是無(wú)法參加下午茶了?！?

他回到自己的辦公室，吩咐好自己的助手，讓別人不要打擾他之后，他開始了自己的工作。

關(guān)于四色問(wèn)題，他也有相當(dāng)多的了解，肯普鏈纏繞的問(wèn)題，到了他們這個(gè)層次需要花點(diǎn)心思，但還是可以看得出來(lái)，但是證明可就不一定的。

格林戈那沒(méi)有發(fā)話，按照他那好強(qiáng)的性格，肯定也是想要一舉證出四色問(wèn)題，畢竟泰特的證明也確實(shí)有些新意，將四色問(wèn)題的證明推進(jìn)了不少。

但是現(xiàn)在也許晚了。