方法。

    機率方法可以證明存在性，但無法給出顯式構造。所以我想，如果把問題提升到拓撲層面，利用單純復形的同調群來刻畫極圖結構，或許能繞過這個限制。”

    報告廳裡安靜得可怕。

    坐在第三排的中國隊領隊周教授，手指緊緊攥著座椅扶手。

    他是中科院數學所的研究員，專攻組合數學，這次帶隊來莫斯科，本想著讓年輕隊員見見世面。

    他沒想到會見到這種世面。

    “那個……”後排有人舉手，是個三十多歲的蘇聯數學家，“我有個問題。在引理3.2中，你構造了一個從邊集到鏈群的對映，但那個對映的單性是如何保證的？如果存在退化情況——”

    “不會退化。”陸沉拿起粉筆，在黑板上迅速畫出兩個示意圖，“因為我把極圖結構限制在了Turán圖的某個穩定子類中。

    你看，如果出現退化，意味著存在一個非平凡的同調類，但這和Turán圖的極值性質矛盾。嚴格證明在附錄第7頁。”

    他頓了頓，又說：“其實更直觀的理解是：退化情況對應著存在一個比Turán圖更稠密的圖結構，但這不可能，因為Turán定理本身就給出了不含特定完全子圖的極大邊數。”

    提問的數學家愣住了。

    然後他慢慢點頭，用一種近乎敬畏的語氣說：“……你是對的。”

    掌聲響起。

    持續了很久。

    報告廳的角落裡，一個戴著厚框眼鏡的中年人一直在安靜地觀察。

    他沒有鼓掌，只是在筆記本上飛快地記錄著什麼。

    他的證件上寫著：蘇聯科學院西伯利亞分院，電腦科學研究所，安德烈·彼得羅維奇·索科洛夫。