我是 CP Optimizer（来自 ILOG）的新手，正在尝试找到正确的关键字来让我走上对累积容量约束建模的轨道。 例如，我有两个任务： A，持续 6 天，每天为累积容量限制贡献 5 个单位 B，持续 3 天，每天为累积容量约束贡献 10 个单位我想在一个时间间隔内设置一个累积容量限制。 例如， ...
我正在尝试使用 Python 中的“约束”库来解决一个小的约束问题。代码如下，但解决方案是空的。 我期待 Km * wt_Km (1 *42) 的解决方案。 有人可以帮忙解决这个问题吗？ 谢谢 ...
我正在学习离散优化课程，我们正在学习约束编程。 在关于具体化的主题中，我们正在解决稳定婚姻问题(SPM)。 model的配方是 我不知道如何进行排名比较。 这是我在 Python 中通过 or-tools 进行的尝试：def main(): n = 4 men = range(n) w ...
我正在使用 or-tools CP 工具构建一个 model。 我想找到的值放在向量 X 中，我想添加一个约束，表示X的每个 position，下一个 position 的值不能大于X[:i] + 1之前找到的最大值X[:i] + 1 它会是这样的： X[i] <= (max(X[:i]) ...
您好，我正在尝试使用 python-constraint API 学习 CSP，更具体地说，我正在尝试解决 MAX CLIQUE 问题。 目前我正在努力为我的程序声明正确的约束。 根据我在一些示例中阅读的内容，我对问题进行了建模，如下所示： 如果节点 A 和节点 B == neighbors th ...
我是数据挖掘的博士候选人，我必须使用 ORtools 创建一个全局约束以用于数据挖掘目的。 问题是在 inte.net 中缺少关于使用 CP-Sat 创建您自己的全局约束的文档，我不知道如何开始。 ...
我正在使用使用 Python 包装器的 Google ORTools 来解决护士调度问题，但我无法找到一种方法来实施约束，该约束试图在不使用硬约束的情况下平均分配工作班次。 例如，我与多个星期、不同的轮班和员工一起工作。 为了说明，我添加了一个非常简单的约束，即没有员工在整个时间段内的平均工作时间 ...
我正在使用 OR-Tools 来解决类似于护士调度问题的问题。 我的情况的不同之处在于，当我安排“护士”轮班时，他们必须连续工作几天（即，工作天数之间不能有间隔）。 大多数类似的问题都指向这段代码。 我试图实施从那里改编的答案。 但是，我得到了 output 不遵守约束的解决方案。 我试图遵循的逻辑 ...
我目前正在尝试学习约束编程。 我正在尝试向作为字符串的 model 添加一些条件，并且长度都应该满足 model 但由于某种原因它不满足。 这是代码： 如果您使用长度和字符串取消注释条件，结果如下： 所以3 - 1 = 2 , 2的长度为 1。我很困惑为什么这不满足条件。 抱歉，如果这不可能，我是 ...
我正在尝试研究、评估和比较 ECLIPSe-CLP 中的一些搜索方法。 评估所述系统中方法的复杂性和有效性的关键方法是计算回溯，使用来自 lib(ic_search) 的谓词 search/6 实现。 但是，在我的测试中，我注意到Eclipse软件在进入搜索之前自动应用了一些类似于域传播的过程，我 ...
嗨，我很难理解以下代码，有人可以帮忙解释一下吗？ 提前致谢！ ...
我目前正在尝试在 Minizinc 中开发一个（相当基本的）model。 到目前为止，我已经达到了一个点，我可以运行 model 并找到一个令人满意的解决方案（基本上调用“解决满足”给出了一个解决方案，尚未转向优化）。 对于一个特定的实例，我在大约 3.5 分钟内得到了解决方案。 但是，当我添加一个 ...
我正在使用 IBM cplex Python API 并解决问题以从数千个故事列表中查找故事，这些故事总结为不同冲刺的给定团队容量（此处为 2 周冲刺）。 每个故事都分配了故事点和属于特定团队。 有一些约束，如 end_before_start（一些故事应该在其他一些故事之前实施）和 workUs ...
我有一个旧的 Choco 2.1.4 项目，并且想将解决的解决方案数量限制为 2，因为我只想知道是否有 0、1 或多个解决方案广告想节省一些时间当有很多解决方案时调用 .solve() 。 我在 choco 4.10.8 中看到有一种方法 有没有办法在 choco 2.1.4 中做到这一点，或者我 ...
我正在使用 cplex 进行优化 model，以优化饮食成分。 现在我想添加一个额外的变量/KPI，它是 model 中其他 KPI 的总和。 但是，这个总和是一个有最大值的分数，这意味着当每个KPI超过某个上限时，总和不应该考虑超过这个值的值。 分数只是每种食物成分的衡量标准，因此，上限不是 m ...
我正在尝试编写一些 R 代码来执行约束优化，其中约束不是通常的 (g(x) < c) 类型。 我试图解决的问题类型示例如下： 给定每年的假定价格，一家公司正试图确定未来 5 年每年生产多少。 它每年最多可以生产 X 次，但在任何给定的 3 年中，window 最多只能生产 2 次。 此外，在 ...
我有一个正在处理的优化问题，其中优化器对一个变量的决定需要限制另一个变量的可用选择，我想知道实现这一点的不同方法的适用性。 为了演示目的，我将尝试减少它（在 kotlin 中）。 @PlanningEntity class AuctionBid { @PlanningId lateinit ...
我正在尝试对非重叠矩形实施约束。 我找到了这个链接：http: //yetanothermathprogrammingconsultant.blogspot.com/2017/07/rectangles-no-overlap-constraints.html 但我不太明白为什么二进制变量的总和应该 ...
我在 Java 中使用 Choco Solver 4.10.8 来解决约束编程问题。 目标是找到我们需要用来访问矩阵 M 中的所有城市的最小路径数，矩阵 M 在这里定义。 我们有 4 条路径和 6 个城市。 在这里，求解器应该返回 0 和 1，它们是我们查看所有 6 个城市所需的路径的索引。 ...
我需要运行一个模型，在其中我在一组约束内优化饮食并最终调用所有整数解决方案。 我在这里找到了一个几乎符合我需要的饮食示例： hakank.org 。 但是，就我而言，我的变量取连续值，因此在示例中，这将是所有营养价值和成本，而只有 x 取整数。 但是，在使用此模型定义变量时，我似乎只能定义“intv ...