，“不然我們肯定要打架。”

    陸沉沒有笑。

    他在想另一件事。

    匈牙利隊。

    拉斯洛·科瓦奇。

    前世，這個名字他聽過。

    拉斯洛·科瓦奇，匈牙利數學家，計算複雜性理論的重要推動者。

    1980年代後期在隨機演算法領域做出過基礎性貢獻。

    1990年代移居美國，成為普林斯頓高等研究院的終身教授。

    而現在，這個未來的大數學家，正坐在匈牙利隊的區域裡，朝陸沉揮了揮手，臉上帶著一種“果然如此”的笑容。

    “有緣。”拉斯洛走過來，用英語說。

    “嗯。”

    “我昨晚研究了你的預條件子證明。”拉斯洛說，“裡面有一個地方我想跟你討論。關於M矩陣的充分條件，你用的是嚴格對角佔優。但我在想，是否可以用更弱的條件？比如，不可約對角佔優？”

    陸沉看著他。

    不可約對角佔優。

    這正是前世1985年，某位數學家對不完整分解理論所做的重要推廣。

    而拉斯洛·科瓦奇，在莫斯科摸到了這個方向。

    “可以。”陸沉說，“不可約對角佔優也是充分條件。證明需要用到Perron-Frobenius定理。”

    拉斯洛的眼睛亮了。

    “Perron-Frobenius，非負矩陣的譜半徑。”他快速地說，“對，如果係數矩陣是不可約M矩陣，那麼它的逆矩陣是非負的。這可以保證不完整分解的穩定性——”

    他停住了，看著陸沉。

    “你知道這個？”

    “剛想到。”陸沉說。

    拉斯洛盯著他看了好幾秒。

    然後他搖搖頭，用一種哭笑不得的語氣說：“我以為我是來跟你討論問題的。現在看來，我是來聽你講課的。”

    “互相學習。”陸沉說。

    拉斯洛笑了一聲。

    “行。”他說，“那就互相學習，等協同解題結束，我要好好跟你聊聊，關於隨機演算法和圖論結合的可能性——我有個想法，但還不夠清晰。”

    陸沉點頭。

    他知道那個“不夠清晰”的想法最終會變成什麼。

    那是拉斯洛·科瓦奇的成名作。

    現在，這個想法的種子剛剛發芽。

    協同解題的題目在九點整公佈。

    題目很複雜。概括來說，是一個熱傳導方程的數值求解問題，但邊界條件是不規則的，需要用有限元方法離散，然後求解大規模線性方程組。

    陸沉掃了一遍題目，心中已經有了完整的求解框架。

    但他沒有立刻動手。

    “拉斯洛。”他說，“你們隊擅長什麼？”

    拉斯洛想了想：“數學建模和理論分析，我們隊的弱項是程式設計實現。”

    “正好。”陸沉說，“我們隊程式設計強，你們負責離散格式的推導和誤差估計，我們負責程式碼實現和數值實驗。”