将约束程序转化为局部搜索的输入 / Transforming Constraint Programs to Input for Local Search
1️⃣ 一句话总结
本文提出了一种自动将约束优化问题的规范转化为局部搜索算法所需邻域结构的方法,利用问题中的对称性来生成有效的搜索空间,并在六个经典问题上验证了该技术的可行性。
Applying local search algorithms to combinatorial optimization problems is not an easy feat. Typically, human intervention is required to compile the constraints to input data for some metaheuristic algorithm. In this paper, we establish a link between symmetry properties of constraint optimization problems and local search neighborhoods, and we use this link to automatically generate neighborhoods from a constraint specification in the context of the IDP system. We evaluate the obtained neighborhoods for six classical optimization problems. The resulting observations support the viability of this technique.
将约束程序转化为局部搜索的输入 / Transforming Constraint Programs to Input for Local Search
本文提出了一种自动将约束优化问题的规范转化为局部搜索算法所需邻域结构的方法,利用问题中的对称性来生成有效的搜索空间,并在六个经典问题上验证了该技术的可行性。
源自 arXiv: 2605.19671