constraint-programming

0熱度

1回答

匹配模型在下面的工作例子中，我試圖檢索匹配的型號，在這種情況下有兩種型號滿足： t1= cl7 t2= cl4 t3= cl5 和 t1= cl4 t2= cl3 t3= cl9 的問題是重複匹配模型，直到運行解算器超時。如何檢索滿意的模型而不重複。非常感謝， S, (cl1, cl2, cl3, cl4, cl5, cl6, cl7,cl8,cl9) = EnumSo

0熱度

1回答

掌握IBM iLog計劃程序

我正在尋找IBM iLog計劃程序，特別是與以下鏈接相關的手冊的版本，我希望使用所提供的方法來實現類似類型的項目。我無法找到任何相關軟件，它們提供了組成IBM iLog Scheduler的核心組件。我有CPLEX工作室，但我不確定這兩者是否已連接？任何人都可以指出我在正確的方向獲取iLog Scheduler的工作版本。 https://mail-attachment.googleusercon

0熱度

1回答

如何在Z3py函數中使用超過255個參數？

我想懇請，如何有超過255個參數的Z3 Python函數 h1, h2 = Consts('h1 h2', S) def fun(h1 , h2): return Or( And(h1 == cl_4712, h2 == me_1935), And(h1 == cl_1871, h2 == me_1935), And(h1 == cl_4712, h2 == me_19

0熱度

1回答

回顧Z3py中的匹配模型？

在下面的工作示例中，如何檢索匹配的模型？ S, (cl_3,cl_39,cl_11, me_32,m_59,m_81) = EnumSort('S', ['cl_3','cl_39','cl_11','me_32','me_59','me_81']) h1, h2 = Consts('h1 h2', S) def fun(h1 , h2): co

16熱度

4回答

年輕的桌面編程

一個奇怪的問題如下：我正在做一個解決問題的比賽@我的學校，他們讓我們用電腦。由於我是競爭對手中唯一知道如何編碼的人，因此我使用C和Pascal程序更快地解決問題。我用僞碼到代碼練習，算法，Collatz猜想驗證等來完成。現在，昨天我正在接受下一個挑戰（4月18日）的訓練，並且我看到了Young young的練習。它被這樣描述（我會盡我所能從意大利語翻譯）：「Ferrers圖是N盒分佈在一

3熱度

4回答

約束編程，列表中的數字重複，序言

如何限制列表中數字的重複？以下代碼示例中適合的約束條件是什麼？ limit(X) :- length(X,10), domain(X,1,4), % WANTED CONSTRAINT: maximum repetition of each number is 5 times. labeling([],X). 一些樣本查詢和期望答案： ?- limit

0熱度

1回答

ValueError異常：需要超過2123個值

我想運行一個非常大的Z3 Python程序，如下面的示例： S, (cl_3,cl_39,cl_11, me_32,m_59,m_81 …………) = EnumSort('S',['cl_3','cl_39','cl_11','me_32','me_59','me_81', …………..]) ######################################### def fun(h

2熱度

1回答

算法 - 創建考試時間表

我有一個基於三個因素創建考試時間表的問題：房間，課程和日期。有一定數量的房間r，課程c和天d，每天有三個插槽。還有一套學生和學生到課程的映射，這樣就不會有任何衝突。我試圖找到一個算法，發現這適合最大流量問題。我正在爲此製作流程網絡圖。感謝

5熱度

1回答

在序言

求解方程系統假設我有一個數量的X，我想解方程的系統，比如Y + Z = X，Z * Y = 1 現在，這已解Y = 1/Z和Z =（sqrt（X * X-4）+ X）/ 2或（X-（sqrt（X * X-4））））/ 2。這樣我就可以在序言寫： solve(X,Y,Z):- Y is (sqrt(X*X-4)+X)/2, Z is 1/Y. solve(X,Y,Z):- Y is (X-(s

11熱度

1回答

有界0-1多揹包的任何僞多項式算法？

假設有n個項，例如：I ，我，....我Ñ，它們中的每一個已知的有界權重w 1 ，瓦特，... w n。還有一套m揹包，例如ķ，K 2 和k米。揹包是同質的，它們都具有相同的容量W.函數F可以確定每個揹包的得分。 F的輸入是每個揹包中的項目。所以， Score of each knapsack i = F(Items in knapsack i) 現在我想放在揹包有些項目以這樣一種方式：物品