探進頭來：“周教授，陸沉同學，下一輪賽程安排出來了，團體賽的題目明天早上公佈，各國代表隊已經開始準備了。”

    周教授點頭：“知道了。”

    他轉向陸沉：“走吧，今天好好休息。明天的團體賽，才是真正的硬仗。”

    陸沉站起身，走到門口時忽然停住。

    “周老師。”

    “嗯？”

    “圖蘭定理的證明，只是第一步。”陸沉說，“擴充套件形式解決了存在性問題，但構造性問題還沒有完全開啟，如果能找到Turán極圖的顯式構造演算法，應用面會更廣。”

    周教授愣住了。

    “你想……繼續做？”

    “已經開始做了。”陸沉說，“大概需要兩個月。”

    他想了想，又補充了一句：“如果計算機夠用的話。”

    然後他推門出去，留下週教授一個人站在休息室裡，半天沒回過神來。

    兩個月。

    解決圖蘭定理的構造性問題。

    那是埃爾德什在1977年提出、懸賞500美元的問題。

    這孩子說的是……順手。

    走廊裡，陸沉邊走邊在腦中整理思路。

    圖蘭定理擴充套件形式的證明，確實只是第一步。他的真正目標，是構建一套完整的極值組合與拓撲方法之間的對偶框架。

    這套框架如果建成，影響的就不僅僅是圖論。

    密碼學、編碼理論、演算法設計——都會受到衝擊。

    而這一切的前提是：

    他需要一臺能用的計算機。

    長城286的效能，遠遠不夠。

    他需要更強大的算力。

    或者——

    更聰明的演算法。

    回到房間時，室友林楓正坐在床邊看書。

    見他進來，林楓抬起頭，眼神有些複雜。

    “你今天把蘇聯人鎮住了。”他說，“我聽隊裡其他人說的。”

    陸沉在床邊坐下：“只是做了一道題。”

    “那不是一道題。”林楓放下書，“那是圖蘭定理。我在省隊的時候就聽說過，有人說這道題十年內沒人能解。”

    他停頓了一下：“你解了。在莫斯科。當著全蘇聯數學界的面。”

    陸沉看著他：“你在擔心什麼？”

    林楓沉默了一會兒。

    “我在想。”他說，“我們真的是同一種生物嗎？”

    陸沉沒有笑。

    他認真地說：“是，我們共享99.9%的基因序列。”

    林楓愣了一瞬，然後忍不住笑了出來。

    “你他媽……”他搖頭，“行吧，我收回剛才那句話，你還是個正常人。”

    他重新拿起書，翻到剛才那頁。

    過了一會兒，又開口了。

    “陸沉。”

    “嗯？”

    “明天的團體賽，有一個模組是演算法設計。”林楓說，“據說是蘇聯科學院計算中心出的題。會用他們那臺BESM-6跑實測。”

    BESM-6。蘇聯1968年投入使用的電晶體計算機，每秒咚慵s80萬次。在這個時代，已經算是不錯的機器了。

    但在陸沉的認知裡，這臺機器的算力，還比不上前世的一臺計算器。

    “有什麼問題？”他問。

    “BESM-6的指令集和長城286不一樣。”林楓說，“我們在國內練的都是長城機，臨時換平臺，很多人可能不適應。”

    陸沉點頭。

    雖然自己是個列外，但這對隊員來說確實是個問題。

    適應新的機器指令集需要時間。