本立場論文聚焦於混合整數線性規劃(MILP)決策引擎在實際部署中的求解後魯棒性問題。儘管求解器通常輸出名義上最優的計劃,但實際運行中成本、需求或資源可用性的微小擾動可能導致解變得不可行或突變為完全不同的方案。為此,作者提出在現有優化流水線中增加一個後求解魯棒性審計層,該層對已求解的當前解進行審計,返回基於求解器的證據以説明解的可靠程度。
論文形式化兩個核心概念:(i) 參數空間中的ε-近優可行鄰域,描述當前解在何種參數擾動下仍保持可行且接近最優;(ii) 決策空間中的解平滑性,衡量通過小幅組合編輯獲得的鄰近解是否仍具競爭力。作者綜合了敏感性分析、穩定性分析、魯棒優化、鄰域搜索、對抗測試以及基於學習的增強方法等方面的現有成果,並提出了統一後求解魯棒性層的研究議程。
具體而言,論文呼籲四個方面的工作:圍繞當前解的 certified 內部近似(即嚴格保證的可行區域)、帶校準不確定性的概率魯棒性估計、對抗魯棒性邊界,以及基於學習的預測和解釋(與求解器驗證對齊)。最後,作者給出了一個簡潔的報告模板和評估協議,旨在使魯棒性成為決策引擎的一類標準輸出。