第一百三十章 上帝不擲骰子
第130章 上帝不擲骰子
他把目光從窗外收回來，看著陸沉，「去年霍夫曼去海德堡招攬你，被你拒絕了，他回來以後跟我說，那個中國孩子有一個課題組，說的時候語氣很複雜，我從沒見過霍夫曼用那種語氣評價一個人，現在我明白了，你拒絕的不是更好的實驗室、更多的經費，你拒絕的是一人獨行，你更想要一群人並肩。」
下午，戴維帶陸沉參觀研究院的圖書館。
圖書館不大，但藏書極精。
地下書庫里一排排鐵灰色書架延伸到視線盡頭，空氣里瀰漫著舊紙張和皮革封面混合的氣味。
戴維從書架上抽出一本1945年出版的《數學年刊》合訂本，翻到一頁泛黃的論文赫爾曼·外爾寫的《關於拓撲與代數的一個統一框架》。
他把論文遞給陸沉。
「薩納克教授讓我把這個給你看，他說，1945年，外爾在這個框架里畫了一張圖，1991年，你在BJ畫了另一張圖，他要我帶你來看，讓你知道你不是第一個試圖把數學統一起來的人，但你是第一個在用巨型機和並行算法去做的。」
陸沉接過那本合訂本。
紙張很脆，邊緣一碰就掉渣。
外爾在這篇論文裡畫了一張示意圖一代數和拓撲之間用一條粗線連接，旁邊標註著一個當時還沒有被證明的猜想。
那個猜想後來被證明是錯的，但外爾畫出的那條線，啟發了整整一代數學家。
他把合訂本輕輕合上，放回書架。
下午餘下的時間，薩納克帶陸沉參觀了富爾德樓的其餘部分。
走廊里舖著暗紅色的地毯，走上去沒有聲音。
薩納克在一扇關閉的門前停下，指了指門上的銅牌愛因斯坦。
愛因斯坦在這棟樓里工作了二十多年，直到去世。
他推開門，裡面是一間不大的辦公室，陳設保持著原樣——一張木製書桌，一把轉椅，牆上掛著一塊小黑板，上面還留著幾行粉筆字，是愛因斯坦的手跡，寫的是一個關於統一場論的不完整方程。
「愛因斯坦說過一句話，」薩納克站在門口，沒有走進去，「他說，上帝不擲骰子，但他真正想說的是，這個世界應該有一套統一的規律，數學的任務就是找到它，你在做的事情，某種意義上就是找這套規律，不是用哲學去找，是用圖論、拓撲、並行計算去找。」
他看著陸沉。
「將來如果有一天，你想來普林斯頓，不是來讀學位，也不是來接受NSF的資助，而是作為訪問學者，帶著你自己的課題組，帶著你們在中國跑出來的數據和方法，來和我們的團隊做聯合攻關，高等研究院的門對你敞開，不是因為你是滿分金牌，是因為你畫的那張圖。」
走出富爾德樓時，普林斯頓的暮色正在降臨。
冬天天黑得早，還不到五點，西邊天空已經泛起一層淡紫色的暮靄。
戴維開車送他們回火車站，陸沉坐在副駕駛座上，看著窗外掠過的普林斯頓小鎮。
老書店、咖啡館、白色尖頂教堂，每棟建築都像從十九世紀的版畫裡走出來的。
戴維在車上沒怎麼說話，只是在等紅燈的時候忽然開口。
「薩納克教授今天破例了。」
「什麼破例？」
火車站的月台上，二月的風從德拉瓦河方向吹過來，冷得人直縮脖子。
（由於緩存原因，請用戶直接瀏覽器訪問 讀好書選 TW 看書網，𝚜𝚑𝚞.𝚝𝚠超省心 網站，觀看最快的章節更新）
戴維把羽絨馬甲的拉鏈拉到最高，和陸沉握了握手，又遞給他一個信封。
「薩納克教授讓我交給你的，裡面是他關於引理7的初步手稿複印件，他說，等你回國以後，如果引理7b遇到困難，可以寫信來，他有幾個思路來不及推完，但也許對你的團隊有用，他不是要指導你，是要和你的課題組合作。」
陸沉接過信封。
信封沒有封口，裡面是一疊對摺的列印紙，紙邊潦草地寫著一些公式和批註。
最後一頁的末尾，薩納克用鉛筆寫了一行小字：「致陸沉與你的課題組—一這扇門不關。P.S.」
火車緩緩啟動，普林斯頓的燈光在車窗外交錯後退。
陸沉把信封放進隨身書包里，和霍夫曼那份資助方案副本、索科洛夫EIbrus—1上電成功的確認函放在一起。
他翻開便簽本，在畫滿橋的那一頁，在華盛頓節點旁邊又加了一個新節點，普林斯頓o
從普林斯頓出發，他畫了一條實線，穿過後續數頁上那些還很空曠的待填位置，一直延伸向第五站圓圈中那個孤零零的詞舊金山。
從普林斯頓到波士頓，考察團繼續坐火車。
孫處長在月台上清點人數時，特意把陸沉叫到一邊，遞給他一份剛從國內傳真過來的文件。
文件抬頭印著國家信息基礎設施數學基礎聯合課題組的紅字，下面是何巍的筆跡不是信，是一份簡短的進展報告，通過國防科大的傳真線路轉發到華盛頓，再由使館的工作人員送到孫處長手裡。
「何巍發來的，」孫處長說，「新西伯利亞那邊進展很快，程鋒的圖蘭構造性算法在EIbrus—1上跑通了第一輪並行驗證，性能數據比預想的更好，索科洛夫已經在安排第二輪大規模測試。」
陸沉接過傳真件。
何巍的字跡還是那麼用力，每一筆都像用刀刻的。
報告末尾加了一行個人的話：「索科洛夫老師說，EIbrus—1的第一個用戶的位置，他給你留到今年年底，程鋒說，他在機房裡待了三十六個小時沒出來，出來的時候西伯利亞的雪已經下到膝蓋了。」
火車在波士頓南站停靠時，已經是下午兩點。
波士頓的二月比華盛頓更冷，大西洋吹來的海風帶著一股咸腥的潮氣，把車站頂棚上的積雪吹得簌簌往下掉。
來接站的不是學者，不是政府官員，是一個穿著MIT衛衣的年輕人，二十出頭，平
頭，手裡舉著接站牌，上面寫著一行歪歪扭扭的中文：「歡迎中國考察團。」
「我叫邁克，MIT計算機科學實驗室的博士生，」他用英語說，語速極快，像是習慣了在有限時間內塞進儘可能多的信息，「施瓦茨教授讓我來接你們，他在實驗室等，今天下午安排了三項參觀內容：人工智慧實驗室、並行計算中心、計算機網絡實驗室，晚上有一個小型學術交流，MIT數學系和計算機系的幾個教授都會來。」
他把接站牌夾在腋下，從口袋裡掏出一張摺疊得整整齊齊的地鐵線路圖，開始講解波士頓的地鐵系統紅線、綠線、橙線、藍線，每一條線的走向和換乘站。
周大校在旁邊聽著，眉頭越皺越緊，最後打斷他：「我們坐車。」
邁克愣了一下，然後不好意思地抓了抓後腦勺：「對，對，坐車，習慣了給學生講怎麼省錢坐地鐵。」
MIT的校園和普林斯頓完全不同。
沒有哥德式的尖塔，沒有爬滿常春藤的紅磚樓，只有一大片灰色的混凝土建築，方方正正，像一塊塊疊在一起的巨型積木。
走廊里貼著各種學術海報和社團招新廣告，牆角的自動售貨機閃著可口可樂的紅色標誌。
空氣里混合著咖啡、松香焊錫和舊書的氣味，每隔幾米就有一台終端亮著綠光屏幕，上面跑著各種代碼。
施瓦茨教授的實驗室在人工智慧實驗室的二樓。
推開門，陸沉看到的不是整齊的實驗台，而是一片有序的混亂一幾台工作站並排放在長條桌上，屏幕上是各種數據流和代碼，白板上畫著神經網絡的結構圖，地上散落著幾本翻開的論文預印本。
一個頭髮亂蓬蓬的中年人正彎腰調試一台機器後面的線纜。
他直起身，扶了扶眼鏡，露出一個很有力度的笑容。
「歡迎，」施瓦茨說話比邁克更快，但每個字都咬得很清楚，像是習慣了在噪音環境裡交流的人練出來的本事，「我們在做下一代網絡協議的原型驗證，正好碰到一個棘手的數學問題，你們在國內做的交換網絡仿真模型，我們在IEEE的論文裡看到了，用的方法很新穎。」
他把陸沉領到一台工作站前面，屏幕上顯示著一個網絡拓撲圖的仿真結果。
圖的節點密密麻麻，連線交錯成一張巨網，每個節點上標註著數據傳輸的延遲和丟包率。
「問題是這樣的，」施瓦茨調出一個子圖，放大，「當網絡規模擴大到一定量級之後，傳統的路由算法會出現擁塞振盪，流量在兩條路徑之間來回波動，穩定不下來，我們試了好幾種方法都沒解決，你們的仿真模型里好像有一套處理這種振盪的數學框架？」
陸沉看著屏幕上那張圖和跳動的數值。
這個問題他見過。
前世在網絡協議開發的文獻里，這種擁塞振盪被稱作路由抖動，本質上是分布式系統的反饋環路延遲導致的非線性動力學行為。
1991年，這個問題的完整數學框架還沒有被建立起來，但他在課題組做交換網絡仿真時，王雪松曾經在銀河—上跑出過一組類似的數據，後來被顧小北用收斂性引理證明了在整數容量網絡中的有限步收斂性質。
「這個振盪的本質不是路由算法的問題，」陸沉說，「是分布式反饋環路的相位延遲，當網絡節點的排隊延遲和路由更新周期之間的比值超過某個閾值時，系統會進入一個極限環。」
他在白板上畫了一個簡化的反饋環路模型，標註了三個關鍵參數，排隊延遲、更新周期、鏈路容量。
然後他在三個參數之間畫了一個不等式。
「如果這個不等式成立，系統收斂，如果不成立，系統進入極限環振盪。」
施瓦茨盯著那個不等式看了很久，然後從口袋裡掏出一支筆，在不等式旁邊補了一個邊界條件的推導。
他寫得很慢，和薩納克那種跳躍式的寫法完全不同—每一步都交代得清清楚楚，每一步都要回頭檢查前一步的前提是否還成立。
「如果在這個不等式里加入鏈路容量的動態變化，就是當網絡流量變化時，鏈路可用帶寬也在實時變化，這個邊界條件還能不能成立？」施瓦茨問。
陸沉想了想。
「不能，因為鏈路容量變成動態變量之後，不等式的右邊就不再是常數了，但可以把它轉化成一個微分不等式，用李雅普諾夫函數來證明漸進穩定性。」
他在白板上接著寫下去，把原來的代數不等式改寫成微分形式，構造了一個李雅普諾夫函數，然後給出了漸進穩定性的充分條件。
寫完最後一個符號，他轉過身。
施瓦茨還站在白板前面，手裡的筆懸在半空，嘴唇微微懦動，像是在把剛才的推導從頭到尾在腦子裡重新跑一遍。
邁克在旁邊已經看呆了。
他不是沒見過厲害的數學家，沙利文教授就在樓下。
但他沒見過一個十二歲的孩子在白板上隨手寫出李雅普諾夫穩定性判據，像在黑板上默寫乘法口訣一樣自然。
「你們在中國，平時就是這麼討論問題的？」邁克問。
方宜民在後面低聲蹦出一句：「這不是討論，這是日常。」
施瓦茨終於放下了筆。
他退後一步靠在實驗台邊沿，抱起雙臂，像薩納克一樣看著白板上的推導。
但他說的話和薩納克完全不同。
「這個結果，如果經過嚴格的數值驗證，可以寫成一篇論文投到INFOCOM，」他說，「INFOCOM是網絡領域最頂尖的學術會議，明年在舊金山舉辦，如果你有興趣，可以把你剛才給出的極限環條件作為獨立投稿。」
INFOCOM。
陸沉前世聽過無數次這個名字——全球網絡與通信領域最具影響力的學術會議之一，每一屆的論文接收率不到百分之二十。
1992年，INF0C0M將在舊金山舉辦，正是這次美國之行的最後一站。
施瓦茨說：「如果你願意投，我可以幫你聯繫組委會，學生投稿和正式學者同等對待，不因為你的年齡而有任何差別，順便說一句，我剛在門口聽你和邁克聊普林斯頓的事，你說薩納克教授收下了你的推導，他是世界頂尖的數論與組合數學家，他的嚴格是出了名的，他能認可這個框架的數學核心，意味著它站住了。」
邁克在旁邊舉手，像課堂上想發言的學生：「我補充一句！沙利文教授現在很少親自
帶人調試原型機了，他從這個項目一開始就關注網絡安全模塊的數學基礎，上周討論會上還提到你們的何—周引理，他說這套算法的性能曲線幾乎貼近理論界，所以今天他看到你本人在原型機上跑出來的結果，才會直接提INFOCOM的事，他不是在客套，他很認真。」
陸沉看向施瓦茨，點了點頭。
「INFOCOM的投稿我會認真準備，如果可能，我會把國內仿真系統的部分數據納入數值實驗部分那套系統已經在八縱八橫主幹網上驗證過了。」
>
他把目光從窗外收回來，看著陸沉，「去年霍夫曼去海德堡招攬你，被你拒絕了，他回來以後跟我說，那個中國孩子有一個課題組，說的時候語氣很複雜，我從沒見過霍夫曼用那種語氣評價一個人，現在我明白了，你拒絕的不是更好的實驗室、更多的經費，你拒絕的是一人獨行，你更想要一群人並肩。」
下午，戴維帶陸沉參觀研究院的圖書館。
圖書館不大，但藏書極精。
地下書庫里一排排鐵灰色書架延伸到視線盡頭，空氣里瀰漫著舊紙張和皮革封面混合的氣味。
戴維從書架上抽出一本1945年出版的《數學年刊》合訂本，翻到一頁泛黃的論文赫爾曼·外爾寫的《關於拓撲與代數的一個統一框架》。
他把論文遞給陸沉。
「薩納克教授讓我把這個給你看，他說，1945年，外爾在這個框架里畫了一張圖，1991年，你在BJ畫了另一張圖，他要我帶你來看，讓你知道你不是第一個試圖把數學統一起來的人，但你是第一個在用巨型機和並行算法去做的。」
陸沉接過那本合訂本。
紙張很脆，邊緣一碰就掉渣。
外爾在這篇論文裡畫了一張示意圖一代數和拓撲之間用一條粗線連接，旁邊標註著一個當時還沒有被證明的猜想。
那個猜想後來被證明是錯的，但外爾畫出的那條線，啟發了整整一代數學家。
他把合訂本輕輕合上，放回書架。
下午餘下的時間，薩納克帶陸沉參觀了富爾德樓的其餘部分。
走廊里舖著暗紅色的地毯，走上去沒有聲音。
薩納克在一扇關閉的門前停下，指了指門上的銅牌愛因斯坦。
愛因斯坦在這棟樓里工作了二十多年，直到去世。
他推開門，裡面是一間不大的辦公室，陳設保持著原樣——一張木製書桌，一把轉椅，牆上掛著一塊小黑板，上面還留著幾行粉筆字，是愛因斯坦的手跡，寫的是一個關於統一場論的不完整方程。
「愛因斯坦說過一句話，」薩納克站在門口，沒有走進去，「他說，上帝不擲骰子，但他真正想說的是，這個世界應該有一套統一的規律，數學的任務就是找到它，你在做的事情，某種意義上就是找這套規律，不是用哲學去找，是用圖論、拓撲、並行計算去找。」
他看著陸沉。
「將來如果有一天，你想來普林斯頓，不是來讀學位，也不是來接受NSF的資助，而是作為訪問學者，帶著你自己的課題組，帶著你們在中國跑出來的數據和方法，來和我們的團隊做聯合攻關，高等研究院的門對你敞開，不是因為你是滿分金牌，是因為你畫的那張圖。」
走出富爾德樓時，普林斯頓的暮色正在降臨。
冬天天黑得早，還不到五點，西邊天空已經泛起一層淡紫色的暮靄。
戴維開車送他們回火車站，陸沉坐在副駕駛座上，看著窗外掠過的普林斯頓小鎮。
老書店、咖啡館、白色尖頂教堂，每棟建築都像從十九世紀的版畫裡走出來的。
戴維在車上沒怎麼說話，只是在等紅燈的時候忽然開口。
「薩納克教授今天破例了。」
「什麼破例？」
火車站的月台上，二月的風從德拉瓦河方向吹過來，冷得人直縮脖子。
（由於緩存原因，請用戶直接瀏覽器訪問 讀好書選 TW 看書網，𝚜𝚑𝚞.𝚝𝚠超省心 網站，觀看最快的章節更新）
戴維把羽絨馬甲的拉鏈拉到最高，和陸沉握了握手，又遞給他一個信封。
「薩納克教授讓我交給你的，裡面是他關於引理7的初步手稿複印件，他說，等你回國以後，如果引理7b遇到困難，可以寫信來，他有幾個思路來不及推完，但也許對你的團隊有用，他不是要指導你，是要和你的課題組合作。」
陸沉接過信封。
信封沒有封口，裡面是一疊對摺的列印紙，紙邊潦草地寫著一些公式和批註。
最後一頁的末尾，薩納克用鉛筆寫了一行小字：「致陸沉與你的課題組—一這扇門不關。P.S.」
火車緩緩啟動，普林斯頓的燈光在車窗外交錯後退。
陸沉把信封放進隨身書包里，和霍夫曼那份資助方案副本、索科洛夫EIbrus—1上電成功的確認函放在一起。
他翻開便簽本，在畫滿橋的那一頁，在華盛頓節點旁邊又加了一個新節點，普林斯頓o
從普林斯頓出發，他畫了一條實線，穿過後續數頁上那些還很空曠的待填位置，一直延伸向第五站圓圈中那個孤零零的詞舊金山。
從普林斯頓到波士頓，考察團繼續坐火車。
孫處長在月台上清點人數時，特意把陸沉叫到一邊，遞給他一份剛從國內傳真過來的文件。
文件抬頭印著國家信息基礎設施數學基礎聯合課題組的紅字，下面是何巍的筆跡不是信，是一份簡短的進展報告，通過國防科大的傳真線路轉發到華盛頓，再由使館的工作人員送到孫處長手裡。
「何巍發來的，」孫處長說，「新西伯利亞那邊進展很快，程鋒的圖蘭構造性算法在EIbrus—1上跑通了第一輪並行驗證，性能數據比預想的更好，索科洛夫已經在安排第二輪大規模測試。」
陸沉接過傳真件。
何巍的字跡還是那麼用力，每一筆都像用刀刻的。
報告末尾加了一行個人的話：「索科洛夫老師說，EIbrus—1的第一個用戶的位置，他給你留到今年年底，程鋒說，他在機房裡待了三十六個小時沒出來，出來的時候西伯利亞的雪已經下到膝蓋了。」
火車在波士頓南站停靠時，已經是下午兩點。
波士頓的二月比華盛頓更冷，大西洋吹來的海風帶著一股咸腥的潮氣，把車站頂棚上的積雪吹得簌簌往下掉。
來接站的不是學者，不是政府官員，是一個穿著MIT衛衣的年輕人，二十出頭，平
頭，手裡舉著接站牌，上面寫著一行歪歪扭扭的中文：「歡迎中國考察團。」
「我叫邁克，MIT計算機科學實驗室的博士生，」他用英語說，語速極快，像是習慣了在有限時間內塞進儘可能多的信息，「施瓦茨教授讓我來接你們，他在實驗室等，今天下午安排了三項參觀內容：人工智慧實驗室、並行計算中心、計算機網絡實驗室，晚上有一個小型學術交流，MIT數學系和計算機系的幾個教授都會來。」
他把接站牌夾在腋下，從口袋裡掏出一張摺疊得整整齊齊的地鐵線路圖，開始講解波士頓的地鐵系統紅線、綠線、橙線、藍線，每一條線的走向和換乘站。
周大校在旁邊聽著，眉頭越皺越緊，最後打斷他：「我們坐車。」
邁克愣了一下，然後不好意思地抓了抓後腦勺：「對，對，坐車，習慣了給學生講怎麼省錢坐地鐵。」
MIT的校園和普林斯頓完全不同。
沒有哥德式的尖塔，沒有爬滿常春藤的紅磚樓，只有一大片灰色的混凝土建築，方方正正，像一塊塊疊在一起的巨型積木。
走廊里貼著各種學術海報和社團招新廣告，牆角的自動售貨機閃著可口可樂的紅色標誌。
空氣里混合著咖啡、松香焊錫和舊書的氣味，每隔幾米就有一台終端亮著綠光屏幕，上面跑著各種代碼。
施瓦茨教授的實驗室在人工智慧實驗室的二樓。
推開門，陸沉看到的不是整齊的實驗台，而是一片有序的混亂一幾台工作站並排放在長條桌上，屏幕上是各種數據流和代碼，白板上畫著神經網絡的結構圖，地上散落著幾本翻開的論文預印本。
一個頭髮亂蓬蓬的中年人正彎腰調試一台機器後面的線纜。
他直起身，扶了扶眼鏡，露出一個很有力度的笑容。
「歡迎，」施瓦茨說話比邁克更快，但每個字都咬得很清楚，像是習慣了在噪音環境裡交流的人練出來的本事，「我們在做下一代網絡協議的原型驗證，正好碰到一個棘手的數學問題，你們在國內做的交換網絡仿真模型，我們在IEEE的論文裡看到了，用的方法很新穎。」
他把陸沉領到一台工作站前面，屏幕上顯示著一個網絡拓撲圖的仿真結果。
圖的節點密密麻麻，連線交錯成一張巨網，每個節點上標註著數據傳輸的延遲和丟包率。
「問題是這樣的，」施瓦茨調出一個子圖，放大，「當網絡規模擴大到一定量級之後，傳統的路由算法會出現擁塞振盪，流量在兩條路徑之間來回波動，穩定不下來，我們試了好幾種方法都沒解決，你們的仿真模型里好像有一套處理這種振盪的數學框架？」
陸沉看著屏幕上那張圖和跳動的數值。
這個問題他見過。
前世在網絡協議開發的文獻里，這種擁塞振盪被稱作路由抖動，本質上是分布式系統的反饋環路延遲導致的非線性動力學行為。
1991年，這個問題的完整數學框架還沒有被建立起來，但他在課題組做交換網絡仿真時，王雪松曾經在銀河—上跑出過一組類似的數據，後來被顧小北用收斂性引理證明了在整數容量網絡中的有限步收斂性質。
「這個振盪的本質不是路由算法的問題，」陸沉說，「是分布式反饋環路的相位延遲，當網絡節點的排隊延遲和路由更新周期之間的比值超過某個閾值時，系統會進入一個極限環。」
他在白板上畫了一個簡化的反饋環路模型，標註了三個關鍵參數，排隊延遲、更新周期、鏈路容量。
然後他在三個參數之間畫了一個不等式。
「如果這個不等式成立，系統收斂，如果不成立，系統進入極限環振盪。」
施瓦茨盯著那個不等式看了很久，然後從口袋裡掏出一支筆，在不等式旁邊補了一個邊界條件的推導。
他寫得很慢，和薩納克那種跳躍式的寫法完全不同—每一步都交代得清清楚楚，每一步都要回頭檢查前一步的前提是否還成立。
「如果在這個不等式里加入鏈路容量的動態變化，就是當網絡流量變化時，鏈路可用帶寬也在實時變化，這個邊界條件還能不能成立？」施瓦茨問。
陸沉想了想。
「不能，因為鏈路容量變成動態變量之後，不等式的右邊就不再是常數了，但可以把它轉化成一個微分不等式，用李雅普諾夫函數來證明漸進穩定性。」
他在白板上接著寫下去，把原來的代數不等式改寫成微分形式，構造了一個李雅普諾夫函數，然後給出了漸進穩定性的充分條件。
寫完最後一個符號，他轉過身。
施瓦茨還站在白板前面，手裡的筆懸在半空，嘴唇微微懦動，像是在把剛才的推導從頭到尾在腦子裡重新跑一遍。
邁克在旁邊已經看呆了。
他不是沒見過厲害的數學家，沙利文教授就在樓下。
但他沒見過一個十二歲的孩子在白板上隨手寫出李雅普諾夫穩定性判據，像在黑板上默寫乘法口訣一樣自然。
「你們在中國，平時就是這麼討論問題的？」邁克問。
方宜民在後面低聲蹦出一句：「這不是討論，這是日常。」
施瓦茨終於放下了筆。
他退後一步靠在實驗台邊沿，抱起雙臂，像薩納克一樣看著白板上的推導。
但他說的話和薩納克完全不同。
「這個結果，如果經過嚴格的數值驗證，可以寫成一篇論文投到INFOCOM，」他說，「INFOCOM是網絡領域最頂尖的學術會議，明年在舊金山舉辦，如果你有興趣，可以把你剛才給出的極限環條件作為獨立投稿。」
INFOCOM。
陸沉前世聽過無數次這個名字——全球網絡與通信領域最具影響力的學術會議之一，每一屆的論文接收率不到百分之二十。
1992年，INF0C0M將在舊金山舉辦，正是這次美國之行的最後一站。
施瓦茨說：「如果你願意投，我可以幫你聯繫組委會，學生投稿和正式學者同等對待，不因為你的年齡而有任何差別，順便說一句，我剛在門口聽你和邁克聊普林斯頓的事，你說薩納克教授收下了你的推導，他是世界頂尖的數論與組合數學家，他的嚴格是出了名的，他能認可這個框架的數學核心，意味著它站住了。」
邁克在旁邊舉手，像課堂上想發言的學生：「我補充一句！沙利文教授現在很少親自
帶人調試原型機了，他從這個項目一開始就關注網絡安全模塊的數學基礎，上周討論會上還提到你們的何—周引理，他說這套算法的性能曲線幾乎貼近理論界，所以今天他看到你本人在原型機上跑出來的結果，才會直接提INFOCOM的事，他不是在客套，他很認真。」
陸沉看向施瓦茨，點了點頭。
「INFOCOM的投稿我會認真準備，如果可能，我會把國內仿真系統的部分數據納入數值實驗部分那套系統已經在八縱八橫主幹網上驗證過了。」
>