minizinc中的power-of（pow）約束

Question

minizinc中可以支持pow約束的方式（直接或間接）嗎？ Gecode支持帶有float和int變量的pow constraint，但是Minizinc和FlatZinc不支持變量的pow。 Minizinc和Flatzinc僅支持模型參數。 任何指針可以在MiniZinc中添加對Flatzinc（mzn2fzn）解析器的支持來執行此操作。

我想要有一個約束，如 - 「pow（4，x）== y」，即4^x == y。

Answer 1

我知道在當前版本的MiniZinc中使用pow/2和決策變量是不可能的。

也許用「存在」來模擬它就足夠了？這裏有一個簡單的例子（在這個例子中「我」的域太大了）。

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]) ];