否存在一種可以“規避”的方案?
【傳統構造路徑】
“使用有限域的二次剩餘進行構造?這是競賽中最經典的解法。”
“設圖的頂點集為有限域F??的元素。
如果b-a是F??中的二次剩餘,則邊(a,b)染成紅色,否則染成藍色。”
“開始驗算。
是否存在紅色K??
這需要找到四個頂點x?,x?,x?,x?,使得它們兩兩之差都是二次剩餘。
這等價於一個複雜的數論方程組求解……”
“計算量……巨大!
驗算過程極其複雜,一步算錯,滿盤皆輸。”
【降維打擊路徑】
“組合構造的本質,是尋找一種足夠優美的‘對稱性’。”
許燃的思維,瞬間拔高到了一個全新的維度。
“傳統的對稱性,來自於群論。
但對於這種問題,還有一種更強大的工具。”
一個名字在他腦中浮現。
【波利亞計數定理】
這是一個研究“模式”數量的強大武器,其核心是“置換群”和“生成函數”。
“太超綱了,直接寫出來,會被判零分。”
“但是……我不需要寫出定理的名字。
我隻需要……借用它的思想。”
在線程中,許燃沒有去硬碰硬地計算二次剩餘。
他將整個問題,想象成一個置換群作用在染色集合上的不動點計數問題。
他開始在腦海中,構造一個“等價類”。
“將所有同構的染色方案,視為一種方案。我要找的,隻是其中的一個代表元。”
“這個代表元,必須具有最強的對稱性,最和諧的結構。”
他的思維,不再是“解題”,而是在“創造”。
像一個造物主,在設計一個結構最穩定、最和諧的宇宙模型。
一個基於循環群C??的,無比精巧的染色方案,在他的腦海中,漸漸清晰起來。
“有了。”
本章節來源於𝑜𝑜𝑝.𝑡𝑤
當腦海中三道題的最優解法路徑,都散發出清晰明亮的金色光芒時。
外界,才剛剛過去一個小時。
。眼開睜燃許
。號符和字文的解理以可類人成譯翻,徑路的色金條三將,上紙稿草在始開,筆起提他
。內室控監
。筆落始開燃許著看,幕屏著盯死死業偉錢
。呼驚練教個一邊旁”!度速的快好“
。著動滑地水流雲行上紙在,尖筆的燃許見隻
!驟步明證的謹嚴輯邏、晰清理條是而,算演的亂雜是不的寫他
。品刷印的美完份一是像更,稿草像不得淨乾,紙稿草的他
”!’寫默‘在是他,考思在是不他“
。紅通得漲而動激的度極為因,臉老的業偉錢
”!了成完裡子腦在都,程過考思的有所把他……子小這“
。棄放是不,呆發是不,坐靜的時小個一
。鬥戰場整了束結經已,中堂殿維思的探窺法無人凡片那在是而
。品利戰繳收,場戰掃打是隻,的做要他,在現
。算演學數成完中腦在地隨時隨以可,大強夠足你要隻,在所殊特的學化和理物於別有學數是就這
!果結的出得證驗驗實過通須必樣那學化和理物像是不而