第89章 先天科研聖體
磁性幾何魔方。
這題的題面非常漂亮，配圖甚至頗有趣味。
描述了一種可以通過磁性節點隨意拼接的多面體模塊，要求求出在特定數量下，整個結構兩端能達到的最大直線距離。
很容易就讓人誤以為自己是在做一款益智玩具的拼圖遊戲。
白板上，尹航已經畫了十二種複雜的拼接形狀。
每一種構型都充滿了機械美感，計算出的極端點距離列在一旁，姚思雨還在下面補了幾個奇異的邊界情況。
很顯然，兩人已經在這道題里走得很深，走得很遠，並不是不會做。
問題是，走得太遠，也走得太散。
像是在一片沒有盡頭的森林裡開了十二條路，卻不知道哪一條才是生路。
「我們現在最大的問題是構型太多了，如果純靠窮舉，我能枚舉出一堆，但沒法證明，我不知道有沒有漏掉一種比現在更極端的詭異拼法。」
尹航指著白板上那些密密麻麻的圖形說，語氣有些煩躁。
姚思雨在旁邊心有戚戚地點頭：「通過剛才的計算，我其實能猜到答案大概落在哪個範圍。但我的證明寫得不乾淨，總覺得如果閱卷人挑刺，隨便給出一個我沒考慮到的拓撲結構，我的邏輯鏈就斷了。」
聽兩人解釋罷，江臨站到白板面前。
先看那些複雜的構型圖，再看旁邊列出的距離表，最後，他的視線停留在尹航劃掉的那幾行試圖用對稱群來分類的推導上。
尹航有一條路線，是想把旋轉翻折之後等價的構型先並掉，用對稱性減少枚舉。
方向很敏銳，但等價類並不等於上界。
它只能減少要看的圖，不能告訴你最遠的端點一定在哪裡。
姚思雨走的另一條路線，是按模塊之間的連接面面積來分類。
也沒有錯。
但分類一多，證明過程就會變成一個充斥著無數分類討論的泥潭，結果是自己也被繞進去了。
江臨從白板槽里拿起一根藍色的馬克筆，在白板最上方的一大塊空白處，寫了兩個字。
上界。
尹航皺了皺眉。
因為在他看來，這顯然是一句廢話。
「我們當然知道要求上界，問題是這個上界你怎麼抓，你怎麼能保證一個統一的公式能罩住所有亂七八糟的拼法？」
江臨轉過頭，看著尹航，平靜地說道：「你不知道怎麼抓，是因為你們從一開始，就把這道題當成空間拼圖在看。」
【寫到這裡我希望讀者記一下我們域名 找書就去 TW 看書網，𝓼𝓱𝓾.𝓽𝔀超全 】
此話一出，姚思雨猛地抬頭，盯著江臨。
江臨用手裡的藍色馬克筆在白板上點了幾個點，然後用線將它們連起來。
一個連接圖+有效位移的模型，取代了之前那些繁複的立體構型圖。
「幾何不能丟。」他說，「但不能一開始就被幾何圖形牽著走。先把每個模塊允許的連接位姿，壓成有限幾種有效位移，再把模塊之間的連接關係抽成圖。」
說著，他在其中一條路徑上畫了一個箭頭。
「真正要抓的是任意合法拼接里，兩個端點之間的歐氏距離，最多能從這些連接路徑里榨出多少。」
尹航皺眉：「所以不是枚舉形狀，而是先證明任何構型都不可能超過某條簡單鏈的展開長度？」
「對。」江臨點頭，「圖給出路徑結構，幾何約束給出每一步最多能貢獻的距離。兩者合在一起，才是上界。」
姚思雨盯著那條鏈狀結構，順著說道：「如果上界被這條鏈卡死，那我們只需要再構造一個具體拼法，證明它剛好能達到這個上界。」
「對。」
江臨在鏈的旁邊畫出一個近似拉直到極限的極端構型。
圖畫得瑞安潦草，但關鍵端點、連接面和相對朝向交代得一清二楚。
「先用連接圖和幾何約束證明上界，再用極端構型給出取等構造。一拉一推，這題就閉合了。」
「等一下。」
尹航皺著眉頭走近白板，用黑色馬克筆在江臨的構型旁邊補了一條旋轉虛線。
「這裡如果沿這條軸轉一次，會不會利用空間對角線讓端點更遠？」
江臨掃了一眼，搖頭說：「不會。」
「為什麼？」
「因為這一步旋轉只改變方向，不增加有效位移的模長。端點距離的投影已經被前面的連接約束卡住了。你能換坐標系裡的朝向，但不能憑空增加那一節貢獻的長度。」
尹航還是有些心有不甘，又指向原來的海星狀構型，說：「那這種非鏈狀分支呢，兩個分支端點之間會不會更長？」
「分支端點之間的距離，必須經過公共連接節點分解。三角不等式先給自然上界：d(A，B)≤d(A，C)+d(C，B)d(A，B)le d(A，C)+d(C，B)d(A，B)≤d(A，C)+d(C，B)。關鍵是取等條件。在這道題的連接約束下，兩條分支不能同時沿同一直線完全展開。你拉直一條，另一條的有效投影就會被折掉。」
江臨用筆在公共連接節點上點了兩下。
「所以分支結構最多逼近同等節數的鏈式上界，不可能超過它。」
姚思雨聽到這裡，終於全部明白過來。
立刻拿起筆，在自己的草稿紙上迅速補上了兩行關鍵的圖論轉化。
嘆道：「所以我們之前的枚舉，就像是拿著相機，在給所有可能的雕塑瘋狂拍照，試圖找出一張看起來最高大的。」
江臨點點頭，放下馬克筆，說：「數學不需要我們拍完所有照片，只需要我們證明，最高的那張照片，它的天花板在哪裡，然後證明有人能摸到那個天花板就行了。」
尹航看著白板，沉默了足足有半分鐘。
最後，他拿起黑板擦，果斷擦掉自己原先畫的十二種構型和旁邊那長長的距離表。
然後在江臨畫出的連接圖旁邊打了一個勾。
「行。」
尹航的語氣里的那種煩躁一掃而空。
「這個上界，閉合了。」
一直坐在窗邊沒參與進來的孟澈，此時默默地調整了一下坐姿。
他沒參賽，也不打算過度參與這道題的計算細節。
但他從這段對話里，聽出了熟悉的味道。
江臨剛才做的第一件事，是剝離。
把形狀，三維，磁性這些具有極強視覺干擾的物理外殼從問題里剝掉，然後換成圖結構，節點和上界。
這種處理問題的方式，太成熟了。
像什麼呢？
孟澈看著江臨削瘦的背影。
它更像一個老練的實驗物理學家，在面對極其複雜的系統誤差時，先不急著調儀器，而是先建誤差模型，把儀器誤差、讀數漲落和真實物理量一層一層地切分開。
……
第二張題面，是拆盲盒。
姚思雨嘆了口氣，把自己的草稿紙推了過來。
上面密密麻麻寫了半頁紙的公式。
「這題我一開始按具體的集合狀態寫了遞推。」
並沒有錯，只是太重了。
盲盒裡有若干種不同卡片。
每拿到一種新卡，擁有的集合狀態就發生改變。
如果按已經擁有的具體集合去寫狀態空間，狀態數量會呈指數級增長，很快就會變成一個災難性的馬爾可夫鏈轉移矩陣，根本沒法算，更沒法手寫證明。
「我也卡在這了。」
尹航在旁邊插話道。
「我明明知道它在宏觀上能壓縮，因為全收集的期望最終肯定收斂，但就是找不到最乾淨的壓法。把每一步抽到什麼卡的歷史都背在身上走，實在太蠢了。」
江臨看了一眼姚思雨的草稿紙，沒有去改她的公式。
直接在空白處寫下一行字。
還缺幾種。
姚思雨看著那四個字，怔了一下：「你一點都不關心當前手裡具體缺的是哪幾種卡？」
「不關心。」
江臨回答得很乾脆。
「題目的設定里，每一種盲盒被抽到的概率是均勻分布的，這意味著卡片本身是高度對稱的。」
江臨用筆在盲盒兩個字底下畫了條線。
「題目讓你求的是集齊所有卡片所需時間的期望值，不是讓你描繪收集過程中每一個具體集合長什麼樣。A，B，C和B，C，D在本質上是等價的。」
尹航的眼睛瞬間亮起，猛地一拍大腿，叫道：「我靠，所以不用管具體卡，直接按數量階段來分解？從缺k種卡，轉移到缺k-1種卡？」
「嗯。」江臨點頭。
姚思雨低頭，在紙上飛快地算了兩步，之前的複雜矩陣被瞬間降維。
「既然概率均勻，那在缺k種卡的狀態下，抽到一張新卡的概率就是 p_k=k/N。所以在這個階段停留的等待時間，就是一個參數為p_k的幾何分布。而它的期望……」
「幾何分布的期望是概率的倒數。」江臨接上了她的話，「所以這一階段的期望步數就是N/k。」
江臨說到這裡，看了一眼姚思雨因為激動而寫得越來越快的筆尖，適時地澆了一盆。
「不過在提交的時候還是不能直接從原題跳到這一步。」
姚思雨停下筆，有些不明所以地抬頭看他。
「先花半頁紙，嚴格說明為什麼你的馬爾可夫狀態可以從2^N壓縮到 N，也就是所謂的等價類劃分。否則閱卷教授會覺得你在偷換概念，用一個簡單的模型套一個複雜的題。」
姚思雨認真地點頭，準備繼續往下寫。
寫到一半，像是想到了什麼反例，眉頭皺了起來。
「等等，如果不同盲盒的抽取概率不均勻呢？比如有隱藏款，概率只有1%，其他是10%，那這個數量狀態壓縮就不成立了，缺A和缺隱藏款的期望完全不一樣。」
「是的，所以你要在證明的開頭，先濃墨重彩地寫明對稱性條件。題目給定的均勻抽取不是一句為了讓題面好看的裝飾語，我們進行狀態壓縮，真正要算的是N個階段期望。」
尹航聽到這裡，忍不住吐槽了一句：「你做題的時候，腦子裡還一直想著閱卷人啊？」
「想著覆核。」江臨認為自己應該糾正他的用詞。
「數學競賽也叫覆核？」
「只要是需要人去驗證的邏輯鏈，就叫覆核。」江臨看著尹航，「證明寫出來，就是給別人覆核的。如果你的解答只有你自己懂，那不叫數學證明，那叫私人日記。」
一旁的孟澈聽得是直點頭。
覆核這個詞，他太熟了。
老闆在組會上不知道罵過他們多少次類似的話。
「科研不是你自己覺得數據好看就行。你要把你的實驗條件，你的誤差分析，你的數據處理流程清清楚楚地寫在Paper里，讓大洋彼岸另一個素不相識的同行，能在他自己的實驗室里，在合理的時間內把你的結果覆核出來。不能覆核的東西，就是偽科學。」
數學競賽顯然也是一樣的邏輯。
會做，只是第一步，最多算自己通過了。
能寫成讓挑剔的評審在有限時間內穩定覆核的證明，才算真正完成。
已經想通透了的姚思雨，把草稿紙上那一大片舊的遞推公式用力劃掉，長舒了一口氣，整個人都放鬆了下來。
「太好了，這樣就乾淨多了。我之前的問題是歷史包袱太重，跟背著一座山似的。」
江臨點點頭：「狀態里當然只需保留影響未來的最小信息，因為多一絲都是累贅。」
最小充分狀態？
一旁笑眯眯的孟澈忽然捕捉到了關鍵詞。
先找狀態，再找邊界。
最後判斷，哪些信息是必須保留的承重牆，哪些信息只是花里胡哨的壁紙和噪聲。
這是一種拆解世間一切複雜系統的底層方法論。
不是一個能在單純的數學競賽題集裡學到的漂亮說法。
可比會做題的天才厲害多了。
聯想到這位才讀高三的小師弟，一出山就幫大家解決了數據漂移的問題。
孟澈腦子裡冒出一個不太嚴肅的念頭。
這不就是先天科研聖體嗎？
這題的題面非常漂亮，配圖甚至頗有趣味。
描述了一種可以通過磁性節點隨意拼接的多面體模塊，要求求出在特定數量下，整個結構兩端能達到的最大直線距離。
很容易就讓人誤以為自己是在做一款益智玩具的拼圖遊戲。
白板上，尹航已經畫了十二種複雜的拼接形狀。
每一種構型都充滿了機械美感，計算出的極端點距離列在一旁，姚思雨還在下面補了幾個奇異的邊界情況。
很顯然，兩人已經在這道題里走得很深，走得很遠，並不是不會做。
問題是，走得太遠，也走得太散。
像是在一片沒有盡頭的森林裡開了十二條路，卻不知道哪一條才是生路。
「我們現在最大的問題是構型太多了，如果純靠窮舉，我能枚舉出一堆，但沒法證明，我不知道有沒有漏掉一種比現在更極端的詭異拼法。」
尹航指著白板上那些密密麻麻的圖形說，語氣有些煩躁。
姚思雨在旁邊心有戚戚地點頭：「通過剛才的計算，我其實能猜到答案大概落在哪個範圍。但我的證明寫得不乾淨，總覺得如果閱卷人挑刺，隨便給出一個我沒考慮到的拓撲結構，我的邏輯鏈就斷了。」
聽兩人解釋罷，江臨站到白板面前。
先看那些複雜的構型圖，再看旁邊列出的距離表，最後，他的視線停留在尹航劃掉的那幾行試圖用對稱群來分類的推導上。
尹航有一條路線，是想把旋轉翻折之後等價的構型先並掉，用對稱性減少枚舉。
方向很敏銳，但等價類並不等於上界。
它只能減少要看的圖，不能告訴你最遠的端點一定在哪裡。
姚思雨走的另一條路線，是按模塊之間的連接面面積來分類。
也沒有錯。
但分類一多，證明過程就會變成一個充斥著無數分類討論的泥潭，結果是自己也被繞進去了。
江臨從白板槽里拿起一根藍色的馬克筆，在白板最上方的一大塊空白處，寫了兩個字。
上界。
尹航皺了皺眉。
因為在他看來，這顯然是一句廢話。
「我們當然知道要求上界，問題是這個上界你怎麼抓，你怎麼能保證一個統一的公式能罩住所有亂七八糟的拼法？」
江臨轉過頭，看著尹航，平靜地說道：「你不知道怎麼抓，是因為你們從一開始，就把這道題當成空間拼圖在看。」
【寫到這裡我希望讀者記一下我們域名 找書就去 TW 看書網，𝓼𝓱𝓾.𝓽𝔀超全 】
此話一出，姚思雨猛地抬頭，盯著江臨。
江臨用手裡的藍色馬克筆在白板上點了幾個點，然後用線將它們連起來。
一個連接圖+有效位移的模型，取代了之前那些繁複的立體構型圖。
「幾何不能丟。」他說，「但不能一開始就被幾何圖形牽著走。先把每個模塊允許的連接位姿，壓成有限幾種有效位移，再把模塊之間的連接關係抽成圖。」
說著，他在其中一條路徑上畫了一個箭頭。
「真正要抓的是任意合法拼接里，兩個端點之間的歐氏距離，最多能從這些連接路徑里榨出多少。」
尹航皺眉：「所以不是枚舉形狀，而是先證明任何構型都不可能超過某條簡單鏈的展開長度？」
「對。」江臨點頭，「圖給出路徑結構，幾何約束給出每一步最多能貢獻的距離。兩者合在一起，才是上界。」
姚思雨盯著那條鏈狀結構，順著說道：「如果上界被這條鏈卡死，那我們只需要再構造一個具體拼法，證明它剛好能達到這個上界。」
「對。」
江臨在鏈的旁邊畫出一個近似拉直到極限的極端構型。
圖畫得瑞安潦草，但關鍵端點、連接面和相對朝向交代得一清二楚。
「先用連接圖和幾何約束證明上界，再用極端構型給出取等構造。一拉一推，這題就閉合了。」
「等一下。」
尹航皺著眉頭走近白板，用黑色馬克筆在江臨的構型旁邊補了一條旋轉虛線。
「這裡如果沿這條軸轉一次，會不會利用空間對角線讓端點更遠？」
江臨掃了一眼，搖頭說：「不會。」
「為什麼？」
「因為這一步旋轉只改變方向，不增加有效位移的模長。端點距離的投影已經被前面的連接約束卡住了。你能換坐標系裡的朝向，但不能憑空增加那一節貢獻的長度。」
尹航還是有些心有不甘，又指向原來的海星狀構型，說：「那這種非鏈狀分支呢，兩個分支端點之間會不會更長？」
「分支端點之間的距離，必須經過公共連接節點分解。三角不等式先給自然上界：d(A，B)≤d(A，C)+d(C，B)d(A，B)le d(A，C)+d(C，B)d(A，B)≤d(A，C)+d(C，B)。關鍵是取等條件。在這道題的連接約束下，兩條分支不能同時沿同一直線完全展開。你拉直一條，另一條的有效投影就會被折掉。」
江臨用筆在公共連接節點上點了兩下。
「所以分支結構最多逼近同等節數的鏈式上界，不可能超過它。」
姚思雨聽到這裡，終於全部明白過來。
立刻拿起筆，在自己的草稿紙上迅速補上了兩行關鍵的圖論轉化。
嘆道：「所以我們之前的枚舉，就像是拿著相機，在給所有可能的雕塑瘋狂拍照，試圖找出一張看起來最高大的。」
江臨點點頭，放下馬克筆，說：「數學不需要我們拍完所有照片，只需要我們證明，最高的那張照片，它的天花板在哪裡，然後證明有人能摸到那個天花板就行了。」
尹航看著白板，沉默了足足有半分鐘。
最後，他拿起黑板擦，果斷擦掉自己原先畫的十二種構型和旁邊那長長的距離表。
然後在江臨畫出的連接圖旁邊打了一個勾。
「行。」
尹航的語氣里的那種煩躁一掃而空。
「這個上界，閉合了。」
一直坐在窗邊沒參與進來的孟澈，此時默默地調整了一下坐姿。
他沒參賽，也不打算過度參與這道題的計算細節。
但他從這段對話里，聽出了熟悉的味道。
江臨剛才做的第一件事，是剝離。
把形狀，三維，磁性這些具有極強視覺干擾的物理外殼從問題里剝掉，然後換成圖結構，節點和上界。
這種處理問題的方式，太成熟了。
像什麼呢？
孟澈看著江臨削瘦的背影。
它更像一個老練的實驗物理學家，在面對極其複雜的系統誤差時，先不急著調儀器，而是先建誤差模型，把儀器誤差、讀數漲落和真實物理量一層一層地切分開。
……
第二張題面，是拆盲盒。
姚思雨嘆了口氣，把自己的草稿紙推了過來。
上面密密麻麻寫了半頁紙的公式。
「這題我一開始按具體的集合狀態寫了遞推。」
並沒有錯，只是太重了。
盲盒裡有若干種不同卡片。
每拿到一種新卡，擁有的集合狀態就發生改變。
如果按已經擁有的具體集合去寫狀態空間，狀態數量會呈指數級增長，很快就會變成一個災難性的馬爾可夫鏈轉移矩陣，根本沒法算，更沒法手寫證明。
「我也卡在這了。」
尹航在旁邊插話道。
「我明明知道它在宏觀上能壓縮，因為全收集的期望最終肯定收斂，但就是找不到最乾淨的壓法。把每一步抽到什麼卡的歷史都背在身上走，實在太蠢了。」
江臨看了一眼姚思雨的草稿紙，沒有去改她的公式。
直接在空白處寫下一行字。
還缺幾種。
姚思雨看著那四個字，怔了一下：「你一點都不關心當前手裡具體缺的是哪幾種卡？」
「不關心。」
江臨回答得很乾脆。
「題目的設定里，每一種盲盒被抽到的概率是均勻分布的，這意味著卡片本身是高度對稱的。」
江臨用筆在盲盒兩個字底下畫了條線。
「題目讓你求的是集齊所有卡片所需時間的期望值，不是讓你描繪收集過程中每一個具體集合長什麼樣。A，B，C和B，C，D在本質上是等價的。」
尹航的眼睛瞬間亮起，猛地一拍大腿，叫道：「我靠，所以不用管具體卡，直接按數量階段來分解？從缺k種卡，轉移到缺k-1種卡？」
「嗯。」江臨點頭。
姚思雨低頭，在紙上飛快地算了兩步，之前的複雜矩陣被瞬間降維。
「既然概率均勻，那在缺k種卡的狀態下，抽到一張新卡的概率就是 p_k=k/N。所以在這個階段停留的等待時間，就是一個參數為p_k的幾何分布。而它的期望……」
「幾何分布的期望是概率的倒數。」江臨接上了她的話，「所以這一階段的期望步數就是N/k。」
江臨說到這裡，看了一眼姚思雨因為激動而寫得越來越快的筆尖，適時地澆了一盆。
「不過在提交的時候還是不能直接從原題跳到這一步。」
姚思雨停下筆，有些不明所以地抬頭看他。
「先花半頁紙，嚴格說明為什麼你的馬爾可夫狀態可以從2^N壓縮到 N，也就是所謂的等價類劃分。否則閱卷教授會覺得你在偷換概念，用一個簡單的模型套一個複雜的題。」
姚思雨認真地點頭，準備繼續往下寫。
寫到一半，像是想到了什麼反例，眉頭皺了起來。
「等等，如果不同盲盒的抽取概率不均勻呢？比如有隱藏款，概率只有1%，其他是10%，那這個數量狀態壓縮就不成立了，缺A和缺隱藏款的期望完全不一樣。」
「是的，所以你要在證明的開頭，先濃墨重彩地寫明對稱性條件。題目給定的均勻抽取不是一句為了讓題面好看的裝飾語，我們進行狀態壓縮，真正要算的是N個階段期望。」
尹航聽到這裡，忍不住吐槽了一句：「你做題的時候，腦子裡還一直想著閱卷人啊？」
「想著覆核。」江臨認為自己應該糾正他的用詞。
「數學競賽也叫覆核？」
「只要是需要人去驗證的邏輯鏈，就叫覆核。」江臨看著尹航，「證明寫出來，就是給別人覆核的。如果你的解答只有你自己懂，那不叫數學證明，那叫私人日記。」
一旁的孟澈聽得是直點頭。
覆核這個詞，他太熟了。
老闆在組會上不知道罵過他們多少次類似的話。
「科研不是你自己覺得數據好看就行。你要把你的實驗條件，你的誤差分析，你的數據處理流程清清楚楚地寫在Paper里，讓大洋彼岸另一個素不相識的同行，能在他自己的實驗室里，在合理的時間內把你的結果覆核出來。不能覆核的東西，就是偽科學。」
數學競賽顯然也是一樣的邏輯。
會做，只是第一步，最多算自己通過了。
能寫成讓挑剔的評審在有限時間內穩定覆核的證明，才算真正完成。
已經想通透了的姚思雨，把草稿紙上那一大片舊的遞推公式用力劃掉，長舒了一口氣，整個人都放鬆了下來。
「太好了，這樣就乾淨多了。我之前的問題是歷史包袱太重，跟背著一座山似的。」
江臨點點頭：「狀態里當然只需保留影響未來的最小信息，因為多一絲都是累贅。」
最小充分狀態？
一旁笑眯眯的孟澈忽然捕捉到了關鍵詞。
先找狀態，再找邊界。
最後判斷，哪些信息是必須保留的承重牆，哪些信息只是花里胡哨的壁紙和噪聲。
這是一種拆解世間一切複雜系統的底層方法論。
不是一個能在單純的數學競賽題集裡學到的漂亮說法。
可比會做題的天才厲害多了。
聯想到這位才讀高三的小師弟，一出山就幫大家解決了數據漂移的問題。
孟澈腦子裡冒出一個不太嚴肅的念頭。
這不就是先天科研聖體嗎？