入力データの低コスト順列を見つけて、何かの「コスト」を最小限に抑えたい MiniZinc アプリがあります。ので、私は持っています：
array[1 .. n] of var 1 .. n: Seq;
...
constraint alldifferent( [ Seq[i] | i in 1 .. n ]);
次に、Seq に基づいてコストを計算します。アプリは動作し始めていますが、実行時間が長すぎて、n が非常に小さい数を超えています。どうやら、ソルバーはすべての n! を試します。可能性。これをどのようにスケーリングしますか？