constraint-programming

1熱度

1回答

我在哪裏可以找到數據來測試我的CSP地圖着色求解器

我寫的CSP地圖着色問題求解器。作爲約束（A，B）的約束約束意味着國家A與國家B相鄰。目前我手動創建地圖，但現在我需要一些大地圖來測試我的算法。你知道我在哪裏可以找到一些容易解析數據嗎？像這樣的對我來說是理想的： A B B C A D

4熱度

2回答

建模約束邏輯程序（用於分析）

面向對象的程序可以用不同的模型建模，例如自動機，進程代數，Petri網或UML。其中一些模型可用於執行各種分析，以發現性能或設計中的問題。我在研究邏輯編程，想知道是否有這樣的CLP模型？你如何分析CLP計劃？

2熱度

1回答

如何定義一個變量域是不連續的範圍

我開始與SICStus Prolog的，我想定義一個變量，說StartingTimes，有通過列表[1, 5, 10] 我該怎麼辦定義域它在SICStus Prolog中？我會做這樣的事情： domain(StartingTimes, 1, 10) StartingTimes #= 1 #\/ StartingTimes #= 5 #\/ StartingTimes #= 10 但是，這是

1熱度

1回答

快速和簡單約束規劃涉及向量（陣列）

我有我需要檢查一些非常基本的一階邏輯號碼的重複很多，很多，很多的載體。我可以使用交叉，但被證明是過於緩慢。我想我可以把它變成一個有點問題的問題。整套整數是已知的，每個向量/數組可以表示爲一個bitset，但我只能找到一半的解決方案。我目前使用循環和矢量相交，但它證明是太慢，我需要檢查的問題的數量。舉個簡單的例子，給出： E: 1 2 F: 2 4 M: 1 3 N: 4 5 A: 5

5熱度

1回答

OptaPlanner是否支持連續變量的優化和約束？

我讀文檔中的矛盾的東西。一方面，這個通道似乎表明，連續規劃變量是可能的：甲規劃值範圍爲規劃變量的一組可能的規劃值。這個集合可以是一個離散的（例如1,2,3行或者4行）或者是連續的（例如0.0到1.0之間的任何雙精度）。。另一方面，定義一個變量規劃時，你必須在一個字段中指定ValueRangeProvider註釋使用的值集：解決方案實現了方法，它返回一個Collection。來自該Coll

4熱度

2回答

在C++/c＃中替代drools-planner/optaplanner？

在C++或C＃中，optaplanner/drools planner有沒有類似的選擇？我只發現了2007年的一個非常古老的C＃portation。或者你如何解決C++/C＃中的NP-hard優化問題？

0熱度

1回答

約束規劃中推理方法與搜索方法的區別

爲了解決約束問題，我們可以使用推理方法和/或搜索方法。 Constraint Propagation. Christian Bessiere, 2006國家在最開始：約束傳播是一種推論形式，而不是搜索。從我的理解，推理的方法就是減少域。搜索方法在CP中意味着什麼？許多材料提到，約束問題可以用推理方法來解決。這怎麼可能？（我的想法：在推理的步驟，我們仍然要遍歷的限制，那麼我認爲這也確實爲約束處理

1熱度

2回答

只生成有效的配置和限制

我剛剛開始研究一個涉及一些調度優化的項目，並且我擔心自己處於數學領域。我想知道你是否可以想出任何聰明的方法來做到以下幾點。這裏的基礎知識：你有時隙x個你有教師面試的y個你有申請人面試 x和y不具有的Z號（可能有不同數量的採訪者和受訪者）時段可能沒有人被採訪。這些構成了一個表格，其中行標題是採訪者（用數字表示），列標題是時段（用數字表示），並且這些單元本身是正在採訪的申請人。約束：爲

4熱度

2回答

在Z3中定義內射函數

我的目標是定義一個內射函數f: Int -> Term，其中Term是一種新類型。我提到the definition的內射函數，我寫了以下內容： (declare-sort Term) (declare-fun f (Int) Term) (assert (forall ((x Int) (y Int)) (=> (= (f x) (f y)) (= x y)))) (che

0熱度

2回答

SMT-Lib標準是否支持理論的組合？

我知道有幾件作品正在試圖處理SMT理論的結合。但是，SMT-Lib 2.0語言（http://smtlib.cs.uiowa.edu/docs.html）在這一點上並沒有提到任何問題。我的問題是它是否支持這一點，以及Solvers提供瞭如何同時使用多種理論的能力？感謝，