問題タブ [minizinc]

私は minizinc で書かれた単純なモデルを持っており、最初に flat-zinc にコンパイルすることで解決するために gecode を使用しています。入力として、モデルはいくつかの定数、配列、および行列 (2 次元配列の形式) を取ります。モデルの出力は、いくつかの制約を満たす必要がある別の 2 次元マトリックスです。

ターゲットの最適化は、出力マトリックスの特定の関数であり、次のように定義される「ターゲット」の値を最小化することです。

このモデルを次のように実行すると:

リストの最後のソリューションが最適であるという一連の可能なソリューションを見ることができます。ただし、出力ステートメントをモデルに追加して「ターゲット」変数の値を出力すると、解決策がまったく見つからずに gecode が何時間もハングし、中断された場合は ==UNKNOWN== が出力されます。

これは予想される動作ですか? もしそうなら、その理由を説明していただけますか?

乾杯

var float 配列の各要素がすべて異なるように制約する必要があるモデルがあります

グローバル alldifferent グローバル制約を使用しようとしましたが、次のエラーが発生します。

そこで、 alldifferent 制約を次の理解に置き換えました。

しかし、Geocode ソルバーを使用すると、次のエラーが発生します。

G12 MIP ソルバーを使用すると、次のエラーが表示されます。

この制約をエンコードする別の方法はありますか?

私の Minizinc プロジェクト内で、n セットの配列を生成しようとしています。t 個の異なる数字の配列
が与えられると、基数が配列 m で指定される n 個の異なるセットが生成されます。例: t = 10; n = 4; m = [3, 2, 2, 3]; セットの配列を生成したい x = [1..3, 4..5, 6..7, 8..10];

しかし、以下のコードから得られるのは x = [1..3, 4..5, {6,10}, 7..9]; です。(私の
目的はセットの中間配列を生成することだけなので、ソルブの最小化やその他のさまざまなソルブは使用したくありません。)

次の minizinc モデルがあります。

モデルには自明な解 0=A_1_1=A_2_1=A_3_1 が必要です。ただし、Gecode やその他のソルバーは、これを満足できないと報告しています。

私は何を見落としていますか？