有效的约束求解器和优化器
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
约束编程 - 使用变量作为矩阵索引
我是Or-Tools的新手，我很难使用它，这是我的问题： 假设我们有一张3分'1'，'2'，'3'的地图，并且我们有3个名字'a'，'' b'，'c'。每个要点都可以取所…
IBM CPLEX在目标函数中使用XOR
我想建模 max-cut 图形的问题。 当您需要选择顶点子集时，我的方法是用布尔决策变量编码每个顶点。 我的问题是目标函数：Edge {a，b}如果其一个顶点之…
如何使用CPLEX中的决策变量使用地板功能？ TypeError：必须是实际数字，而不是Linearexpr
我正在解决Python中DOCPLEX的优化问题。我想使用Math.dloor函数将决策变量X1 [a]的值舍入至最接近的数字，并带有1/6步。 我定义了一个名为iNCETE_TIME…
从列表a，b，c，d中查找具有最高属性x的唯一组合，并限制属性z的总和不超过一个值
我有4个列表（a，b，c，d）充满了相同类型的对象，看起来像这样： public class Class { public double X public double Z } 我想做的是从每个列表中…
Minizinc似乎会生成无效的FZ代码
我的模型中有以下部分： constraint forall(d in Day, s in Student) ( let { %groups in day array[int] of var opt Group: gid = [g | g in assignm…
or-tools：约束间隔变量搜索过程更紧凑
我一直在尝试使用以下设置来对工作店问题进行建模： 变量＆amp;约束： 对于每个任务： 工作级变量：start（newintvar），end（newintvar），Interval…
PyWraplp与CP-SAT有何不同？
在Ortools中，如果您只有0-1变量，则可以使用CP-SAT from ortools.sat.python import cp_model ，或者可以使用 from ortools.linear_solver import py…
Google Or-Tools在求解器之前操纵变量
我是Or-Tools的新手，我正在尝试通过12个变量解决一个优化问题（我知道受虐狂）。 每个变量表示每个人（2中的2分）应在特定设备模型上（2分）（3中的2…
