将约束程序转化为局部搜索输入

arXiv cs.AI 2026/05/20 04:00 论文

摘要

本文提出了一种方法，利用对称性质从约束规范中自动生成局部搜索邻域，并在六个优化问题上进行了评估。

arXiv:2605.19671v1 Announce Type: new 摘要：将局部搜索算法应用于组合优化问题并非易事。通常需要人工干预，将约束编译为某种元启发式算法的输入数据。本文建立了约束优化问题的对称性质与局部搜索邻域之间的联系，并利用这一联系在IDP系统的上下文中从约束规范自动生成邻域。我们对六个经典优化问题所获得的邻域进行了评估。观察结果支持了该技术的可行性。

查看原文

相似文章

# 超越目标等价性：基于LLM的车辆路径问题优化建模中的约束注入

arXiv cs.AI

北京航空航天大学与百度的研究人员提出"约束注入"方法——一种用于基于 LLM 的优化建模的双重验证机制，能够检测超出目标等价性范围的虚假约束或遗漏约束。他们开发了 VRPCoder，这是一个 80 亿参数的模型，专门用于将自然语言描述的车辆路径问题转化为 Gurobi 脚本，平均 Pass@1 达到 93%，大幅超越 Claude Sonnet 及此前的运筹学 LLM。