如何用OR-工具的CP求解器建立我自己的全局约束？

Question

我是data mininig的博士生，为了数据挖掘的目的，我必须用ORtools创建一个全局约束。

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

Answer 1

这显然是可能的，但非常繁琐，而且非常复杂。

编写新的约束意味着：

扩展proto支持constraint

• writing、输入validation

• writing、解决方案checker

• writing、加载(CP引擎)代码

• 、编写预解rules

• writing传播代码的
• 。这是很复杂的，因为每个演绎都需要完全explained.
• writing线性化/剪切生成代码

。

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

因此，我建议将约束扩展到较小的约束。实际上，大多数CP约束都是扩展的(所有的元素、表、库、逆、自动机、某些积、某些模)。

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

谢谢