1

我是 minizinc 和优化的初学者。我试图充实一条只有平均十分位数统计数据可用的点曲线。

这是我的模型：

array[1..10] of float: deciles;
deciles=[0.01469197, 0.02633663, 0.03507719, 0.04723933, 0.05927129, 0.07852426, 0.09907269, 0.12420518, 0.19467811, 0.60604946];

float:maxa=10.0;
float:maxb=20.0;
float:maxc=10.0;
float:maxd=200.0;
var 0..maxa: a;
var 0..maxb: b;
array[1..1000] of var 0..maxc: c;
array[1..1000] of var 0..maxd: d;

constraint forall(k in 1..1000) (d[k]=a*pow(int2float(k)/10,2)+b*int2float(k)/10+c[k]);

constraint forall(i in 1..10) (sum(j in (i-1)*100+1..i*100) (d[j]) = deciles[i]*100);
solve minimize max(c)-min(c);
output[show(max(c)-min(c))];

我认为这将是一个简单的模型，但是从 minizinc IDE（gecode 求解器）运行时，我得到以下输出：

Compiling IstanbulDeciles.mzn
Running IstanbulDeciles.mzn
Command line:
fzn-gecode -s "/tmp/MiniZinc IDE-6zuoJB/IstanbulDeciles.fzn"

然后是带有标题的弹出窗口：

“执行 MiniZinc 解释器时出现未知错误。”

到目前为止，我遇到的所有其他失败都产生了关于哪里出了问题的指标，但我不知道从哪里开始。谁能帮助或指出我哪里出错了？

4

0 回答 0