constraints - minizinc 中的功率 (pow) 约束

Question

有什么方法(直接或间接)可以在 minizinc 中支持 pow 约束。 Gecode 支持 pow constraint使用 float 和 int 变量，但是 Minizinc 和 FlatZinc 不支持变量的 pow。 Minizinc 和 Flatzinc 仅支持模型参数的 pow。任何有关在 MiniZinc 中向 Flatzinc (mzn2fzn) 解析器添加支持以执行此操作的指示。

我想要一个约束，例如 - "pow( 4, x ) == y "，即 4^x == y 。

Answer 1

据我所知，在当前版本的 MiniZinc 中不可能将 pow/2 与决策变量一起使用。

也许用“exists”来模拟它就足够了？这是一个简单的例子(这个例子中“i”的域太大了)。

var 0..10000: x;
var 0..10000: y;
solve satisfy;

constraint
      exists(i in lb(x)..ub(x)) (
         i = x /\
         pow(4,i) = y
      )
;

output [ show([x,y]) ];