我有一個數組：array[backpacks] of int: capacity指定每個揹包的容量。 現在我想創建一個約束求解器必須滿足的變量數組。我希望每個變量在域1..capacity中取值，其中容量對應於上述數組中指定的值。 會是這樣的工作：array[backpacks] of var capacity: bagcaps？ 還是我必須做的是這樣：array[backpacks] of va
我想模擬一個使用巧克力4.0.1的SAT公式。我讀了docs，我試圖從javadoc瞭解，但不幸的是我失敗了。這是我第一次研究這些類型的問題，還有choco。所以，我可能會問一些非常明顯的問題。 我需要一些限制的增加，如模型（VAR每一個BoolVar）： x <-> (a and -b)
我想在模型中使用ifOnlyIf方法，但我不知道如何否定一個變量，或者使用和。有人可以提供我（理想情況下
我有一個變量數組和它們之間的線性約束列表。對於每個變量，我都有一個包含有效值起始列表的集合。使用Minizinc，我怎樣才能將這些初始值減少到只能滿足約束的那些值？ 一個簡單的例子來證明什麼，我想要實現： array[1..2] of var int: xy;
array[1..2] of set of int: xyvalid = [ {1, 5, 7}, 0..9 ];
constrai
問題：給定一個標記（1..N）無向圖中，創建一個Gecode模型查找母圖與給定的序列度： 難點：主要難點是找到花式模型來精確表達度數： 爲什麼不用鄰接矩陣？因爲圖形趨於大而稀疏 爲什麼不是邊緣列表？我們將添加邊緣，但我們不知道它們中有多少，CP需要預定義數量的變量（對不對？） 爲什麼不選擇Adjacency？建模問題作爲我們需要爲所有i，j推送約束的集合列表：（j in a [i] < => i