约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
OR-TOOLS CP-SAT 作业车间调度 - 将不同作业的任务分组
我正在尝试使用 Google OR-TOOLS CP-SAT 制定时间表。我发现一个问题，因为有一个要求，不同工作的一些任务应该依次安排，如果...
我正在根据 Kyle.E.C.Booth 的论文“A Constraint Planning Approach to Electric Vehicle Routing with Time Windows”使用 CP 编码模型 使用CP； int NoDepot = ...; int NoC...
目前，我正在使用 MiniZinc 做一些大学日程安排项目。我使用2个dzn文件，分别是A.dzn和B.dzn，这些dzn文件填充了大学数据，例如student_groups，subject，nu...
我正在尝试修改Picat用户指南中的最大流建模。我有两个版本，flow1和flow2，如下： 导入 cp，实用程序。 主要 => V = [1, 2, 3, 4, 5, 6, 7, 8], E = [{1, 2}, {...
OR-工具库，CP-SAT 求解器。当worker数量较多（num_search_workers）时，调用stop_search后模型计算不会停止
我正在解决标准作业车间调度问题。启动是通过 Docker 容器中的气流进行的。 以下是机器参数： CPU：英特尔至强金牌 6230 内存：超过300 GB 当...
我正在学习约束规划课程，教授给我分配了这份工作： 让我们考虑一个由数字 v = [v_1, ... , v_n] 组成的 n 元素向量，其中 v_i ∈ N。对于 i，j ∈ {1, ... , n} 一个...
我正在使用 python-constraint 库来尝试解决 n 皇后问题 （n 个皇后被放置在 n×n 的棋盘上，并且它们的排列方式必须确保它们不会互相威胁） 我的
下面是代码片段。我正在尝试返回所有可能匹配的列表，这些匹配的组合正确，但是我正在寻找一种方法来返回所有可能的匹配，就像双轮一样 -
在我试图解决的问题中，我有一个长度为n的布尔变量列表，称为x。给定一个整数 m，其中 m < n, I need to define these two constraints: if LinearExpr.Sum(x[m:]) &g...
OR-TOOLS 作业车间调度 - 拆分较长的任务并在轮班之间将它们保持在一起
使用 OR-TOOLS CP-SAT 我发现了一个在其他任务之间入侵任务的问题。在我的模型中，有些机器按 1、2、3 班倒工作，周末不工作。 #非工作时间间隔
我有一个包含求解调用的谓词。当它没有解决方案时，它会抛出 *** 错误(failed,main/0)。是否可以捕获此错误？阅读示例文件 exs.pi 我认为
stateFunction 的各个部分是否有限制只能按升序或降序排列？
我有3个间隔： dvar 间隔 MyInterval[0..2]; 我有状态功能 状态函数 MyStateFunction; 我有限制： alwysConstant(MyStateFunction, MyInterval[i]); 总是在（
“alwaysIn”（状态函数）是否可以从一组值中进行选择？
状态函数看起来是对我的情况进行建模的最佳选择。 在此输入图像描述 现在区间变量 X 可能处于从“vmin”到“vmax”的状态函数范围内。 但在我的情况...
我一直在尝试调整 OR-Tools 中常见的装箱问题来优化使用的空间，而不是优化箱子的数量，但我似乎无法弄清楚如何做到这一点。 那我...
我有一个如下所示的方程组： “L3+L4+S5+S12+L1+D4+L8+S3+L7+D8+D5+L5==1”， “L4+D9+S5+L1+D16+L8+L6+S8+L7+D8==1”， “L4+L...
我在使用 cpmpy 的累积约束和 ortools 求解器时遇到性能问题。尽管任务数量合理，但性能却意外下降。这是一个错误，还是有赌注......
我目前有一个相当简单的算法，尝试在给定一些限制的情况下构建最佳的团队阵容： 需要游泳运动员参加的赛事清单是有限的 活动 1...
我正在尝试在 DOcplex 中复制 CPLEX ILOG 目标函数，但不断遇到一些错误。我不太确定 type_of_next function() 如何与索引一起工作，这使得它很困难......
您好， 在 IBM cplex ılog 中，我正在研究作业车间调度的约束编程。我需要输出的 GAP 值。在IBM，我可以得到GAP的价值。举个我分享的图片中的例子......
如何将设定时间范围约束中所需的连续休息天数编码到 Or-Tools 时间表中？
我正在开发一个为空中救护车生成名册的系统，显然这些名册受到很大限制，并且有大量关于飞行员应该休息多少时间的规则。其中之一