問題タブ [choco]

Choco ソルバーでプロジェクトを作成しましたが、検索中の外部効果について質問があります。

レイヤーで編成された (たとえば) BoolVars とレイヤーに割り当てられた期間を含む計画グラフを取得しました。これは、いくつかのアクションが開始され、いくつかが終了することを意味します。変数の選択は、プランの最後からプランの開始まで静的です (レイヤー内のアクションの選択は任意です)。

アクションAの開始と終了の間にNに等しい期間が必要であるため、シンプレックスアルゴリズムを使用して期間を割り当てるソリューションを研究しています。間にはさらにいくつかの制約があります。

追加の制約は、BoolVars のインスタンス化に基づいて作成されますが、それらは外部マトリックスで編成されているため、アクションAの終了アクションが追加されると、結果として追加の行がマトリックスに追加され、現在の制約が再定式化されます。 . バックトラックでは、行列を逆の方法で変更したいと考えています。つまり、行を削除して制約をアンポストします。

Choco でこの複雑な動作を実現する方法はありますか?

複雑な変数が制約を満たしているかどうかをChocoでチェックする方法は? たとえば、次の構成リストがあるとします。

config1 = {20, 24, 10, 3, 4} および config2 = {20, 13, 1, 3, 4}

は、特定の構成に対して、構成内の各要素が対応する制約よりも高く (または低く) なる必要があるような制約のリストです。例: config1 = {20, 24, 10, 3, 4} 制約 = {21, 15, 2, 10, 10}

すべての制約が満たされている場合は、ソリューションとしてマークします。これは私が持っているものです