constraint-programming

0熱度

1回答

我正在嘗試使用Microsoft Solver Foundation來解決我們的家庭聖誕節平局（類似於"secret santa" or "kris kringle"）。我有一些複雜的約束（例如，不能爲你的兄弟姐妹購買），我已經用它來修剪每個參與者的域。解算器的工作原理除了它沒有一個約束條件，即一個人只能接收一個禮物（即Alice的Bob購買意味着沒有其他人購買Bob）。我嘗試添加一個「A

1熱度

1回答

minizinc語法指定爲值選擇隨機分佈

是否minizinc具有任何語法指定值選擇的可變的的分佈。例如。 var 0..100: X ; 我想在範圍指定X取的值的時間0..50 90％，並採取在時間51..100 10％的值。語法 int_search([X], first_fail, **indomain_random**, complete) satisfy; 指定X可以得到任何值0..100概率相同。

1熱度

1回答

Minizinc中的ReifiedConstraint

我有一個任務列表，它們之間有一些相互依賴關係。 9個任務。每個cpu組6個cpu 2。有三個組p1，p2，p3。 cost p1=4 COST p2=5 COST P3=2 給出了不同CPU在不同任務下的執行時間。我們必須在任務之間傳輸數據。我們將使用點對點鏈接。我們需要購買兩個cpu之間的點對點鏈接，它將花費我們1美元，我們可以稍後重複使用這些鏈接。問題：我想指定這些約束。

2熱度

1回答

prolog：如何用global_cardinality判斷一個列表中至少有N個元素等於M（M，N是整數）

例如：我有一些變量：A，B，C，D和一個條件：in [ A，B，C，D]列表必須有至少兩倍的數字2. 我只能使用global_cardinality/2組合約束。

1熱度

2回答

快速代碼，以確定是否列的任意兩個子集具有相同的總和

對於給定的n和m我遍歷由米局部circulant矩陣所有n與是0或1。我想找到，如果有一個條目矩陣，使得不存在給出相同和的列的兩個子集。在這裏，當我們添加列時，我們只是按照元素進行。我目前的代碼通過ortools使用約束編程。然而，它不是我想要的那麼快。對於n = 7和m = 12，它需要3分鐘以上，對於n = 10，m = 18，即使只考慮2^18 = 262144個不同的矩陣，它也不會終止。這

1熱度

1回答

協調計劃的班次與空餘空間

我正在編寫一個計劃，根據預先定義的班次（時間塊）和學生可用性（也包括時間塊），幫助安排我們大學的學生員工。除了對員工不是簡單普遍可用的約束進行建模之外，這讓我感到與Air Crew問題類似：這取決於他們的日程安排。更經驗的約束程序員推薦什麼建模策略來解決這個問題？（我使用Gecode。）

1熱度

2回答

如何約束一個變量，取決於其他變量的值在Gecode

我正在使用Gecode工具包，我想爲以下情形建模。我有兩個變量x和y。取決於值x,y應該具有一定的值。例如。如果X是1，ÿ應該是3，如果X是2，ÿ應該是5.我應該如何在Gecode模型呢？我目前使用reified constraints來模擬這種情況，可以在gist中看到。癥結在於使用一個BoolVar和兩個指定約束來設置相應的值。 for (IntVarValues i(x); i(); +

3熱度

4回答

約束編程布爾求解器

休伊，杜威和路易被他們的叔叔質疑。這些是他們的陳述： •休伊：「杜威和路易在這方面有相同的份額;如果一個人是有罪的，所以是其他「 •杜威：‘如果休伊是有罪的，那麼我也是。’ •路易：‘杜威和我不都無罪’ 。他們的叔叔知道他們是偵察員，他們意識到他們無法說謊。我的解決方案。 var bool :D; var bool :L; var bool :H; constraint D <->L

5熱度

1回答

轉換布爾FlatZinc到CNF DIMACS

解決set of Boolean equations，我與Constraint-Programming SolverMiniZinc嘗試使用以下輸入： % Solve system of Brent's equations modulo 2 % Matrix dimensions int: aRows = 3; int: aCols = 3; int: bCols = 3; int:

0熱度

4回答

用於解決與重疊選項衝突的算法

我有一個計算問題，其中有一組標籤可以只給出一次，還有一些項目每個都有一組他們可以接受的標籤。我需要以這樣的方式分配標籤，即每當遇到問題的解決方案時，每個項目都會獲得標籤。舉一個具體的例子，如果我有這樣的詞典： options = { 'a': [1], 'b': [2, 3], 'c': [1, 2] } ..then的解決辦法是： {'a': 1, 'b':