問題タブ [minizinc]

Minizinc で単純なモデルを実装して、一連のタイムスロットで優先度と期間が異なるタスクをスケジュールしますが、すべてのタスクをスケジュールできるわけではないため、一部は除外され、優先度の合計を最大化しようとしていますスケジュールされたタスク。

タスクが vars の配列で定義され、スケジュールされていないタスクの時間が 0 である作業バージョンがあります。制約には、スケジュールされたタスク (when[i]>0) のみを考慮するいくつかの where 句があります。デフォルトの検索戦略は非常に遅いので、Gecode をソルバーとして使用して、よりうまく機能する別の戦略に変更しました。

現在、オプションの変数を使用して別のバージョンを実装して、where 句を取り除き、改善があるかどうかを確認しています。ただし、opt var を使用する場合、検索戦略 int_search() を定義できないようです。

それを行う方法はありますか？

作業モデルは次のとおりです (試したい検索戦略を含むソルブ句はコメントアウトされています)。

グラフに頂点Aから頂点Bへのパスがあるかどうかを確認する制約を作成しようとしています。パス自体を返す制約を既に作成しましたが、パスが存在するかどうかを示すboolを返す関数も必要です。

私はすでにそれに多くの時間を費やしましたが、私の試みはどれも成功しませんでした...

誰かが私に何ができるか考えていますか?

パス自体を返す関数を次に示します。ここで、グラフは隣接行列であり、ソースとターゲットは頂点AとBです。

そして、ここで、上記のコードを適応させる私の試みの1つ:

次のモデルを使用して制約をテストしています。

そしてここに、いくつかのサンプルデータがあります:

ありがとう！

「array[1..10000000] of int: A;」などの大きな配列をモデル化する方法 デフォルト値として多くの 0 があります。データファイルのサイズを小さくするために、MiniZinc に「デフォルト」値を指定する方法はありますか?

長さの異なる 2 つの配列 (型: int) があります。配列 a の各数値に対して、配列 b で最も近い数値を見つけるにはどうすればよいでしょうか (おそらく構文エラーのため、以下は機能しません)。

渡されたパラメータとして配列を使用してJavaプログラムからMinizincモデルを呼び出す方法は? これを行うための特別なコマンドはありますか?

このような配列宣言があるとしましょう

temp と同じように見えるが 0 がない新しい配列を開始する方法はありますか? 結果は次のようになります

または、配列の先頭または末尾に 0 が来るように配列を並べ替えます。

また

ありがとう

制約プログラミングを使用して解決するために、タイム ウィンドウ ( http://oai.cwi.nl/oai/asset/2036/2036A.pdf ) を使用した配車問題を minizinc モデリング言語で表現したいと思います。

私はそのモデリング言語と制約プログラミング全体に慣れていないので、誰かがこの問題をこの言語にすでに表現しているかどうか知りたいです。「vrp (タイム ウィンドウなし)」の次のサンプル ベンチマークを見つけましたhttps://github.com/MiniZinc/minizinc-benchmarks/blob/master/vrp/vrp.mzn

配送の時間枠を含めるようにモデルをどのように変更できますか?

私は Minizinc で高校のスケジューリング プロジェクトに取り組んでいます。文字列型の教師、クラス、部屋、時間、およびイベントのリストと、整数型の期間のリストがあります。これらのデータを数値で表す必要があることをスタックオーバーフローで見つけましたが、データが大きいです。それぞれを手動で変換せずにこれを行うにはどうすればよいですか? ありがとうございました