Java Choco CSP 使用变量总和进行优化

Question

我正在使用 Choco 来解决 CSP。我想做这样的事情：

BoolVar[] badRow = getBadRow();
solver.findOptimalSolution(ResolutionPolicy.MINIMIZE, sum(badRow));

换句话说，我希望系统找到一个解决方案，其中 badRow 的真值最少。我不希望这是一个“约束”，因为那样系统就会失败，我想避免失败。但我找不到任何方法来创建 IntVar 作为其他变量的总和。

我该如何做到这一点？

Answer 1

我完全是从错误的角度来看待这个问题的。我没有尝试将变量构建为其他变量的总和，而是创建了一个普通变量，然后 Constrain 它成为其他变量的总和，如下所示：

IntVar overflows = VariableFactory.integer("overflows", 0, maxOverflows, solver);
Constraint tracker = IntConstraintFactory.sum(badRow, overflows);
solver.post(tracker);
solver.findAllOptimalSolutions(ResolutionPolicy.MINIMIZE, overflows, true);

这就解决了。我现在因为没有看到它而感到愚蠢。