MiniZinc：満足できないときに選択肢を表示する

MiniZincでプログラムを実行するとき、-sフラグを使用すると解決策を探す際に選択肢の数を調べることができます。ただし、条件が満たされない場合は、選択した選択肢の数は表示されません。MiniZinc：満足できないときに選択肢を表示する

条件が満たされなくても選択肢ポイントを表示するにはどうすればよいですか？

2016-04-27 Mossmyr

私は、任意のFlatZincソルバーがこの機能を持っているとは思いません。（モデルが充足できない場合、報告する選択肢はありますか？） – hakank

@hakank私はMiniZinc（実際にはわずか数日）の新機能ですが、私の理解はそれでした選択肢ポイントは、解決策が見つかる前に探索されたオプションの数でした。したがって、条件を満たす解決策がない場合、MiniZincは、少なくともいくつのオプションが探索されたかを言ってはいけませんか？再び、私はこれで完全に間違っているかもしれません。 – Mossmyr

あなたは今何を意味しているのか分かります。一部のFlatZincソルバーは、満足できないモデルでも統計情報を表示することがあります（-sフラグを使用した場合）。そして時には、最初の平坦化プロセスによって、統計なしでUNSATISFIABLE（「警告：モデルの不一致が検出されました」）が表示されることがあります。だからソルバーとUNSATの到達方法に依存するようです。 – hakank

fzn-gecodeを使用すると、Gist機能を使用して検索ツリーを視覚化できます。要点に関する多くの文書はGecode's Modeling Guideにあります。しかし、あなたはC++コードを書いていると仮定します。以下のコマンドを実行し、MiniZincモデルからそれを使用する

：

mzn2fzn -G gecode [model].mzn (data.dzn)
fzn-gecode -mode gist [model].fzn

出典

2016-10-13 15:18:55 Dekker

MiniZinc：満足できないときに選択肢を表示する

答えて

関連する問題