constraint-programming

0熱度

1回答

使用或約束的RealVariables我用巧克力2.1.5與Eclipse IDE在Windows 8.1 當我編譯下面的代碼： CPModel m = new CPModel(); m.setDefaultExpressionDecomposition(false); RealVariable A = Choco.makeRealVar("a", -5.5, 5.5); RealVaria

1熱度

1回答

在多個圖表上運行Google或工具TSP約束求解程序時出現DuplicateFlagError

我使用Google的ortools.constraint_solver來查找旅行推銷員問題的解決方案。 As seen here.當我在一組點上運行程序時，一切都按預期工作。現在我得到了那個工作，我試圖通過遍歷所有集合並調用每個集合上的約束求解器來解決多個點集合的TSP問題。我有下面的代碼重新定義gflagtsp_size取決於特定問題（不是所有集合的大小相同）的大小： gflags.DEFI

1熱度

1回答

帶有可選變量的搜索策略

我在Minizinc中實現了一個簡單模型，用於在一系列時間段內安排具有不同優先級和持續時間的任務，但並非所有任務都可以安排，因此有些內容會被忽略，而我試圖最大化計劃任務的優先級總和。我有一個工作版本，其中任務是在一個變量數組中定義的，而非計劃任務的時間爲0.約束有幾個where子句只考慮計劃任務（when [i]> 0 ）。默認的搜索策略非常緩慢，所以我將它改爲另一個效果更好的工具，使用Geco

1熱度

1回答

Prolog CLPFD試圖爲列表的列表定義域

我正在研究Prolog中的約束編程問題，我在嘗試爲列表列表定義一個域時遇到了問題。問題的最初的挑戰如下： trains([[1,2,0,1], %from station, to station, departs at, arrives at [2,3,4,5], [2,3,0,1], [3,4,5,6], [3,4,2,3],

-1熱度

1回答

Minizinc中迴文的有效謂詞

爲了幫助我學習Minizinc，我試圖解決一個簡單的問題。我的代碼找到了答案，但我很驚訝，大約需要10秒才能運行這樣一個簡單的問題。問題是「什麼是最小的迴文整數> 10，所以它的數字總和> 10，迴文也是？」。我希望代碼只做大的假設：答案最多隻有8位數字。我的代碼（在toNum謂語來自hakank網站）： predicate toNum(array[int] of var int: a, v

1熱度

1回答

我該如何制定限制？

我是新來的世界cp優化器，這開始做小測試。我有以下問題，我需要你的幫助。這是我的代碼：數據 const IloInt nbPair = 6; const IloInt nbPairElements = 15; const IloInt nbElement = 2; IloIntVarArray SolPair(env, nbPair,0,1); IloIntArray PairCost

1熱度

1回答

將不可滿足的約束集合轉換爲可滿足的較小約束集合

我在我的腦海中有一個項目，我很好奇之前是否做過類似的事情。假設有一組不同的約束條件，並且這些約束條件不能一起滿足。 C = {C1，C2，C3，...，CN} （c1和c2和c3 ... CN）：不符合要求我的目標是分割該組分爲k集合（可能k非常小），使得每一組約束都可單獨滿足。基本的解決方案是使用貪婪的方法。約束將被選作第一個約束並標記爲第一組。然後，將選擇第二個，並檢查它是否可用第一個約束

0熱度

1回答

我在Solver Foundation模型中定義了多少個術語/變量/約束/非零？

我在我的程序中使用Microsoft Solver Foundation Express eddition，Express版本根據this link限制在模型大小中。有沒有辦法找到多少：條款變量約束非零我在模型中定義，使用代碼？

3熱度

2回答

序言 - 如何找到最大的一套組件，它們的和等於N

我的比賽即將從給定的名單，他們的總和是N 例如採摘最大元素集合：L=[1,1,2,2,3,2,4,5,6]，N = 6，子列表將等於[1,1,2,2] 我需要一個使用約束邏輯編程的提示。

2熱度

3回答

約束條件最活躍的社區和資源編程工具箱

我是新來的CP。到目前爲止，我已經玩過MiniZinc，我發現這很有趣。之前，我犯了太多，我想弄清楚&求解器是什麼CP語言最好先在最活躍的社區而言，積極地開發和研究使用，最好的學習資源（例子&教程）。目前爲止的選項似乎是：MiniZinc，ECLiPSe和or-tools。謝謝，