data-mining - 如何使用 OR 工具的 CP-SAT 求解器构建我自己的全局约束？

Question

我是数据挖掘领域的博士候选人，我必须使用 ORtools 创建全局约束以实现数据挖掘目的。

问题是互联网上缺乏有关使用 CP-Sat 创建自己的全局约束的文档，我不知道如何开始。

Answer 1

这显然是可能的，但非常乏味且非常复杂。

编写新约束意味着:

• 扩展原型(prototype)以支持约束
• 编写输入验证
• 编写解决方案检查器
• 编写加载(进入 CP-SAT 引擎)代码
• 编写预求解规则
• 编写传播代码。这很复杂，因为每项扣除都需要充分解释。
• 编写线性化/切割生成代码

最后 3 项非常容易出错，并且很难调试，因为剪切和解释的效果会延迟，有时甚至从未使用过。

出于这些原因，我建议将约束扩展到更小的约束。事实上，大多数 CP 约束都得到了扩展(alldiff、元素、表、存储库、逆、自动机、一些乘积、一些模)。

您还可以提交新约束的功能请求。如果它足够有用/通用，它就可能发生。

谢谢