constraint-programming

1熱

1答えて

制約付き最適化の使用法 - コミュニティサービス組織のための最適なボランティアスケジュールの作成

私は地元のコミュニティサービス組織のプログラムマネージャーとしてボランティアをしている大学生です。私の仕事の大きな部分は、（テキストと電子メールで私に提出された）ボランティアのスケジュールを、（Googleフォームを介して教師が提出した）tuteeスケジュールと一致させることです。過去2年間、私は、要求されたタイムスロットを、手作業でシートや色分けして、ボランティアの空き状況と手動で照合してきまし

0熱

1答えて

チョコの複雑な変数

複雑な変数が制約を満たしているかどうかチョコをチェックインする方法は？ CONFIG1 = {20、24、10、3、4}とCONFIG2 = {20、13、1、3、4} int[][] configurations = new int[][] { {20, 24, 10, 3, 4}, {20, 13, 1, 3, 4}}; ：例えば、私は構成の次のリストを持っている場

1熱

1答えて

Minizinc lazyfdソリューションは制約を無視します

問題は、固定サイズのグループでゴルフ（または何でも）をプレイするためのスケジュールを見つけることです。すべてのプレイヤーは一度に1つのグループにしかいないことを保証する必要があります。ここでは私のコードです： int: gr; % number of groups int: sz; % size of groups int: we; % number of weeks

0熱

1答えて

Google OR Tools：従業員スケジューリング（可用性制約あり）

hereの看護師のスケジューリングの例に続いて、問題にさらに制約を加えようとしています。たとえば、看護師Aは月曜日に2と3のシフトを行うことはできませんが、看護師Bは1日と3日だけシフトすることができます。このような制約を実装するにはどうすればよいですか？ ORツールでは不可能な場合は、このような方法を実装する方法を提案してください。あなたの例については

4熱

1答えて

カーディナリティ制約は

MiniZinc制約ソルバを使用して非常に簡単にcardinality constraintsを表現することを可能にするビルトインsum()機能：カーディナリティー制約が、満たされ % This predicate is true, iff 2 of the array % elements are true predicate exactly_two_sum(array[int] of va

0熱

1答えて

z3で可能な整数の集合から整数のリストを取得する方法は？

最小の例は次のとおりです。可能な整数の集合[1, 2, 3]が与えられ、z3pyを使用して任意のサイズのリスト5を作成します。重複が許されます。期待される結果がはどのようにこの問題に取り組むために、どのように「を選択」を実装するなど [1, 1, 1, 1, 1]または [3, 1, 2, 2, 3]のようなものでしょうか？最後に、 linkで説明されているように、制約を追加することですべての

2熱

1答えて

Pythonの要素ごとの合計と連続する時間の制約

私はこのようなデータを持っています。 a = [10, 11, 12, 13, 14] b = [15, 16, 17, 18, 19] c = [20, 21, 22, 23, 24] 私は= [0、1、2、3、私は、リストの各のi番目の要素の合計は、すなわち、要素ごとの合計が50を超えるまで追加かどうかを確認したいです4]。また、合計が50回以上連続しているかどうかを

2熱

1答えて

Choco Solver - 非常に長い実行時間の場合、どのように最も近い解を得ますか（ほとんどの制約を満たします）？

Choco Solverでは、解を見つけるのに時間がかかりすぎる場合、最も近い解（これまでの制約を満たす解、しかしすべての制約を満たす解）はどうやって得られますか？例えば、解決のためにModel.getSolver（）。solve（）を実行していて、解決策が見つからなくても十分に時間がかかると判断した場合、どうすれば最も近い解決策を出力できますかこれまでのところ？