這個想法比他之前設想的“不變數”更精細。
不變數是標量函式，太粗了。
迷向子群型別是代數結構，資訊量大多了。
他立刻在筆記本上把這個思路記下來，然後開始推導。
之後，他用了一整個上午來驗證這個思路在簡單例子上的可行性。
他先構造了幾個低維的測試函式，每個函式都定義一個簡單的李群作用，即旋轉群或者平移群。
然後他計算每個點上的迷向子群，分類，再對比這些分類和函式極值點的分佈。
結果比他預想的要好。
在旋轉對稱的函式上，全域性最優點恰好是迷向子群最大的那些點，也就是旋轉對稱性最高的點。
在平移對稱的函式上，全域性最優點落在迷向子群平凡的軌道上，也就是沒有任何對稱性的點。
兩種極端，但都有規律。
肖宿靠在椅背上，看著白板上密密麻麻的推導，長長地撥出一口氣。
可行。
至少在簡單例子上，可行。
接下來要做的，是把這套方法推廣到一般情況。
需要證明存在性，需要給出構造演算法，需要分析計算複雜度，需要驗證在高維非線性系統上的表現……
事情還很多。
但最難的關口，已經過了。
肖宿站起身，活動了一下有些僵硬的肩膀。
接下來幾天，肖宿沿著這個方向不斷思考，終於在一個雨天寫完了最終的論文。
他靠在椅背上，盯著螢幕上那篇三十七頁的文件，發了幾秒鐘的呆。
圖書館的空調不停地散發著冷氣，窗外的大雨撲在玻璃牆上，顯出一種沉重的壓抑。
手機震了一下。
是顧清塵的資訊。
“完事沒？我在圖書館門口了。”
肖宿回了個“嗯”，關掉電腦，拿起傘出門。
樓門口，顧清塵撐著傘站在那裡，手裡拎著兩個保溫杯，裡面裝著紅棗桂圓茶。
“走，去我辦公室說。”
”。著亮還燈裡屋你看，室寢你過路點二十上晚他，說我跟然浩劉？了夜熬又是不是天幾這你“，宿肖給遞杯個一中其把他
。話接沒，杯溫保過接宿肖
。去室公辦往人著領，頭搖了搖的奈無，傻裝在他出看塵清顧
。花水串一出踩底鞋，幕雨過穿人兩
”？了好想題標“:問又塵清顧候時的樓上
。說宿肖”。了好想“
”？麼什“
”。》法方化佳最域全線非維高的類分道軌群李於基《“
。門的室公辦開推，頭點點塵清顧
。刊期的半一到翻本幾著攤上桌，書了滿塞上架書，燈著開裡屋
”。看看我給，來“:置位的邊旁拍了拍，下坐子椅把一過拖，下放杯溫保把塵清顧
。去過轉幕螢把，腦電啟開宿肖
。聲雨的瀝瀝淅淅外窗有只，來下靜安裡室公辦
。神出段一某著盯來下停爾偶，鼠下一爾偶，看下往行一行一塵清顧
。上幕雨的外窗在落目，茶著喝邊窗在靠宿肖
。雜複點有表，頭起抬塵清顧，鐘分十二了過概大
”。題問個一了決解是只不這你“，言語織組在是像，頓了頓他”……這你“
。話說沒宿肖
。去回翻再，行幾看再，頁幾了翻前往，頭下低又塵清顧
。氣口了吐地長長，靠一上背椅往，放一鼠把他後最，次幾覆反此如
”？想猜個那什德爾埃得記不記你“
。頭點宿肖
。威權對絕的域領析分線非際國，授教的學大頓斯林普是什德爾埃
。明證能沒直一，想猜的在存解優最域全式函凸非維高於關個一了出提前年十二在他
。步大一推前往能礎基論理的化佳最域全，來出證能是要想猜個這
”。了證他給手順，面裡這你“:幕螢著指塵清顧
。聲一了”嗯“宿肖
”。眠失得計估，文論這你到看是要子爺老什德爾埃“，了笑塵清顧”？’嗯‘就“
”。謝致個加我那“:想了想宿肖
。來聲出笑後然，秒兩了愣，下一了噎話這他被塵清顧
”。害厲你，行行行“
”？嗎了好想稿投“，問然忽，雨的面外著看，邊窗到走，來起站他
”。吧》明發學數《“:說宿肖
。上刊期本這在發是就，文論的算計量度權加近附點奇曲雙點理有於關篇那前之宿肖
。問多再沒，頭點點塵清顧
。了宿肖解了夠足經已他
。的了楚清想己自是都，定決個一每的做他，別型的議建者或勵鼓人別要需種那是不他
。話廢是而反了多問
。雨的細細變，些了小雨
”。吧投就那“:他著看地定定塵清顧
。聲一了”嗯“，頭點點宿肖
