菜单

关于 🐙 GitHub
arXiv 提交日期: 2026-05-19
📄 Abstract - Transforming Constraint Programs to Input for Local Search

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.

顶级标签: systems machine learning
详细标签: constraint programming local search neighborhood generation optimization automated modeling 或 搜索:

将约束程序转化为局部搜索的输入 / Transforming Constraint Programs to Input for Local Search


1️⃣ 一句话总结

本文提出了一种自动将约束优化问题的规范转化为局部搜索算法所需邻域结构的方法,利用问题中的对称性来生成有效的搜索空间,并在六个经典问题上验证了该技术的可行性。

源自 arXiv: 2605.19671