第42章暴力，不是數學的終極美學！
第42章暴力，不是數學的終極美學！(第2/4頁)
了火花。
像是黑夜裡找到了同路的旅人，身體微微前傾，壓低了聲音。
“我想到了一個辦法。可能……有點笨，但我覺得，這是我們唯一的機會了！”
“說來聽聽。”許燃來了興趣。
“計算機！”
簡瑤的語氣，帶著壓抑不住的興奮，她從運動褲的口袋裡掏出一個小巧的u盤，“啪”的一聲放在桌上。
“我們人類的思維，在處理這種大規模的組合爆炸問題時，有天然的局限性。
我們的腦子會被無數種可能性撐爆！但計算機冇有！”
她仿佛化身成一個即將發動總攻的將軍，眼睛裡閃爍著智慧的光芒，語速飛快。
“我認識一個大學導師，是研究算法的教授。他曾經給我看過一個叫‘sat求解器’的東西。
那玩意兒簡直就是個怪物，一種專門用來解決布爾可滿足性問題的程序！”
“我們可以把‘尋找一個42階的，無k5且無5-獨立集的圖’這個問題，轉化為一個龐大的布爾可滿足性問題！
用成千上萬個邏輯變量，去代表這42個點之間到底有冇有邊！
再用上百萬個子句，去約束這個圖裡不能出現k5和5-獨立集！”
她越說越激動，白皙的臉頰因為興奮而泛起紅暈。
“雖然這個布爾表達式可能會有數百萬個變量和上千萬個子句，運算量會達到一個天文數字。
但我可以求我導師幫忙，他有權限動用國家超算中心的計算資源！
讓‘天河’來跑！也許……也許真的能跑出一個結果來！”
“隻要能跑出來，我們就成功了！”
一個聰明的想法。
將一個純粹的，考驗人類靈感極限的數學構造問題，轉化為一個工程學的，考驗算力極限的計算問題。
用現代科技的暴力美學，去硬碰硬地對抗這道古典的數學難題。
簡瑤滿懷期待地看著許燃。
她甚至已經能想象到，當她們拿著超算跑出來的結果拍在劉教練桌上時，他會是何等震驚的表情。
她等待著許燃的讚同和驚歎。
然而，許燃聽完後，隻是靜靜地看著她，然後，緩緩地，搖了搖頭。
像一盆冰水，從頭到腳澆滅了簡瑤所有的熱情。
她臉上的興奮，瞬間凝固了。
“為什麼？”
她脫口而出，聲音裡充滿了不解和一絲委屈，“難道這個方法不可行嗎？”
“可行。”
許燃的回答，完全出乎她的意料，卻讓她更加迷惑。
“理論上完全可行。
把問題編碼成sat實例，交給超算去求解，是目前計算機科學家攻擊拉姆齊數問題的主流方法之一。
如果運氣好，超算說不定真的能給你一個答案。”
“那你為什麼搖頭？”簡瑤的眉頭緊緊蹙起，她完全無法理解許燃的邏
（本章未完，請點擊下一頁繼續閱讀）