1回答
让我们假设这个约束具有2个变量(x % (26 ^ 13)) / (26 ^ 12) == (y % (26 ^ 5)) / (26 ^ 4)。 约束求解模型将具有多个这些约束。如何对这样的约束进行建模？这有可能吗？
浏览 66提问于2021-09-02得票数 0
回答已采纳
2回答
PuLP和OR-工具替代方案
、、、、
我目前有一个用Gurobi的python API制定的MIP模型，但最近我一直在研究PuLP和OR-Tools等工具，它们允许我构建模型并将其提供给多个不同的优化器。在我的模型中广泛使用的Gurobi的一个功能是能够具有使用and、or、min、max和abs等函数的约束。然而，似乎PuLP和OR工具并不支持这些。有没有支持这些的替代方案？或者，如果我想使用这样的东西，我必须重新制
浏览 8提问于2019-01-17得票数 3
1回答
我的任务是将Excel Solver解决方案自动化到我们的应用程序中。我偶然发现了or-tools，它看起来和我想要的很接近--尽管我不确定，因为这是我第一次尝试与SAT相关的问题空间。我有大约30个约束和一个目标。幸运的是，我能够将所有约束都建模到or-tools中，但是添加目标会一直返回Not an integer linear expression错误。我试图最小化的
浏览 42提问于2020-06-30得票数 0
我在or-tools中寻找AddModuloEquality的对立面。像x % 3 != y % 3这样的东西有没有适合这个问题的约束？不幸的是，我在文档中找不到任何东西。
浏览 2提问于2019-12-06得票数 0
1回答
班次最低护士人数
、、
我尝试使用此链接的第一个示例：https://developers.google.com/optimization/scheduling/employee_scheduling 我希望至少有两名护士轮班不幸的是，该程序没有找到任何解决方案。但是应该有足够的护士来做这件事。你有什么想法吗？谢谢! PS :如果我将天数设置为1，它可以工作，但如果它高于1，它什么也找不到。
浏览 12提问于2019-04-03得票数 2
回答已采纳
我为我的问题提供了一个初始可行的解决方案，满足了我的问题的所有约束条件，但不是最优的。然后，ORTOOLS执行GUIDED_LOCAL_SEARCH启发式，不断地干扰我的解决方案的某些部分(可能有时会使其变得不可行)，直到它有望得到比我的初始解决方案更好的解决方案。我的理解是，经典的约束编程从一个不可行(可能是空的)解决方案开始，传播约束
浏览 31提问于2019-09-08得票数 4
回答已采纳
我正在尝试用Google OR-Tools的CP-Solver解决一个问题。有没有可能添加这样的约束: x1 XOR x2 XOR x3 == 0，提前谢谢。
浏览 62提问于2020-12-02得票数 3
回答已采纳
2回答
有没有办法从求解器中删除已定义的约束，而无需清除求解器并从第一个开始创建约束？假设我的问题是最大化3个变量的和，其中两个约束constraint2:变量3应在5- 10之间constraints[1].SetCoefficient(variable[2],1)
现在，在第二次
浏览 8提问于2018-06-18得票数 3
2回答
如何创建“至少n”约束？
、、、、
我是一个新的约束编程新手，并试图弄清楚如何做一个“至少n”约束。现在我想要所有的解，其中至少有2个变量在2到3之间。所以类似于“给定条件的总和>= 2”谢谢
浏览 25提问于2019-08-14得票数 0
我刚接触Google OR-Tools (以及一般的约束编程)，我正在尝试将空闲时间添加到Jobshop示例中。我使用的job-shop示例可以在这里找到：https://developers.google.com/optimization/scheduling/job_shop#entire-program 我做了一些修改现在，我唯一想要添加到程序中的就是一个空闲变量。例如，完成一项任务的机器在开始下
浏览 15提问于2021-01-15得票数 0
回答已采纳
我试图建立一个有多个商品的市场模型，多个卖家和买家为一个或多个商品提供价格。例如，允许卖家卖出6个苹果，其中2个卖给出价最高的买家，4个卖给出价稍低的买家。市场也需要支持有条件的优惠，即我想卖4个苹果，但只有当我可以买2个梨。我现在已经使用Google OR-Tools对这个问题进行了建模，但我能找到的最接近的解决方法是使用CP-SAT，但是对我来说，如何对有条件的报价进行建模还不是很明显。像这样的
浏览 22提问于2019-06-05得票数 1
回答已采纳
我使用or-工具来解决MIP问题，并且我想添加一个约束，其中变量y等于其他变量Xi中的最大值。例如:y= max(x1，x2，x3)。在or-tools中有没有max函数可以做到这一点？我可以添加4个约束，比如： y >= x1y >= x3
y <= MAX # where MAX is the upper bound of y.但可能会出现错误的情况 x3 >= y.
浏览 32提问于2019-05-23得票数 3
回答已采纳
我在Linux Azure函数上的Python中运行OR-Tools。 我想让它成为一个API端点，在这里我可以发布整数编程问题的JSON表示，并收到解决方案。Constraints'][j]['Formula'])
print('Number of constraints =', solver.NumConstraints()) 然而，solver.Add()似乎不支持公式的字符串表示，它需要一个像solver.Add(x + y < 5)这样<e
浏览 12提问于2021-01-17得票数 0
MiniZinc站点(https://www.minizinc.org/doc-2.5.5/en/solvers.html#indicator-constraints)声明MIP SCIP求解器支持指示器约束我在http://google.github.io/or-tools/javadoc/com/google/ortools/linearsolver/MPIndicatorConstraint.htmlhl=en)<
浏览 22提问于2021-08-28得票数 0
回答已采纳
1回答
我需要用Google OR-Tools CP-SAT解决器来解决这个简单的优化问题：Constraint: Z/(X+Y+Z) <= 0.25
我不知道如何正确地写约束，因为它不是线性的。
浏览 2提问于2019-08-26得票数 2
我正在使用Google OR-tools制作一个日程安排程序。在这种情况下，工人有一个最小的班次长度(假设这里是2)，任何小于这个值的班次长度都是不允许的(类似于或-工具提供的例子)。然而，我已经在我的模型中实现了多个角色，如果需要的话，我希望我的员工能够在它们之间切换。但这似乎不是允许的顺序，因为在工作角色1期间，员工的工作时间少于最小班次长度。
如果你只工作一个角色，我想不出一种方法来限制轮班，但如果你要工作2个
浏览 1提问于2019-07-30得票数 0
1回答
我正在尝试解决中多背包示例的一个变体。我似乎无法编码的一个特性是对该值的软限制。# pseudocode!值为50的</em
浏览 6提问于2020-12-14得票数 3
回答已采纳
按照google OR tools教程(https://developers.google.com/optimization/scheduling/employee_scheduling)中的护士排班示例，我将尝试为该问题添加更多约束。例如，诊所有24个班次，以满足24小时的人员配备；(1)护士在没有至少1个班次休息的情况下，不能连续工作超过4个班次；(2)护士在每16个班次后需要睡眠8个班次。 如何实现这两个约束呢？如果这在OR-tools</e
浏览 19提问于2019-05-20得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
