约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
我目前有一个相当简单的算法，尝试在给定一些限制的情况下构建最佳的团队阵容： 需要游泳运动员参加的赛事清单是有限的 活动 1...
我正在尝试在 DOcplex 中复制 CPLEX ILOG 目标函数，但不断遇到一些错误。我不太确定 type_of_next function() 如何与索引一起工作，这使得它很困难......
您好， 在 IBM cplex ılog 中，我正在研究作业车间调度的约束编程。我需要输出的 GAP 值。在IBM，我可以得到GAP的价值。举个我分享的图片中的例子......
如何将设定时间范围约束中所需的连续休息天数编码到 Or-Tools 时间表中？
我正在开发一个为空中救护车生成名册的系统，显然这些名册受到很大限制，并且有大量关于飞行员应该休息多少时间的规则。其中之一
我尝试在 IBM CPLEX ILOG 中编写我的调度问题。这里我得到一个错误 根据图片来看 noOverlap 函数不存在
如何在 Choco Solver 上使用强度函数对区间变量进行建模？
我正在尝试使用 Choco 求解器解决调度优化问题。它需要根据劳动力的轮班安排任务。它包括某些任务可以全部...
IBM CPLEX ILOG 中的约束编程： 以下 Cumulative(Zi|i Î I, Resiv, ARv) ∀v Î V 的代码 我在 IBM CPLEX 中编写。但是我的脉冲部分出现错误。你们能帮帮我吗？ 为了...
我有一个 MIP，我想在同一位置分配至少两个变量（二进制）。 在这种情况下如何实现或。我想要这样的东西： x1 + x2 + x3 + x4 >= 2 或 x5 + x6 +...
我喜欢约束编程。我一直在其他框架中进行研究和建模，最近发现了 OptaPlanner。我以为我已经掌握了它，因为我能够模拟一些问题，甚至……
我正在尝试改编 Hakan Kjellerstrand (@hakankless) 已经解决的约束编程问题，并且需要一些帮助。 原已解决的问题：有 6 位公共演讲者...
在多个图上运行 Google 或工具 TSP 约束求解器时出现 DuplicateFlagError
我正在使用 Google 的 ortools.constraint_solver 来寻找旅行商问题的解决方案。正如这里所见。当我在一组点上运行程序时，一切都按预期进行。 现在...
我们有什么方法可以使用 CP-SAT 类方法对以下示例公式进行编程： (x + y >=10) V (x - y <= 5) V (y >= 2 ) 我知道 M 方法的大技巧，但我不是……
我目前正在尝试学习约束编程。我试图向模型添加一些条件，即字符串和长度都应该满足模型，但由于某种原因它不满足。 ...
对于给定的 n 和 m，我迭代所有 n × m 部分循环矩阵，其条目为 0 或 1。我想查找是否存在一个矩阵，使得列不存在两个子集...
cp_model.CpModel() 中是否有与 pywrapcp.Solver() 中的 IsEqualCstVar 类似的功能？
由于缺少 AddModuloEquality，我不得不将程序从 Solver 更改为 CpModel。我对 IsEqualCstVar 有以下约束，我无法“翻译”： # 使用求解器 来自或工具。
有没有一种有效的方法来计算给定开始和结束时间之间的 IntervalVar 数量？ 我正在尝试实施员工排班脚本。我们有一个已经生成的需求...
如何根据决策变量（一个用于行，一个用于列）从矩阵（Python 中的列表列表）中选择一个元素 | OR-工具，Python
我是约束规划和 OR 工具的新手。关于问题的简要说明。有 8 个位置，对于每个位置我需要决定哪种移动属于 A 类型（move_A），哪种移动属于 B 类型（move_B）
我正在使用 OR-Tools 尝试解决类似于护士调度问题的问题，但每个护士（或者在我的例子中，学生）的轮班长度不同。我目前的方法是...
如何在or-tools中编写带有区间变量的替代约束？我认为这样的方法可行，但 AddAlternative 方法不存在。另一个问题是如何知道是否...
我正在尝试使用Python中的OR工具（OR工具的新功能）来解决类似于https://developers.google.com/optimization/assignment/assignment_groups的分配问题。也就是说，我想分配给我...