速報
大型語言模型與自動啟發式設計:知識優先的自上而下搜尋
研究聚焦大型語言模型在組合優化中的自動啟發式設計。論文提出以知識為主的自上而下搜尋,將知識當作主要搜尋目標,再以程式實現驗證其效用。相比以程式為中心的做法,知識優先能提升發現效率與跨問題推廣性。並指出結合兩種策略可帶來額外提升,且重要在於構建可解釋且跨路徑保留價值的假說演化。
速報
研究聚焦大型語言模型在組合優化中的自動啟發式設計。論文提出以知識為主的自上而下搜尋,將知識當作主要搜尋目標,再以程式實現驗證其效用。相比以程式為中心的做法,知識優先能提升發現效率與跨問題推廣性。並指出結合兩種策略可帶來額外提升,且重要在於構建可解釋且跨路徑保留價值的假說演化。
超圖神經網路
最小不可滿足子集列舉因搜尋空間指數成長而具挑戰性。研究者利用超圖神經網路與強化學習,將限制建構為節點、已列舉的 MUS 為超邊,訓練代理人減少可滿足性檢查。實驗證明在相同檢查預算下,可列舉更多 MUS,提升效率。