2

我有一个用 minizinc 编写的简单模型，我使用 gecode 通过先将其编译成 flat-zinc 来解决它。作为输入，模型采用一些常量、数组和矩阵（以二维数组的形式）。模型的输出是另一个必须满足某些约束的二维矩阵。

目标优化是最小化“目标”的值，它是输出矩阵的一个特定函数，定义如下：

var float: target = sum(i in 1..nodes, j in 1..nodes) (F(i, j) * output_matrix[i, j]);
solve minimize target;

当我按如下方式执行此模型时：

mzn2fzn model.mzn model.dzn
fzn-gecode -a model.fzn

我可以看到一系列可能的解决方案，列表中的最后一个是最佳解决方案。但是，如果我将输出语句添加到模型中以打印“目标”变量的值 - gecode 会挂起数小时而根本找不到任何解决方案，如果中断则打印 ==UNKNOWN==。

output [
"target: ", show(target), "\n"
];

这是预期的行为吗，如果是，您能解释一下原因吗？

干杯

4

2 回答 2

2

发生这种情况是因为输出语句在求解阶段对变量顺序有影响。

在您的情况下，您输出“目标”，因此求解器将尝试首先将值分配给“目标”，然后将值分配给 F 矩阵（我假设 F 是您的决策变量？），并且这种求解顺序可能需要永远。

2个选项：

  • 尝试先输出矩阵 F，然后输出目标变量

output [show(F),show(target)];

  • 指导求解器在求解过程中首先为 F 赋值

solve ::int_search(array1d(F),input_order, indomain, complete) minimize target;

于 2017-10-10T23:55:19.990 回答
0

输出[“目标：”++显示（目标）++“\n”]；

于 2017-07-04T00:33:14.693 回答