83、見(jiàn)證傳奇
西蒙鼻孔朝天,一臉得意地看著周明奕,然后突然想到什么似的,追問(wèn)道:
“我本來(lái)也沒(méi)想到真有人能證出來(lái),既然你做出來(lái)了,能不能再稍微麻煩一下,再講一遍,我組織全校教授來(lái)聽(tīng)講?”
有過(guò)一次經(jīng)驗(yàn)的周明奕倒也不吃驚,爽快應(yīng)道:
“沒(méi)問(wèn)題!都包在我身上吧。”
…………
周末,京大計(jì)算機(jī)教學(xué)研究室。
大廳里密密麻麻坐滿了人,老師和學(xué)生都有,其中不乏一些神龍見(jiàn)首不見(jiàn)尾的住在實(shí)驗(yàn)室的大佬。
全校稍微有點(diǎn)計(jì)算機(jī)水平的人全都趕來(lái)了。
甚至座位遠(yuǎn)遠(yuǎn)不夠承載如此多的人數(shù),不少人站在過(guò)道上,擠在門外。
然而報(bào)告仍未開(kāi)始,此刻臺(tái)上空無(wú)一人,只有黑漆漆的幕布高高懸在墻壁上。
所有人都在等這個(gè)人出場(chǎng)!
不少人在臺(tái)下竊竊私語(yǔ)。
“小張啊,你匆匆拉我來(lái)這里干嘛?我還有功課要做呢!怎么還不開(kāi)始呢?”
“別急??!這么多人都在這等著,你不差這一點(diǎn)時(shí)間,我聽(tīng)說(shuō)這次證明的是一個(gè)大猜想?!?p> “沒(méi)錯(cuò),據(jù)我所知,是一個(gè)計(jì)算機(jī)科學(xué)領(lǐng)域三十年懸而未決的公認(rèn)難題?!?p> “哦?誰(shuí)證出來(lái)的?關(guān)老師?他在哈佛讀的博士,年輕一代就他最有資格了?!?p> “哎呦,還真不是,據(jù)我所知,是一個(gè)數(shù)學(xué)老師,聽(tīng)到這個(gè)猜想后不到五分鐘,一不小心就證出來(lái)了?!?p> “還真是不小心??!”
…………
未等太久,一個(gè)瘦削的年輕老師疾步而來(lái),臉上浮現(xiàn)出親切的笑容,他歲數(shù)這么小是許多人沒(méi)曾想到的。
“久等了!各位?!敝苊鬓惹飞硇卸Y后,掏出一疊文簿,推了推眼鏡,斯斯文文的樣子贏得了不少人的好感。
“那我就不多廢話了,咱們直接開(kāi)始!”
“或許有人已經(jīng)提前得知了,我這次報(bào)告的主題即是布爾函數(shù)敏感度猜想!”
此話一出,宛如拋出一顆炸彈,炸開(kāi)了觀眾席。
能坐在這里的,多少都對(duì)信息科學(xué)的理論有所侵淫,這個(gè)被稱為敏感度猜想的問(wèn)題探討了計(jì)算機(jī)邏輯基本組成部分的結(jié)構(gòu)。
此時(shí)臺(tái)下,正在讀研究生的王平攤開(kāi)了手,嘆了一口氣,仿佛看開(kāi)一般,
“我已經(jīng)做好了什么都聽(tīng)不懂的準(zhǔn)備了,迎接大佬的洗禮?!?p> 與之互為同學(xué)的李川則樂(lè)呵呵的道:
“你還沒(méi)習(xí)慣嗎?我從交大考入這里,每天都被同一批的研究生反復(fù)碾壓折磨,連骨頭都磨成渣了……更可氣的是,那幫小屁…本科生,都他娘的比我強(qiáng)?!?p> 王平眉頭翹了翹,宛如一條咸魚(yú),坦然相待,
“沒(méi)事,大佬的話,我只要能聽(tīng)懂一句,就算成功??!”
就在這時(shí),周明奕也剛剛介紹完引言,準(zhǔn)備正式步入證明階段。
看著臺(tái)下一個(gè)個(gè)畏懼而又視死如歸的眼神,周明奕輕松地笑了笑,解釋道:
“大家不必過(guò)于緊張,也許你們大多數(shù)人覺(jué)得一個(gè)人盡皆知,三十年懸而未解的問(wèn)題,要么冗長(zhǎng)而枯燥,要么非常深?yuàn)W,要么……”
周明奕特意頓了頓,調(diào)侃道:“要么又冗長(zhǎng),又枯燥,又非常深?yuàn)W?!?p> 一些本來(lái)緊張兮兮的學(xué)生聞言也笑了笑,原先緊緊繃住的氣氛此時(shí)也緩和下來(lái)。
看到臺(tái)下明顯放松一些的學(xué)生,周明奕滿意地點(diǎn)點(diǎn)頭,緊接著說(shuō)道:
“當(dāng)然,我的證明是一個(gè)意外?!?p> 周明奕聳了聳肩,用滿不在乎地語(yǔ)氣道:“唔,我覺(jué)得學(xué)過(guò)高代的人都能聽(tīng)懂,也就是說(shuō),通過(guò)我這一次四十分鐘的講座,我希望每個(gè)人都能戳穿這個(gè)……紙老虎!”
“下面,我們就開(kāi)始吧!”
“首先,布爾函數(shù)代指的是將一串輸入比特轉(zhuǎn)化為一個(gè)輸出比特的規(guī)則,舉個(gè)例子……”
“既然大家弄懂了布爾函數(shù),下面我們來(lái)定義猜想的核心理念,敏感度!”
“所謂敏感度,很簡(jiǎn)單,指的是……”
王平一邊聽(tīng)一邊點(diǎn)頭,念念有詞道:
“嗯,這個(gè)猜想很有名,我之前預(yù)習(xí)過(guò),下面該講證明了,我已經(jīng)做好了全程懵逼的準(zhǔn)備了!”
李川一臉凜然,宛如奔赴沙場(chǎng)的戰(zhàn)士,慷慨高吟道:
“Me Too!”
周明奕當(dāng)然不會(huì)這兩個(gè)人的吐槽,不受影響地接著寫(xiě)道:
“我的想法是,把網(wǎng)路上抽象的算數(shù)問(wèn)題轉(zhuǎn)化為一個(gè)代表兩點(diǎn)是否相連的矩陣……矩陣大家應(yīng)該沒(méi)什么問(wèn)題。”
周明奕略微想了想,補(bǔ)充道:“學(xué)理科的應(yīng)該都讀過(guò)近代?!?p> “然后,我借用了下面這個(gè)定理?!?p> 他說(shuō)著的同時(shí),后方的電子熒屏上顯示出框架狀結(jié)構(gòu)。
【柯西交錯(cuò)定理】
緊跟著的是一道清晰明了的命題,解釋了上述定理的具體內(nèi)容。
臺(tái)下的教授們無(wú)不聚精會(huì)神地觀望著屏幕里的內(nèi)容,這個(gè)定理顯然占據(jù)了證明的主體內(nèi)容。
周明奕斟酌了下,緩緩道:“這個(gè)定理算是很基礎(chǔ)的定理,也很好證,但我覺(jué)得在這聽(tīng)講的大部分人都知道……”
“所以,如果你實(shí)在不知道這個(gè)定理,又很想搞明白這個(gè)細(xì)節(jié),儂,名字?jǐn)[這了,回去查百度,然后現(xiàn)在的話……你就當(dāng)一個(gè)黑匣子來(lái)用吧!”
黑匣子的解釋非常廣泛,如果特指在學(xué)術(shù)領(lǐng)域,它的意思是把一個(gè)非常難理解,卻又不得不使用的定理,當(dāng)作已知條件,順著推理下去。
“有了上面這個(gè)定理,接下來(lái)的證明就順?biāo)浦哿耍镁仃嚨奶卣髦怠?p> 周明奕飛速講解著,不一會(huì)PPT就走到了最后一頁(yè),他好似玩弄著小孩子的積木玩具般,輕松愉快道:
“這就證明完了!”
“這就證明完了?”
王平略顯茫然地重復(fù)道?!熬瓦@么簡(jiǎn)單?輕輕松松就拿下了?我都沒(méi)反應(yīng)過(guò)來(lái)。”
坐在一旁的李川則十分激動(dòng),聲音發(fā)顫道:
“臥槽?我真不敢相信剛剛見(jiàn)證了什么。我居然也能聽(tīng)懂講課了?”
啪…啪…啪
仿佛后知后覺(jué)般,掌聲再度響起,報(bào)告廳的所有人都站了起來(lái),莊重而熱烈地鼓掌。