2005年9月的北京,秋意未至,暑氣尚存。
清華大學紫荊公寓2號樓,312宿舍。
林天坐在那張略顯狹窄的硬板床邊,手裡拿著一張剛剛領回來的課程表。窗外,知了還在不知疲倦地叫著,吵得人心煩意亂。
那張薄薄的A4紙上印著密密麻麻的課程名稱:
《計算機科學導論(全英)》——授課:姚期智
《離散數學》
《高等代數與幾何》
《大學物理B》
……
尤其是第一行那個名字——姚期智。那是圖靈獎得主,是計算機科學界的泰山北鬥,是無數CS學子心中的神。
“嘿,林天,發什麼呆呢?第一節課可是姚院士親自講,去晚了連站的地方都冇有。”
說話的是林天的上鋪,周宇。這哥們兒來自湖北黃岡,一個盛產“做題家”的地方。他頂著一頭亂蓬蓬的雞窩頭,手裡正捧著一本全英文的大部頭教材《Introduction to Algorith(演演算法導論)》,嘴裡還叼著半塊冇吃完的乾脆麵。
周宇是個奇人。據他自己說,他高考理綜隻扣了2分,而且從來不玩遊戲,唯一的愛好就是在草稿紙上推導數學公式。
”。吧走“:來起站,裡包布帆的樣字”學大華清“著印個那進塞表程課把,氣口一吸深天林
。眼的慕羨是全圍周GB帶自彿彷,裡園華清在走它上穿。服子弟的派門尖頂裡說小俠武是像就,了炸帥服這得覺他時當,的發天那到報是這。案圖機靈圖的構式公法算演的雜複由個一——ogoL的班姚著印口,衫化文的紫深件那了上穿意特他
。慌得勒點有服件這得覺卻天林,上路的)樓學教六第(教六往去在走,刻此但
。汰淘界世個這被會就秒一慢彿彷,”忙匆“著寫都上臉的人個每。書了滿塞裡筐車,快飛得踩下腳們他在槓大八二的舊破些那,生學的車踏腳著騎是都到上路。路迷人讓得大,大很園華清
。線格及是秀優,態常是力努,裡這在。場氣的府學高最國中是就這
。的課蹭來校外不有還至甚,生學的係院他其的來而名慕多很有還,上在生學的班姚是僅僅不課節這但,人百兩納容能室教梯階間這。人了滿坐經已麵裡,候時的室教進走宇周和天林
。置位個兩了到找裡落角排後在易容不好們他
。論討聲低在生男個兩排前見聽就,本記筆出拿剛天林
”。)時超,dedeecxE tiL iT(ELT次三我了卡,啊坑點有料資?嗎了CA你題論圖道那的刷上JOP在晚昨,哎“
”。點一簡再能還程方移轉態狀的我覺,劃規態道那的上redoCpoT究研在正在現我。行就下一化佳最微稍AFPS用,法算演artskjiD用不實其。了過早?啊個那“
。僵一微微手的筆握天林
?AFPS?redoCpoT?JOP
。之學數和率效法算演的致極是的求追,的在存而題解了為是碼式程,裡子圈個那在。湖江的跡混們神大的)賽競計設式程生學大際國(CPCICA搞是那,過說聽他詞名些這
。想構的空行馬天些那的輯邏層底戲遊對他是,”統係理管題錯“的陋簡個那的發開而數分計統師老楊幫了為他是,種變蛇吃貪的來出寫++C用他是?麼什是的傲為以引天林,中高在而
。玩的”科兒小“是至甚,”用應程工“是算能隻概大,西東些那的他,裡眼神大賽競些這在
”。下一過借,學同“
。緒思的天林了斷打音聲個一
。醒睡剛是像,忪惺些有神眼,還宇周比髮頭生男個那。道過過正生男的包肩雙著揹、鞋拖著穿個一見看,頭抬他
。了住愣天林
。立陳的中說傳
。覺補始開就下趴後然,扔一上桌往包把,”座專霸學“的坐敢人冇常通個那——置位的間中最排一第到走直徑他,天林到意注冇全完乎似立陳
。怪不怪見此對乎似人的圍周
。拜崇是滿裡氣語,鏡眼推了推宇周的邊旁”。業作用不以可他批特士院姚,文論議會級頂了發就二大他說聽?吧神大立陳是那“
。斷被要乎幾筆的裡手,勺腦後的立陳著盯地死死天林
?嗎距差是就這,來原
。道足不微舊依,前麪人的峰巔學在站經已些這在,前麵立陳在但。元狀科理省全是,”神“的拜人是中一城江在他
。了響鈴課上
:詞單文英的單簡個一了下寫上板黑在,筆支一起拿是隻,TPP啟開有冇也,義講何任帶有冇他。臺講上走者老的鑠矍神但髮銀頭滿位一。來下靜安間瞬裡室教
)算計(noitatuoC
”。班姚到來迎歡,們學同“
。雅儒的者學種一著帶,力有而和溫音聲的士院姚
”。事的教校技翔藍是那碼式程寫。碼式程寫麼怎們你教不們我,裡這在“
。聲笑的意善陣一起響下臺
”。遍一走新重,印腳的他著沿們我,天今。機算計了有以所,題問個這了通想年6391在靈圖?決解被能不能題問個一了定決麼什是?輯邏了生產片晶基矽堆一讓麼什是。質本的算計是,的學要們我“
姚院士轉身,開始在黑板上板書。
冇有具體的程式語言,冇有C++的語法,也冇有Java的物件。黑板上出現的,是一串串抽象的數學符號,是一個個由狀態機組成的邏輯圖。
“假設我們有一條無限長的紙帶,一個讀寫頭……”
林天緊緊地盯著黑板。起初,他還能跟上。這是圖靈機的基本模型,他在暑假裡自學過一點。
但隨著課程的深入,那些符號開始變得陌生而猙獰。
“P類問題”、“NP類問題”、“停機問題”、“哥德爾不完備定理”……
這些概念瞬間淹冇了林天。他感覺自己不再是一個程式設計師,而是一個正在試圖理解宇宙終極奧義的小學生。
那些他引以為傲的程式設計技巧,那些關於迴圈、判斷、指標的操作,在這裡完全派不上用場。這裡討論的是純粹的邏輯,是數學的哲學。
他轉頭看了一眼同桌的周宇。
這傢夥正兩眼放光,手中的筆在紙上飛快地推導著公式,嘴裡還唸唸有詞:“妙啊……原來可以用集合論來解釋這個狀態轉移……”
而前排那個趴著睡覺的陳立,不知道什麼時候坐了起來,他冇有記筆記,隻是託著下巴看著黑板,時不時微微點一下頭,彷彿在和姚院士進行某種無聲的對話。
林天低下頭,看著自己筆記本上那幾行零碎的甚至拚寫錯誤的單詞,一種巨大的恐慌感襲上心頭。
他聽不懂。
。懂不聽的真他但,分滿綜理,元狀科理省全是他
。力有更得揮頭拳把麼怎究研在還他而,則法道天論談、行飛劍在都家人。界世的仙修個一了進扔被然突,手高的拳家外子輩一了練個一是像就這
。絕人讓更都利失試考何任比,擊打維降的上度維種這
。長漫比無得變中熬煎的天林在,間時的課節一
。了溼全背後,樣一來出撈裡水從剛是像己自覺天林,時起響於終鈴課下當
。天林問頭轉,包書著拾收地興宇周”!了神直簡程過約歸個那得覺我?嗎了懂聽你,明證的題問全完PN於關個那的講士院纔剛,天林,哎“
。張了張天林
。容笑個一出強勉他”。下一化消再要還……我“
。暈眩人讓得眼刺的麵外,樓學教出走
。邊塘荷的華清了到走地噩噩渾渾人個一他。堂食去有冇也,舍宿回有冇天林
。水池的濁渾那有隻裡眼刻此天林但。很景風,方地的》月塘荷《寫清自朱是裡這
。QQ啟開地練,蓋開,機手07N亞基諾的買剛學大上了為部那出拿他
。”師老楊“是人絡聯的頂置
:字行一下打裡框輸在他
”。懂不聽本我。了強太們他。行不我得覺我,師老“
。著抖,上鍵”送傳“在懸指拇
。話句那的說膀肩的他著拍宇明楊起想他
”。小更得己自把而小渺為因你是的怕。怕可不這但。小渺很己自現發會你,學大了到,天林“
”。慫能不但,輸以可,人的班41們我。的來出走班41是你,住記“
。氣口一了吸深,睛眼上閉天林
。意涼的秋初一有還,香清的葉荷著帶中氣空
。字的裡框輸了掉刪個個一他
:送發擊點,字行一了輸新重他,後然
”。樣一戲遊個那定搞年當像就。的它定搞會我但,奧深很課的士院姚,師老“
。利銳得變新重目,眼開睜天林,機手上合
?嗎學數是就不?嗎機靈圖是就不
?死嚇式公個幾被會還道難,元狀省考一第數倒校全從能年當子老
”。宇周“
。友室的麵前了上追步快,轉天林
”。冊註麼怎我教教晚今,redoCpoT個那的說你,有還?看看記筆我借能不能你,明證的題問PN個那纔剛“
”!麵冷烤的門西吃要我,宵夜吃我請得你過不!啊行“:容笑的厚憨個一了出,下一了愣宇周
”!蛋個兩加,題問冇“
。長很得拉被子影的年個兩,下夕