constraint-programming 相关问题

约束网络由三元组<X,C,D>定义,其中X是一组变量,C是一组约束,D是X的域(即从变量到值集的映射)。约束满足问题(CSP)是决定约束网络是否具有解决方案的问题。

IBM CPLEX 累积中脉冲部分的错误

IBM CPLEX ILOG 中的约束编程: 以下 Cumulative(Zi|i Î I, Resiv, ARv) ∀v Î V 的代码 我在 IBM CPLEX 中编写。但是我的脉冲部分出现错误。你们能帮帮我吗? 为了...

回答 1 投票 0

MIP(混合整数问题)使用 OR 构建约束

我有一个 MIP,我想在同一位置分配至少两个变量(二进制)。 在这种情况下如何实现或。我想要这样的东西: x1 + x2 + x3 + x4 >= 2 或 x5 + x6 +...

回答 1 投票 0

我无法使用 OptaPlanner 解决数独问题

我喜欢约束编程。我一直在其他框架中进行研究和建模,最近发现了 OptaPlanner。我以为我已经掌握了它,因为我能够模拟一些问题,甚至……

回答 1 投票 0

约束编程:在最短的时间内安排演讲者

我正在尝试改编 Hakan Kjellerstrand (@hakankless) 已经解决的约束编程问题,并且需要一些帮助。 原已解决的问题:有 6 位公共演讲者...

回答 2 投票 0

在多个图上运行 Google 或工具 TSP 约束求解器时出现 DuplicateFlagError

我正在使用 Google 的 ortools.constraint_solver 来寻找旅行商问题的解决方案。正如这里所见。当我在一组点上运行程序时,一切都按预期进行。 现在...

回答 1 投票 0

CP-SAT 中的 OR 约束

我们有什么方法可以使用 CP-SAT 类方法对以下示例公式进行编程: (x + y >=10) V (x - y <= 5) V (y >= 2 ) 我知道 M 方法的大技巧,但我不是……

回答 1 投票 0

约束参数如何查找字符串并比较字符串长度? (蟒蛇)

我目前正在尝试学习约束编程。我试图向模型添加一些条件,即字符串和长度都应该满足模型,但由于某种原因它不满足。 ...

回答 1 投票 0

快速代码确定任意两个列子集是否具有相同的总和

对于给定的 n 和 m,我迭代所有 n × m 部分循环矩阵,其条目为 0 或 1。我想查找是否存在一个矩阵,使得列不存在两个子集...

回答 2 投票 0

cp_model.CpModel() 中是否有与 pywrapcp.Solver() 中的 IsEqualCstVar 类似的功能?

由于缺少 AddModuloEquality,我不得不将程序从 Solver 更改为 CpModel。我对 IsEqualCstVar 有以下约束,我无法“翻译”: # 使用求解器 来自或工具。

回答 1 投票 0

有效计算给定开始/结束时间之间的IntervalVars

有没有一种有效的方法来计算给定开始和结束时间之间的 IntervalVar 数量? 我正在尝试实施员工排班脚本。我们有一个已经生成的需求...

回答 1 投票 0

如何根据决策变量(一个用于行,一个用于列)从矩阵(Python 中的列表列表)中选择一个元素 | OR-工具,Python

我是约束规划和 OR 工具的新手。关于问题的简要说明。有 8 个位置,对于每个位置我需要决定哪种移动属于 A 类型(move_A),哪种移动属于 B 类型(move_B)

回答 3 投票 0

使用 OR-Tools 解决“护士调度”问题的连续轮班?

我正在使用 OR-Tools 尝试解决类似于护士调度问题的问题,但每个护士(或者在我的例子中,学生)的轮班长度不同。我目前的方法是...

回答 1 投票 0

如何在or-tools中编写带有区间变量的替代约束?

如何在or-tools中编写带有区间变量的替代约束?我认为这样的方法可行,但 AddAlternative 方法不存在。另一个问题是如何知道是否...

回答 1 投票 0

使用 OR 工具解决多参与者分配问题

我正在尝试使用Python中的OR工具(OR工具的新功能)来解决类似于https://developers.google.com/optimization/assignment/assignment_groups的分配问题。也就是说,我想分配给我...

回答 1 投票 0

如何修改现有 Google OR-Tools 约束编程模型的变量和约束?

我使用Python中的Google OR Tools编写了一个约束编程模型,它使用CP求解器。我需要多次运行该模型,并且在每次运行中我都会修改约束。目前,我创建...

回答 2 投票 0

Google OR 工具 - 火车调度问题

我试图解决的问题有点像这里的员工调度问题: https://github.com/google/or-tools/blob/master/examples/python/shift_scheduling_sat.py 然而,有一些...

回答 3 投票 0

约束编程 - 使用变量作为矩阵的索引

我是 or-tools 的新手,我很难使用它,这是我的问题: 假设我们有一张包含 3 个点“1”、“2”、“3”的地图,并且有 3 个名称“a”、“b”、“c”。每个点可以取所有名称但必须...

回答 2 投票 0

护士调度 CpSolver 陷入某些解决方案中

我正在实现一个复杂的护士调度问题。 我希望护士连续轮班工作,并匹配每个轮班所需的最低护士人数。 具体来说,问题是我变得可行,但是

回答 1 投票 0

当要求解的变量是使用or-tools cp_model的列表的索引变量时,如何编写约束?

由于数据类型问题,下面的简单代码不起作用: “类型错误:列表索引必须是整数或切片,而不是 _SumArray” 从 ortools.sat.python 导入 cp_model 型号=cp_...

回答 1 投票 0

如何使用ortools约束编程最大化任务分配中“索引对”的数量

假设我们有三个有序任务 [0, 1, 2] 和两个有序日期 [0, 1],我们希望将这三个任务分配给这两天。 同时,我们希望尽量减少迪斯科的发生...

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.