Chocoモデルを解こうとすると、次のメッセージが表示されます。
- Initial Propagation: Contradiction due to [48.89604359598426,4.0]
どういう意味ですか？資料では見つけられませんでした。
1 に答える
0
Sarge Borschがコメントで示唆したように、1 つ以上の制約と解空間の間に矛盾がある場合に発生します。最初の数値は、決定変数に対して見つかった唯一の解です。2 番目の数値は、ユーザーが変数をその数値に設定したことを示します。
したがって、たとえば、 の 3 つの解は ですxが6、制約 が存在する場合9、それは見つかった解と矛盾し、ソルバーはずっとさかのぼります。10x < 0
つまり、モデルには解がありません。
于 2014-05-23T14:20:57.580 に答える