做的是分散式計算，但你們的何-周引理在安全協議驗證上的應用讓我想到了一個我自己領域裡卡了很久的問題。”

    他在餐巾紙上畫了一個簡圖——一個分散式系統的資料一致性維護問題，本質上是一個組合極值問題。

    “你的課題組裡，有人做過這方面的推廣嗎？”

    “組合極值方向是由我們課題組的程鋒在主導，他目前正在新西伯利亞科學城，在Elbrus-1上做並行驗證，”陸沉接過餐巾紙看了一眼，“但您畫的這個問題和他在超圖色數邊界的下界估計之間有結構同構性——我回去以後可以先把初步思路整理出來發給您。”

    沙利文點了點頭，把那張餐巾紙摺好放進口袋裡。

    “我等你的信。”

    深夜，回到波士頓郊外的酒店。

    窗外查爾斯河的河面在冬夜裡泛著細碎的冷光，對岸波士頓大學的燈光星星點點。

    陸沉坐在書桌前，面前攤著三樣東西：下午與施瓦茨教授討論後修改過的那份具有動態鏈路容量的極限環穩定性判據的完整推導；薩納克教授的手稿影印件；何巍和程鋒從新西伯利亞傳回來的Elbrus-1第一輪並行驗證報告。

    他把便籤本翻到畫滿橋的那一頁，在普林斯頓節點旁邊用鉛筆又畫了一個新的節點——波士頓。

    從他踏入波士頓南站的那一刻起，到現在深夜獨坐，一系列看似零散的際遇漸漸在他腦中連線成一條清晰的線。

    他在新節點下方畫了一個小圓圈，裡面寫上舊金山，然後從波士頓畫出一條箭頭，穿過普林斯頓、華盛頓，一直延伸向那個還未抵達的終點。

    這一次，他沒有給所有的問題都寫出完整的答案。

    他只是把每一頁都寫得滿滿當當，留足了伏筆和推導方向。

    然後他走到窗前，看著查爾斯河對岸星星點點的燈火，想——明天，考察團飛往此行的最後一站。

    那裡是1992年INFOCOM的舉辦地，也是霍夫曼兩度試圖招攬他時都提到過的地方。

    在那裡，他的課題組將第一次在一個國際學術會議上擁有自己的正式席位。

    ——

    飛機從波士頓起飛，向西橫穿整個美國大陸。

    陸沉坐在靠窗的位置，看著舷窗外的風景從新英格蘭的灰色雪原漸漸變成中西部的棋盤狀農田，再變成落基山脈的皚皚雪峰。

    飛越內華達沙漠時，雲層散開了，露出底下廣袤無人的赭紅色土地，像一塊被烈日烤乾的陶片。

    然後，太平洋出現了。

    舊金山在舷窗外徐徐鋪開——藍色的海灣，紅色的金門大橋，白色的城市像一堆積木嵌在山海之間。

    飛機在聖弗朗西斯科國際機場降落時，已是傍晚。

    考察團入住的酒店在聯合廣場附近，是一棟老式建築，房間窗戶外能遠遠望見金門大橋的兩座橋塔被夕陽染成橘紅色。

    INFOCOM 1992的會場設在舊金山聯合廣場的希爾頓酒店，離駐地步行只需五分鐘。

    註冊臺前人山人海，來自全球各地的學者排著長隊領取胸牌和會議資料。

    會議主席是個圓臉微胖的美國教授，戴著厚厚的眼鏡，說話帶著中西部口音。

    他看到陸沉的胸牌時愣了一下，大概是沒見過這麼年輕的參會者。

    但他很快就恢復了專業態度，遞給陸沉一個資料袋，裡面裝著會議日程、論文集摘要和一張舊金山市區地圖。

    “你的論文安排在明天下午的網路理論基礎分論壇，每位發言人二十分鐘，提問十分鐘。”

    會議主席翻了翻日程表。

    “我注意到你是獨立作者，沒有合作單位，這在INFOCOM挺少見的。”

    “我的合作單位在BJ。”陸沉說。

    會議主席點了點頭，沒有多問。

    他把一份審稿意見覆印件遞給陸沉。

    “三位審稿人的意見都在裡面，兩篇強烈接受，一篇接受，對於第一次投稿INFOCOM的作者來說，這個成績非常罕見。”

    陸沉接過審稿意見翻開來。

    三位審稿人的評語都很長。

    第一位用優雅來形容那個微分不等式穩定性判據的構造，第二位建議在數值實驗部分增加更多實測資料的對比，第三位只寫了一句話——“這是我今年審過的最短、最有說服力的穩定性判據，建議接收，不需要修改。”

    落款處是一個陸沉不認識的名字，但後面跟著的單位讓他手指停了一瞬：MIT電腦科學實驗室。

    是施瓦茨實驗室的人。

    施瓦茨遵守了承諾。

    分論壇在一箇中型會議室舉行，大約能容納一百人，但過道里加了好幾排摺疊椅還坐不下，來晚的人只能站在後面。

    除了網路領域的學者，陸沉注意到第