標簽[cp-sat-solver] - 堆棧內存溢出

[英]Algorithm to parse an expression and assinging a value that satisfies the conditions

需求是解析一個復雜的表達式，並將值賦給滿足條件的變量。例如 ((.(($weatherResult.cityName=="Seattle")||($weatherResult.cityName=="Portland")))&&($weatherResult.cityName=="F ...

如何使用 OR-tools 的 CP-SAT 求解器構建我自己的全局約束？

[英]How to build my own global constraint with the CP-SAT solver of OR-tools?

我是數據挖掘的博士候選人，我必須使用 ORtools 創建一個全局約束以用於數據挖掘目的。問題是在 inte.net 中缺少關於使用 CP-Sat 創建您自己的全局約束的文檔，我不知道如何開始。 ...

CP-SAT 創建一個 bool 變量，表示變量之和是否大於 0

[英]CP-SAT create a bool variable which represents whether a sum of variables is greater than 0

我有這段代碼，我試圖在其中創建一個變量teacher_doesnt_work，它表示 Sum(classes_by_teacher[t] 是否為 0。正如預期的那樣，它給了我這個錯誤，有一些解決方法嗎？ ...

cp_sat 求解器中的 AddBoolOr 和 AddImplication

[英]AddBoolOr and AddImplication in cp_sat solver

嗨，我很難理解以下代碼，有人可以幫忙解釋一下嗎？提前致謝！ ...

帶有 Pyinstaller 的 OR-Tools CP-Sat

[英]OR-Tools CP-Sat with Pyinstaller

模型在我的電腦上使用 VS Code 工作得很好。一旦我使用 pyinstaller 創建了一個 exe 並嘗試運行 .exe 就沒有任何效果。一個小窗口出現 1 秒，沒有別的。我還嘗試了一些 tk 消息框，但沒有任何反應。這是我的主要進口：我的第二個文件（sft_gen）的導入： ...

使用 Pyschedule 的資源受限調度項目

[英]Resource Constrained Scheduling Project Using Pyschedule

介紹：我正在研究資源約束項目調度問題 (RCPS)，我正在尋找一些指導。這是根本上的優化問題。目前，我正在使用一個名為 Pyschedule 的庫，我可以在其中定義一個目標，然后添加各種約束，例如容量約束、優先約束等。我的項目概述是這樣的：給定一組需要一定數量的 CPU/GPU 計算的作業， ...

Google OR Tools OnlyEnforceIf

[英]Google OR Tools OnlyEnforceIf

我遇到了使用 onlyenforceif 設置約束的問題。 work[employee , shift , day] 是表示每個員工每天的調度狀態的 BoolVar。我想為在第 1 天輪班 A 和在第 2 天輪班 B 工作的員工設置一個限制，然后他們不允許在第 3 天輪班 c 工作。但是代碼 ...

使用 OR-Tools CP-SAT Solver 約束分配優化問題的唯一性

[英]Constraint on uniqueness for Assignement Optimization Problem using OR-Tools CP-SAT Solver

我要解決的問題與 OR-tools 文檔中描述的問題非常相似： https ://developers.google.com/optimization/assignment/assignment_example#cp_sat_solution。我有 15 名工人需要分配給 5 項任務。目標函數是 ...

如何獲得一致的 ortools 分配結果？

[英]How to get consistent ortools assignment results?

問題是將項目分配到幾個區域。每個項目對都有一個交叉數，目標是最小化跨區域的項目交叉。每個項目也有一個大小，每個區域的大小都有限制。我可以使用以下代碼解決問題，但每次都會得到不同的結果。我想始終如一地獲得相同的結果。我試圖設置“solver.parameters.random_seed ...

OR-Tools CP-SAT 求解器：計算連續出現的 NewBoolVar

[英]OR-Tools CP-SAT solver: count successive NewBoolVar occurrences

在一個簡單的范圍內，我嘗試獲取變量的連續賦值量。值應介於 6 到 12 之間或應為 0。例如，在醫院有 24 個輪班的情況下，員工應該工作 6 到 12 小時或根本不工作。不幸的是，這不起作用，因為它只增加了一個值，檢查是否分配了多少小時並使用該值增加s_count的最佳方法是什么？ ...

Google OR 工具 - 創建訪問域值的約束

[英]Google OR Tools - Create Constraint that accesses domain values

嘗試使用 Google OR 工具創建產品配置器。我有幾個例子在工作，但無法弄清楚如何創建字符串域並訪問它們的值。我需要創建一個約束，例如如果顏色為紅色，則尺寸為小如果顏色為藍色則尺寸不大我怎樣才能做到這一點或者使用 Google OR 工具的其他一些方法。 ...

ORTools CP-SAT 求解器。要求從同一組整數中提取兩個變量列表的約束

[英]ORTools CP-SAT Solver. Constraint to require two lists of variables to be drawn from the same set of integers

我有兩個變量列表 M 和 T。我想創建一個約束，其中 M 和 T 之間的唯一值集是相同的。從我想要的解決方案變量：到目前為止，我已經嘗試創建 M 和 T 的每個元素之間的差異矩陣然后建立一個約束，使每個行中的每個元素與diffs的每個單獨列中的乘積為 0。這應該確保 M 的每個元素在 T 中都 ...

Google OR-Tools 庫：類型錯誤 GetOrMakeIndex

[英]Google OR-Tools library: Type Error GetOrMakeIndex

我正在研究谷歌 OR-Tools 庫，我遇到了這個我無法理解的問題。首先，如果我復制並粘貼官方指南中 nqueens 示例中的代碼，我會得到同樣的錯誤。我以經典的 n 皇后問題為例：控制台給我這個錯誤：因此，查看 GetOrMakeIndex 方法的定義：我想到變量無法識別它作為參數接收 ...

使用 Google OR Tools CP-SAT Solver Log 來改進優化運行時 (Python)

[英]Using Google OR Tools CP-SAT Solver Log To Improve Optimization Runtime (Python)

我在理解如何使用我的 CP-SAT 求解器中的搜索日志通過設置子求解器、初始求解策略等來改善運行時有點掙扎。我不確定如何指定這些東西。我將搜索工作人員的數量設置為 16，但我在本地計算機上運行以獲取此日志（雲筆記本不會生成日志），所以我不確定這是否真的按預期工作...... 這是日志：有什么建 ...

關於 or-tools 班次調度示例的概念問題

[英]Conceptual question about or-tools shift scheduling example

我對這個調度示例有一個概念性的問題： https://github.com/google/or-tools/blob/master/examples/python/shift_scheduling_sat.py 它將域問題建模為 boolean 標志的 3 維張量 [employee, shift ...

在 Google OR-Tools 中使用 NewBoolVar

[英]Using NewBoolVar in Google OR-Tools

我想知道 Google OR-Tools 中邏輯約束的語法。我有一個在 CPLEX 中完成的護士調度項目，我正在將其翻譯到 Google OR-Tools。我在 Google OR-Tools 中遇到了有關通道約束的文檔，但我很困惑。您能幫我理解如何在 Google OR-Tools 中實現 ...

找到合適的 Google OR-Tools 算法

[英]Find the right Google OR-Tools algorithm

我必須找到最小化這個目標 function 的integers集：成本約束是：每個x必須是非負數integer T ， A和B是double已知數。為了解決這個問題，我一直在查看 OR-Tools C++ 庫，特別是在 CP-SAT 求解器中。它是解決此類問題的正確工具嗎？如果是，將 ...

使用 OR 工具在 python 中進行約束優化：如何強制執行多級約束？

[英]Constraint optimization in python with OR Tools: How to enforce a multi level constraint?

我有一個優化問題，我有一個“BoolVar”對象列表的列表。所以是這樣的：我需要評估以下內容：我是否必須這樣做：我已經嘗試過這段代碼，它似乎可以工作，但由於“OnlyEnforceIf”function，我對此表示懷疑。如果不執行會怎樣？然后 and12 是否設置為 False，或者它 ...

如何使用 AddMultiplicationEquality 添加約束？

[英]How to use AddMultiplicationEquality to add constrain?

例如，我有下面的數字列表。並且約束條件是相鄰的兩個數的間隙既應該是正數也應該是負數，或者是兩個等於零的數之一，也就是說一正一負（例如3和-1）是不可接受的。列表編號：[15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 18, 17, 2 ...

如何在 Java 中使用 IntVar 和 LinearExpression 實現 CPSat addDifferent

[英]How to implement CPSat addDifferent with IntVar and LinearExpression in Java

我回到 Java 中使用 Google 或工具 CP Sat 的線性表達式。 Clunky 甚至沒有詳細描述它，Java 在這里是一團糟。我的目標是向我的 IntVar 添加一個常量，並為下一個 IntVar 排除該值。（順便說一句。我如何向我的 IntVar 添加一個常數已經很尷尬了，還 ...