arXiv ID:
2605.19671
arXiv 提交日期: 2026-05-19
将约束程序转化为局部搜索的输入 / Transforming Constraint Programs to Input for Local Search
1️⃣ 一句话总结
本文提出了一种自动将约束优化问题的规范转化为局部搜索算法所需邻域结构的方法,利用问题中的对称性来生成有效的搜索空间,并在六个经典问题上验证了该技术的可行性。