2

我想对列表的所有值做一个简单的约束，我希望数组每一行的每个索引都具有以下（ic）约束：

500 #= 2^X1 + 2^X2 + 2^X3 + ... + 2^X9

我尝试执行下面的代码。数组是一个 9x9 矩阵，对于每一行，我都希望满足上述约束。但是，这似乎不起作用，程序没有找到任何满足约束的可能值。

model(Array) :- 
Array :: 1..9,
(for(I,1,9), param(Array) 
 do
      X1 is Array[I,1],
      X2 is Array(I,2],
      X3 is Array[I,3],
      X4 is Array[I,4],
      X5 is Array[I,5],
      X6 is Array[I,6],
      X7 is Array[I,7],
      X8 is Array[I,8],
      X9 is Array[I,9],
      500 #= 2^X1 + 2^X2 + 2^X3 + 2^X4 + 2^X5 + 2x^X6 + 2^X7 + 2^X8 + 2^X9

),
term_variables(Array,L),
labeling(L),
printBoard(Array).
4

1 回答 1

2

这似乎是涉及幂表达式的整数约束实现中的一个错误。由于您的变量无论如何都是积分的，您可以替换#=with$=并且它会起作用（#约束应该对变量施加完整性，而$约束不这样做）。

顺便说一句，您可以这样缩短代码：

    ...,
    ( foreacharg(Row,Array) do
        ( foreacharg(X,Row), foreach(2^X,Powers) do true ),
        500 $= sum(Powers)
    ),
    ...
于 2016-05-20T11:18:03.683 回答