問題タブ [choco]

JAVA を介して Choco Solver で多次元ナップザック問題を実装しようとしています。私のアイデアは、2 つのナップザックに 3 つのアイテムを割り当てることです。

私のアイテムには重量があり、ナップザックには制限があります: int[] itemWeight = {2, 2, 2}; int[] knapsackLimit = {4, 4};

そして、3 つのアイテムが {0, 1} の間にナップザックを持つ私の決定変数: int[] itemAllocation = {1, 1, 0};

Choco Solver を使用してこの問題を書きました。

残念ながら、この方法はうまくいきません。私は常に次の割り当てを取得します: [x0 = 0, x1 = 0, x2 = 0]

前もって感謝します。

チョコソルバー初心者です。シンプルなシフトスケジューラーを作りたいです。私はこのような整数変数を設定しました

ここで、 0 、1、...5 は従業員への参照 ID です。

これは毎月ベースのシフト スケジュールであるため、合計 30 個の変数 (毎月の日付に 1 つ) があります。たとえば、2 日間連続してシフトに入れないなどの制約を設定しました。

私の質問は、各雇用主が最低 5 つのシフトを持つように、どのように制約を設定できるかということです。ドメイン内の各値は、30 個の変数すべてで少なくとも 5 回出現しますか?

ありがとうございました！

今度は、Choco とブルーム フィルターを統合します。問題は、各検索ステップの後に各ノードの決定をブルームフィルターに保存したいので、Choco のどの Java ファイルが検索プロセスに関するものかを知りたいことです。

チョコのソースコード: https://github.com/chocoteam/choco-solver

ブルーム フィルターのソース コード: import java.util.BitSet;
パブリッククラスブルームフィルター{

}

クラスSimpleHash {

}

電話サポートセンターの計画の問題に対するチョコソルバーを開発しようとしています。8時から20時までの12時間。

変数と制約:

• 従業員数 = 9
• 各従業員の最小および最大営業時間 (h および H)
• すべての従業員の営業時間: 42 時間 <= 合計時間 <= 42+C (私の場合、C は 2 に等しい)
• 時間ごとに働く従業員数の表 (表のサイズ = 12 )

私が作ることができない人を制約す​​る：

各従業員の厄介な時間の数を知ることができましたが、追跡時間に入れることはできません:/

結果は次のようになります。

最終結果

しかし、今まで私は今まで結果を得ました

それは一種の問題だと思います...私の命を救い、私のコードに欠けている制約を教えてください。

私のコード

次の配列SがありIntVar[]ます：

と呼ばれる次ArrayListのものもあります。IntegerfromHome

fromHomeプログラムの後半で導出されます。

S[0]のドメインに値のみが含まれるように制約したいと考えていfromHomeます。どうやってやるの？ありがとう！

Choco 4.0.1 を使用して SAT 数式をモデル化しようとしています。docsを読み、javadocから理解しようとしていますが、残念ながらこれまでのところ失敗しています。この種の問題とチョコに取り組むのはこれが初めてです。だから、私は非常に明白なことを尋ねているかもしれません。

モデルにいくつかの制約を追加する必要があります (各 var は BoolVar です):

モデルで ifOnlyIf メソッドを使おうとしていますが、変数を否定する方法や and を使用する方法がわかりません。誰かが（理想的には）サンプルコードや、これらのタイプの制約をモデル化する方法に関するアイデアを提供してもらえますか?