[论文解读] Combining finite and continuous solvers

Jean-Guillaume Fages, Gilles Chabert+1 more|arXiv (Cornell University)|Feb 6, 2014

Parallel Computing and Optimization Techniques参考文献 3被引用 4

一句话总结

本文提出了一种轻量级、可互操作的桥梁，连接有限域求解器 Choco 与连续域求解器 Ibex，使 Choco 能原生使用 Ibex 的区间算术来建模复杂的连续约束。通过将 Ibex 嵌入为全局约束，Choco 在无需重复开发工作的情况下获得了对非线性及统计约束的表达能力，显著提升了建模灵活性，同时降低了维护开销。

ABSTRACT

Combining efficiency with reliability within CP systems is one of the main concerns of CP developers. This paper presents a simple and efficient way to connect Choco and Ibex, two CP solvers respectively specialised on finite and continuous domains. This enables to take advantage of the most recent advances of the continuous community within Choco while saving development and maintenance resources, hence ensuring a better software quality.

研究动机与目标

• 解决将先进的连续域求解技术集成到 Choco 等有限域求解器中，而无需重复开发工作的问题。
• 使 Choco 用户能够通过简单、表达性强的接口建模复杂的连续约束（如非线性方程、统计函数和物理模型）。
• 使 Choco 和 Ibex 的开发者能够专注于各自的优势领域（有限域与连续域），同时通过共享维护提升软件质量。
• 提供一种通用、可重用的集成模式，可扩展至其他求解器或建模框架。

提出的方法

• 设计一种桥梁，将 Ibex 的收缩器作为全局约束暴露在 Choco 的约束传播框架中。
• 将连续约束表示为数学表达式的字符串（例如 "(x+y)/2=z"），由 Ibex 的区间算术引擎解析并执行。
• 在 Choco 中使用真实变量视图，将有限域整数变量与连续表达式关联，实现混合建模。
• 利用 Ibex 内置的收缩器（如 HC4、Shaving、X-newton）对连续约束进行界一致性传播。
• 实现一种轻量级、语言无关的接口，避免深度代码集成，同时保持性能与正确性。
• 在涉及整数分配与连续目标函数的真实混合问题（Santa Claus 问题）上验证该方法。

实验结果

研究问题

• RQ1 像 Choco 这样的有限域求解器能否高效且可靠地利用 Ibex 这类专用连续求解器的先进连续求解能力？
• RQ2 如何以最小的实现与维护开销，将连续求解器集成到有限域框架中？
• RQ3 通过该桥梁，混合建模（结合离散与连续约束）在多大程度上可以自然且高效地表达？
• RQ4 这种集成对建模表达能力有何影响，特别是对于非线性和统计约束？
• RQ5 该方法是否可推广至其他求解器，或可作为未来求解器互操作性的模板？

主要发现

• 该桥梁成功使 Choco 能够使用简单、基于字符串的接口建模并求解涉及有限域与连续域的混合问题。
• 该集成允许直接建模复杂的连续约束，如统计函数（例如 Deviation、Spread）和非线性方程，而无需特殊重构。
• Santa Claus 问题被最优求解，平均偏差为 2.8888888888888866，证明了该框架的实际有效性。
• 该方法通过在 Choco 中重用 Ibex 成熟的连续求解技术，显著降低了开发与维护成本。
• 通过使用真实变量视图，整数变量可无缝参与连续表达式，扩展了建模范围。
• 该框架具有通用性与可扩展性，为专用求解器之间的互操作性提供了可重用的范例。