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