第43章 合作
肖宿走近白板，仔細看著那些公式。
他的目光在一個地方停留了很久，那是一組描述圖社區結構的方程，用到了模塊度的概念。
實驗室里安靜下來，只有空調的低鳴和伺服器風扇的嗡嗡聲。
幾個博士生交換著眼神。
他們聽過肖宿的傳說，但親眼見到這個十五歲的少年站在白板前，還是覺得有些超現實。
他能理解這些複雜的問題嗎？
他能提供什麼新思路嗎？
三分鐘後，肖宿轉過身，問了一個問題：
「你們試過基於幾何表示的方法嗎？」
趙明遠一愣：「幾何表示？」
「把圖的節點映射到高維幾何空間裡。」肖宿說，「這樣圖的分割問題就變成了幾何空間的劃分問題。」
李雨薇眼睛一亮：「你說的是圖嵌入技術？比如DeepWalk、Node2Vec這些？」
肖宿搖頭：「那些是啟發式方法，缺乏理論保證。我說的是嚴格的數學構造。」
他走到白板前，擦掉一小塊區域，開始寫字。
他的字跡工整而有力，數學符號流暢地從筆尖流出：
「考慮圖的拉普拉斯矩陣L。它的特徵向量包含了圖的結構信息。取前k個特徵向量，把每個節點表示成k維空間中的一個點……」
肖宿寫得很快，解釋著每一步的數學原理。
他提到了譜圖理論中的經典結論，提到了基於特徵向量的節點嵌入的幾何性質，提到了如何在嵌入空間中使用聚類算法來獲得圖分割。
實驗室里的博士生們開始還能跟上，但很快就迷失在肖宿的思路里。
他們懂圖論，懂算法，但肖宿使用的數學工具，特別是那些來自泛函分析和幾何測度論的概念，已經超出了計算機系的標準課程。
「等等，」趙明遠打斷道，「你說用測地距離來定義嵌入空間中的相似性，這個計算量會不會太大？」
「有近似算法。」肖宿說，「可以用隨機投影降維，然後用快速多極子方法加速計算。複雜度可以控制在O(n log n)。」
「隨機投影的精度損失呢？」李雨薇問。
「Johnson-Lindenstrauss引理保證了低失真。」
肖宿說，「而且對於分割問題，我們不需要精確距離，只需要保持相對順序。」
他又寫下幾個公式，展示如何將原始的圖分割問題轉化為一個帶約束的幾何聚類問題，以及如何用凸優化方法高效求解。
整個過程持續了大約二十多分鐘。
肖宿一邊寫一邊解釋，邏輯清晰，層層遞進。
當他放下記號筆時，白板上已經寫滿了新的公式和推導。
實驗室里一片寂靜。
幾個博士生盯著白板，努力消化著肖宿的思路。
他們意識到，這不僅僅是一個小技巧或改進，而是一個全新的方法論框架，把圖分割問題從根本上重新表述了。
「這個思路……」趙明遠深吸一口氣，「如果真能實現，可能不只是解決我們的問題，它完全夠格發一篇SIGGRAPH，甚至SOSP了。」
「SIGGRAPH」和「SOSP」，這兩個詞像一枚投入靜水的石子，在實驗室里漾開層層波瀾。
前者是計算機圖形學領域的至高聖殿，後者則是作業系統原理方向的頂級峰會。
對任何從事計算研究的人而言，在這兩個會議上發表論文，不僅意味著學術認可，更近乎一種職業勳章。
實驗室的空氣明顯更加熾熱起來。
所有人的目光都聚焦在白板上那一串推導公式上。
它們忽然不再只是算式，而像是一條隱約發光的路，通往一個曾經不敢輕易想像的地方。
肖宿卻很平靜：「這只是理論框架。具體實現還需要很多工程工作，比如高效的稀疏矩陣特徵值計算，近似算法的誤差控制，並行化實現……」
「那些我們可以做！」趙明遠激動地說，「只要有正確的數學指導！」
趙明遠看向肖宿，眼神複雜。
他見過很多天才，但肖宿這樣的還是第一次見到，不僅能看到問題的本質，還能立刻給出深刻的數學解決方案。
「肖宿同學，」他認真地說，「你願意加入我們的項目嗎？作為數學顧問。當然，會有相應的署名和報酬。」
作為課題組的「小導」，趙明遠還是有一點權力的，而且，他相信Boss要是見識到肖宿的能力只會更加迫切的邀請他加入。
肖宿想了想：「我可以幫忙解決數學問題。但編程實現要靠你們。」
「沒問題！」實驗室里幾個人異口同聲。
離開計算機系時，夕陽已經西斜。
周宇軒興奮地邊走邊說：「肖哥，你今天太牛了！你沒看到趙師兄他們的表情，眼睛都快瞪出來了！」
肖宿沒說話，他的思緒已經飄到了另一個地方。
剛才在圖分割問題中使用的幾何方法，似乎和他最近研究的數學物理中的某些概念有深層聯繫。
也許應該找時間深入思考一下……
「對了肖哥，」周宇軒突然想起什麼，側身問道：「顧教授知道你來計算機系幫忙嗎？他會不會覺得你不務正業？」
肖宿搖頭：「不會，數學是相通的。」
周宇軒一時語塞，這也太裝逼了吧。
數學確實被稱為「科學的語言」，甚至有人說它是上帝的語言，理論上也與許多學科相通，可古今往來，能如此輕描淡寫跨越學科壁壘、並視之為理所當然的人，又能有幾個？
這或許就是天才之所以為天才的原因。
周宇軒望著身邊這個比自己小上好幾歲、卻已穩穩站在另一個思維層面的少年，心中漾開的不是嫉妒，也不是落差，而是一種近乎敬畏的欽佩。
原來有些人，生來就活在對世界更深一層的理解里。
有些距離，從一開始就存在，而真正的天才，連自己站在高處都不自知。
他的目光在一個地方停留了很久，那是一組描述圖社區結構的方程，用到了模塊度的概念。
實驗室里安靜下來，只有空調的低鳴和伺服器風扇的嗡嗡聲。
幾個博士生交換著眼神。
他們聽過肖宿的傳說，但親眼見到這個十五歲的少年站在白板前，還是覺得有些超現實。
他能理解這些複雜的問題嗎？
他能提供什麼新思路嗎？
三分鐘後，肖宿轉過身，問了一個問題：
「你們試過基於幾何表示的方法嗎？」
趙明遠一愣：「幾何表示？」
「把圖的節點映射到高維幾何空間裡。」肖宿說，「這樣圖的分割問題就變成了幾何空間的劃分問題。」
李雨薇眼睛一亮：「你說的是圖嵌入技術？比如DeepWalk、Node2Vec這些？」
肖宿搖頭：「那些是啟發式方法，缺乏理論保證。我說的是嚴格的數學構造。」
他走到白板前，擦掉一小塊區域，開始寫字。
他的字跡工整而有力，數學符號流暢地從筆尖流出：
「考慮圖的拉普拉斯矩陣L。它的特徵向量包含了圖的結構信息。取前k個特徵向量，把每個節點表示成k維空間中的一個點……」
肖宿寫得很快，解釋著每一步的數學原理。
他提到了譜圖理論中的經典結論，提到了基於特徵向量的節點嵌入的幾何性質，提到了如何在嵌入空間中使用聚類算法來獲得圖分割。
實驗室里的博士生們開始還能跟上，但很快就迷失在肖宿的思路里。
他們懂圖論，懂算法，但肖宿使用的數學工具，特別是那些來自泛函分析和幾何測度論的概念，已經超出了計算機系的標準課程。
「等等，」趙明遠打斷道，「你說用測地距離來定義嵌入空間中的相似性，這個計算量會不會太大？」
「有近似算法。」肖宿說，「可以用隨機投影降維，然後用快速多極子方法加速計算。複雜度可以控制在O(n log n)。」
「隨機投影的精度損失呢？」李雨薇問。
「Johnson-Lindenstrauss引理保證了低失真。」
肖宿說，「而且對於分割問題，我們不需要精確距離，只需要保持相對順序。」
他又寫下幾個公式，展示如何將原始的圖分割問題轉化為一個帶約束的幾何聚類問題，以及如何用凸優化方法高效求解。
整個過程持續了大約二十多分鐘。
肖宿一邊寫一邊解釋，邏輯清晰，層層遞進。
當他放下記號筆時，白板上已經寫滿了新的公式和推導。
實驗室里一片寂靜。
幾個博士生盯著白板，努力消化著肖宿的思路。
他們意識到，這不僅僅是一個小技巧或改進，而是一個全新的方法論框架，把圖分割問題從根本上重新表述了。
「這個思路……」趙明遠深吸一口氣，「如果真能實現，可能不只是解決我們的問題，它完全夠格發一篇SIGGRAPH，甚至SOSP了。」
「SIGGRAPH」和「SOSP」，這兩個詞像一枚投入靜水的石子，在實驗室里漾開層層波瀾。
前者是計算機圖形學領域的至高聖殿，後者則是作業系統原理方向的頂級峰會。
對任何從事計算研究的人而言，在這兩個會議上發表論文，不僅意味著學術認可，更近乎一種職業勳章。
實驗室的空氣明顯更加熾熱起來。
所有人的目光都聚焦在白板上那一串推導公式上。
它們忽然不再只是算式，而像是一條隱約發光的路，通往一個曾經不敢輕易想像的地方。
肖宿卻很平靜：「這只是理論框架。具體實現還需要很多工程工作，比如高效的稀疏矩陣特徵值計算，近似算法的誤差控制，並行化實現……」
「那些我們可以做！」趙明遠激動地說，「只要有正確的數學指導！」
趙明遠看向肖宿，眼神複雜。
他見過很多天才，但肖宿這樣的還是第一次見到，不僅能看到問題的本質，還能立刻給出深刻的數學解決方案。
「肖宿同學，」他認真地說，「你願意加入我們的項目嗎？作為數學顧問。當然，會有相應的署名和報酬。」
作為課題組的「小導」，趙明遠還是有一點權力的，而且，他相信Boss要是見識到肖宿的能力只會更加迫切的邀請他加入。
肖宿想了想：「我可以幫忙解決數學問題。但編程實現要靠你們。」
「沒問題！」實驗室里幾個人異口同聲。
離開計算機系時，夕陽已經西斜。
周宇軒興奮地邊走邊說：「肖哥，你今天太牛了！你沒看到趙師兄他們的表情，眼睛都快瞪出來了！」
肖宿沒說話，他的思緒已經飄到了另一個地方。
剛才在圖分割問題中使用的幾何方法，似乎和他最近研究的數學物理中的某些概念有深層聯繫。
也許應該找時間深入思考一下……
「對了肖哥，」周宇軒突然想起什麼，側身問道：「顧教授知道你來計算機系幫忙嗎？他會不會覺得你不務正業？」
肖宿搖頭：「不會，數學是相通的。」
周宇軒一時語塞，這也太裝逼了吧。
數學確實被稱為「科學的語言」，甚至有人說它是上帝的語言，理論上也與許多學科相通，可古今往來，能如此輕描淡寫跨越學科壁壘、並視之為理所當然的人，又能有幾個？
這或許就是天才之所以為天才的原因。
周宇軒望著身邊這個比自己小上好幾歲、卻已穩穩站在另一個思維層面的少年，心中漾開的不是嫉妒，也不是落差，而是一種近乎敬畏的欽佩。
原來有些人，生來就活在對世界更深一層的理解里。
有些距離，從一開始就存在，而真正的天才，連自己站在高處都不自知。