問題タブ [gecode]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
minizinc - 出力ステートメントが導入された場合、MiniZinc は解決策を見つけることができません
私は minizinc で書かれた単純なモデルを持っており、最初に flat-zinc にコンパイルすることで解決するために gecode を使用しています。入力として、モデルはいくつかの定数、配列、および行列 (2 次元配列の形式) を取ります。モデルの出力は、いくつかの制約を満たす必要がある別の 2 次元マトリックスです。
ターゲットの最適化は、出力マトリックスの特定の関数であり、次のように定義される「ターゲット」の値を最小化することです。
このモデルを次のように実行すると:
リストの最後のソリューションが最適であるという一連の可能なソリューションを見ることができます。ただし、出力ステートメントをモデルに追加して「ターゲット」変数の値を出力すると、解決策がまったく見つからずに gecode が何時間もハングし、中断された場合は ==UNKNOWN== が出力されます。
これは予想される動作ですか? もしそうなら、その理由を説明していただけますか?
乾杯
constraints - Minizinc: 些細な平等が満たされない
次の minizinc モデルがあります。
モデルには自明な解 0=A_1_1=A_2_1=A_3_1 が必要です。ただし、Gecode やその他のソルバーは、これを満足できないと報告しています。
私は何を見落としていますか？