或者工具 cp_model 知道哪个约束失败了

Posted 2023-02-16

【中文标题】或者工具 cp_model 知道哪个约束失败了

【英文标题】：Or tools cp_model know which constraint is failing

【发布时间】：2021-05-03 16:29:32

【问题描述】：

用于 cp_model 调度问题的工具。 我在模型中添加了 8 个约束，如果返回的解决方案状态为不可行，我的问题是是否有办法知道哪个约束无法满足，并且是返回不可行作为状态的原因。

任何帮助表示赞赏并提前致谢。

【参考方案1】：

有多种方法：

逐个删除它们？ 尝试注入已知溶液。 最小化问题的大小以帮助调试。

如果你可以重写模型，你可以看看assumptions sample。 使用相同的模型，您可以尝试最大化强制约束的数量（而不是使用假设）。

【讨论】：

感谢您的回复，但我想知道是否有一些东西可以帮助指示不满足哪个约束作为算法的响应，以帮助用户知道那里的问题在哪里输入数据，当然，如果可能的话。