1

出力ファイルを生成して wc -l output.txt と -1 を 2 で割り、output.txt に -50 を使用する以外に、minizinc 内のソリューションを自動カウントして最初の 50 個のソリューションを出力する簡単な方法はありますか? 私のプログラムは 1 つのシナリオで 12 時間実行され、もう 1 つのシナリオでは 2 日間実行されると予想されます。

また、time minizinc を使用する以外のリソース使用量を生成するバッチ モード (ide ではない) の方法 ...

アドバイスをありがとう

4

1 に答える 1

1

コマンドライン プログラム "minizinc" およびほとんどの FlatZinc ソルバーは、表示するソリューションの数である "-n " パラメータをサポートしています。MiniZinc IDE には、「この数のソリューションの後に停止:」というオプションがあります。

これは満足度の問題に関連することに注意してください。ただし、最適化問題の場合、さまざまなソルバーが "-n" をどのように処理するかについてのコンセンサスはありません。

于 2016-04-01T05:37:17.210 に答える