choco

1熱度

1回答

的我有以下陣列SIntVar[]的： IntVar[] S = model.intVarArray("Flights Schedule", 18, 0, 19); 我也有以下的IntegerArrayList，稱爲fromHome： ArrayList<Integer> fromHome = [1, 2, 4]; fromHome稍後在程序中派生。我想限制域S[0]僅包含fromHome

0熱度

1回答

如何使用Choco解算器框架爲Java建模特殊集合約束

我在建模問題和用Java解決Choco求解器問題時遇到了問題，並且我不太熟悉約束編程，但是已經分配了任務爲會議製作座位應用程序，其中：每個表必須至少有6個人，並且總是有足夠的表。人們應該與鄰居坐在一起，以最大限度地共享利益。在前幾天，我們希望儘量減少坐在桌前的人與他們坐在一起的人。人是A或B類中的任何一個，我們希望最小化每個表上A類的出現次數。到目前爲止，我們有一個SetVar gues

0熱度

1回答

如何創建/職位和喬科

我有在喬科求解一個項目搜索中刪除/ unpost的限制，但我有一個關於搜索過程中的外部效應問題。我有與（比方說）在分配給層，這意味着層和持續時間組織BoolVars一個規劃圖，一些動作的開始和結束部分。從計劃結束到計劃開始，變量選擇是靜態的（層中的動作選擇是任意的）。我研究了使用單純形算法來幫助分配持續時間爲開端，一個動作一個我們需要有等於ň的持續時間結束之間的解決方案。中間還有一些限制。的

1熱度

1回答

巧克力：如何重新安裝卸載的軟件包

我使用Chocolatey管理我電腦上的軟件。我在重新安裝卸載軟件包時遇到了麻煩。我試圖重新安裝它，但沒有任何反應。如何重新安裝我之前卸載的軟件包。 choco -y install ruby --version 2.2.4 choco -y uninstall ruby --version 2.2.4 choco -y install ruby --version 2.2.4 我懷

1熱度

1回答

Choco Sat配方

我想模擬一個使用巧克力4.0.1的SAT公式。我讀了docs，我試圖從javadoc瞭解，但不幸的是我失敗了。這是我第一次研究這些類型的問題，還有choco。所以，我可能會問一些非常明顯的問題。我需要一些限制的增加，如模型（VAR每一個BoolVar）： x <-> (a and -b) 我想在模型中使用ifOnlyIf方法，但我不知道如何否定一個變量，或者使用和。有人可以提供我（理想情況下

0熱度

1回答

用choco在一個約束中求和多個變量

我使用choco來求解CSP，而我的一個約束是我所有5個變量之和小於10。兩個變量的總和，我們可以使用函數arithm model.arithm(x1,"+",x2,"<",10).post(); 但這種方法不能接受更多的變量所以有沒有辦法添加此約束？

1熱度

1回答

限制賦值 - Choco

有沒有辦法限制某個變量的特定值的賦值次數？我正在寫課程問題，使用Choco [4.0.1]與課程，教師和時隙。同一位老師可以教許多課程，我需要確定他/她可以教授的課程數量。我正在考慮計算時間片的數量，比如老師B可以工作12 hours (12 timeslots)，所以我可以發佈一個約束如arithm()來確保。有任何想法嗎？ [更新] 下面是一些代碼： IntVar [] teachers;

0熱度

1回答

choco中的復變量

如果複雜變量滿足約束，如何檢入Choco？例如，如果我有配置的以下列表： int[][] configurations = new int[][] { {20, 24, 10, 3, 4}, {20, 13, 1, 3, 4}}; 其中CONFIG1 = {20，24，10，3,4}和CONFIG2 = {20，13，1，3，4} int[] constraints =

2熱度

1回答

Choco求解器 - 如果在運行時間非常長的情況下，如何獲得最接近的解決方案（滿足大多數約束）？

在巧克力求解器中，如果找到解決方案可能需要很長時間，您如何獲得最接近的解決方案（目前滿足大多數約束的解決方案，但可能無法滿足所有約束）？例如，如果我正在爲解決方案運行Model.getSolver（）。solve（），並且我已經決定儘管找不到解決方案需要足夠長時間，但是如何輸出最接近的解決方案至今？

1熱度

1回答

csharp中的Bin包裝

我需要儘量減少包裝的卡車數量。它少於50包。它們被加載成行。我可以用java編寫的choco-solver解決這個問題，但我需要從c＃中調用它。你有什麼想法如何輕鬆做到這一點？有沒有一些庫的C＃，它可以解決這個問題？我需要找到完美的解決方案，或者至少非常優化。