0

[我使用的是 Choco 3.3.3]

我有一个 IntVar a 和一个 int b。我想将差异保存到 IntVar[] 数组 d 中。我在代码中的另一点以完全相同的方式完成了此操作，并且它没有问题地工作，但在这里我只是没有让它工作。

d = VF.boundedArray("d", num_ts, -20, 20, solver);
for(int t=0; t < num_ts; t++){
    IntVar a = VF.bounded("a", 0, 10, solver);
    solver.post(ICF.sum(aa[t], a)); //values are [2,2,2,1,2,2]
    int b = bb[t][j]; //values are [2,3,2,2,2,2]
    IntVar c = VF.offset(a, -b);
    ...//see below
}

当我只使用 c (d[t] = c;) 时，打印出 d 的值时的结果是 [0, -1, 0, -1, 0, 0]，但我需要绝对值，所以[0,1,0,1,0,0]

这些是我尝试过的不同方法以及 d 的结果：

d[t] = VF.abs(c); //result [0,0,0,0,0,0]
solver.post(ICF.times(c, -1, d[t])); //result [-7,-6,-7,-7,-7,-7]
solver.post(ICF.sum(new IntVar[]{VF.minus(a), VF.fixed(b, solver)}, d[t])); //result [-7,-6,-7,-7,-7,-7]
solver.post(ICF.arithm(a, "+", d[t], "=", b)); //result [-7,-6,-7,-7,-7,-7]
solver.post(ICF.distance(VF.fixed(b, solver), a, "=", d[t])); //result [-20, -20, -20, -20, -20, -20]

谁能告诉我我做错了什么？我特别困惑 [-7,-6,-7,-7,-7,-7] 来自哪里......

4

1 回答 1

0

我不确定我是否理解您想要做什么以及您真正尝试了什么，但我的猜测是您没有“解决”模型（或者至少您没有传播约束）。如 javadoc 中所示，variable.getValue() 在未实例化变量的情况下返回 LOWER BOUND（将 -ea 传递给 JVM 参数时会引发异常）。所以添加 -ea，确保在询问变量值之前调用 solver.findSolution() 并查看它是否工作。如果没有，请发送可执行代码，以便我们重现问题。它解决了你的问题吗？

让-纪尧姆，https://www.cosling.com/

于 2016-03-04T19:34:33.263 回答