constraint-programming

0熱度

1回答

我有一組方程。我也有一組值和方程的結果。喜歡的東西： a + b + c = x 和一些分配可能是： 1 + 1 + 1 = 3 2 + 3 + 4 = 9 然而，實際的方程是更長的時間，可能會包含一些功能，例如對數。我現在需要改變給定集合的結果，方式是（1）方程變得等於特定值xx和（2）參數變化儘可能小。以爲可以解決這個作爲CSP通過改變eqation到 (a + ax) +

2熱度

2回答

置換n個元素由不多於k的位置

交換各要素我已經是一個矢量（N = 4的例子）： x = '0123'; 我想是的相同大小的矢量y x和與所述元件相同的元件在不同的階x： y = ['0123'; '0132'; '0213'; '0231'; '0312'; '0321'; '1023'; '1032'; '1203'; '1302'; '2013'; '2031'; '2103'; '2301']; y(ceil(r

2熱度

3回答

隨機解決一組整數約束條件

我有一組整數約束，我想解決。約束可以由大於，小於或等於某個常數的變量組成。實施例： A >= 20 A <= 30 B <= 10 A + B <= 25 ... 將有幾百個這種簡單的約束條件，並且常數大得多的值（幾十萬）在實踐中。不過，我不只是要一個解決這些制約因素：我想從解空間的一個隨機解決方案。這並不意味着每個解決方案都必須具有相等的概率（我認爲沒有枚舉它們全部都不可能），但

0熱度

1回答

Z3py是否支持線性時間邏輯LTL？

Z3py支持線性時間邏輯LTL嗎？如果是，你能提供一個簡單解釋的例子。

-3熱度

1回答

使用Python約束編程

我正在嘗試編寫一個簡單的腳本來解決CSP問題。我目前使用Python約束https://github.com/DanielCasner/python-constraint。但我想添加一個約束在問題中的兩個特定變量。這可能嗎？例如，變量a和b應該總和爲5. 謝謝！

2熱度

2回答

Prolog kenken solver 4 by 4

所以我試圖用prolog解決kenken，但是我從一開始就遇到了幾個問題，首先讓我說我像kenken（[X1，X2，X3，...） .X16]）。我想用我之前定義的規則解決這個x的問題。所以可以說第一個單元格有3個值X1，X2和X3，我想通過使用乘法來得到2，這意味着X1 * X2 * X3 = 2，現在如何設置規則以查看所有可能的解決方案類似的東西。也我如何告訴我的x只使用值的範圍1-4。我

1熱度

1回答

Microsoft Solver Foundation - 如何使用函數作爲約束？

我正試圖在C＃中使用Microsoft Solver Foundation發現問題的解決方案，並且在設置所需的所有約束時遇到問題。我的基本模型是我有一個海灣列表，我需要加載每個海灣，以便所有海灣的總數最大化。我目前正在這樣做 var solver = SolverContext.GetContext(); var model = solver.CreateModel(); var decisi

0熱度

1回答

minizinc中約束的最大數量是多少

我無法找到任何有關minizinc的求解器可以處理的最大變量和約束數量的參考。具體而言，我對minizinc的mip求解器感興趣。當我有大約15k的約束和大約1000個變量時，我在8GB的Mac上遇到堆棧溢出錯誤。有誰知道這是否接近minizinc的真正限制嗎？

2熱度

2回答

如何在SICStus Prolog中恢復使用copy_term/3收集的約束？

文檔說 copy_term(+Term, -Copy, -Body)使得所有變量已替換出現無處新創建的項以外的新變量的Term副本。如果Term包含歸因於變量，則將Body統一爲一個術語，以便執行Body 將恢復Copy中變量的等效屬性。我以前肯定數值CLP（R）約束一些變量，並在某些時候我收集這些約束使用copy_term/3。後來，當我嘗試恢復使用「呼叫（身體）」的約束，我在形式[nf

2熱度

3回答

Prolog的約束編程發現偶數和奇數

我需要創建一個斷言： applyConstraints(L) 這適用約束變量爲L，使得以L沒有兩個連續元素都是奇數或我甚至該怎麼辦那？對於固定尺寸L，它很簡單，但是可變尺寸L是什麼？我需要使用sicstus-prolog clpfd庫來完成。