亲爱的，我想知道我是否正确地使用了CP-SAT算法。基本上，我的代码会自动创建一个读取带有数据集的csv的模型。我的代码为数据集的每个记录创建model.NewBoolVar()，乘以优化问题要采取的可能决策的数量……例如，如果我有一个包含100万条记录的数据集，并且我必须在3个选项之间做出选择，那么该模型将包含三百万布尔值的组合是我优化问题的解决方案。 目前，在100K变量之后，程序变得不稳定，python崩溃。你认为我在尝试不正确地使用CP-SAT吗？你有这方面的经验吗？ 非常感谢。干杯
浏览 12提问于2019-10-08得票数 0
1回答
亲爱的，我意识到我的优化问题99%的时间只有大量的布尔决策变量(400K)和线性约束。我想知道是否可以使用下面列出的一些参数来提高CP-SAT的性能，避免不必要的求解器操作：https://github.com/google/or-tools/blob/master/ortools/sat
浏览 34提问于2020-07-20得票数 0
我正在使用OR-Tools / CP-sat求解器在python中解决一个优化问题。我使用的文件需要几个小时才能得到最优解决方案。
浏览 1提问于2021-01-11得票数 0
1回答
我需要用Google OR-Tools CP-SAT解决器来解决这个简单的优化问题：Constraint: Z/(X+Y+Z) <= 0.25
我不知道如何正确地写约束
浏览 2提问于2019-08-26得票数 2
我最近开始在Java语言中使用Google OR Tools CP-Sat Solver，并且遇到了一些简单的数学方程问题，包括常量和OR工具内部的"IntVar“。有没有人在Java中处理过CP-Sat优化问题，并且知道解决办法？
浏览 26提问于2021-05-07得票数 1
我正在将我的旧(2010年) OR-tools CP求解器模型移植到CP-SAT求解器(在Python3中)。这些系统之间有相当多的差异，但大多数都很容易移植到CP-SAT求解器。然而，我在CP-SAT求解器文档中没有发现一件事，那就是旧的CP求解器支持的“反射”方法，比如获得决策变量的下界/上界。例如。(这是一个使用Min和Max方法实现cumulative约束的CP求解器： )
CP-SAT求解器支持这些反射方法吗？
浏览 21提问于2021-02-19得票数 0
回答已采纳
1回答
然而，较新的版本，CP-SAT不能.
我的假设是，CP将尽全力尝试问题中的每一个选项，从可行的选项中取最大值或最小值(取决于您的优化目标)。
浏览 2提问于2019-07-15得票数 2
我正在尝试使用Google OR for Python 3.7构建整数线性规划模型。我不知道如何创建析取约束。假设有{ x1，x2，x3，x4，x5，...}个变量，我想把几个条件分解成一个:x1+ x2 =2| x2 + x3 =2| x3 + x4 =2so，满足条件x2 + x3 =2就足够了。 据我所知，这是可能的，称为析取条件。对于OR工具，我找到了some explanation，但它是用于C++的，而且看起来很过时。也有tutorial by google，但它是用于CP的，而不是LP任务，所以我不知道如何在我的案例中使用它(我没有模型，只是求解器) 我的任务是在轮班期间定义晚
浏览 22提问于2019-04-15得票数 2
我想知道是否可以使用线性赋值求解器来解决广义赋值问题。如果可能的话，我必须在求解器中配置一个参数？
浏览 4提问于2020-03-03得票数 0
回答已采纳
2回答
我正在尝试在OR Tools Python API中构建MIP模型。我有两个表达式x和y，我想让一个变量b在x == y时等于1，否则等于0。到目前为止，我尝试做的是为某个较大的M值添加-M(1 - b) <= x - y <= M(1 - b)约束，如果为x != y，则强制b为0。我被卡住的地方是添加一个约束，如果为x == y，则强制b为1。我想我会想要像x - y >= 1 - b或y - x >= 1 - b这样的东西，但是我不知道如何逻辑地组合这样的约束。对如何做到这一点有什么建议吗？还是为了一些完全不同的方法？
浏览 0提问于2019-01-19得票数 0
我知道在整数优化问题中，我们可以使用差分求解器(cp-sat-cp).In routing problem (tsp或其他)如何使用差分求解问题。
浏览 35提问于2020-09-30得票数 1
回答已采纳
我在和蟒蛇一起工作。我想写一个约束，数学上可以表示为：我研究了如何用python中的ortools来实现这个目的，但是我很困惑。(也许它与这个函数OnlyEnforceIf 有关，但我不确定布尔值在这里如何工作)
浏览 10提问于2022-05-28得票数 0
亲爱的，我读到一个可行方案的CP-SAT并不能确保所有约束都得到满足。我说的对吗？有没有办法迫使它满足所有这些要求，即使解决方案是“可行的”？它是否提供满足和不满足的约束？谢谢
浏览 35提问于2019-09-18得票数 0
1回答
问题是，关于在互联网上使用CP-Sat创建自己的全局约束，缺乏文档，我不知道如何开始。
浏览 7提问于2022-11-23得票数 2
回答已采纳
我们使用Java接口来访问指示器约束。考虑到二进制变量的数量很大，问题的解决阶段通常需要几个小时才能运行。不能为请求指定线程数，而且solveWithProto方法是静态的，因此我们想知道实例化MPSolver和设置线程数是否真的会产生预期的效果。final MPModelRequest mpModelRequest = MPModelRequest.newBuilder()
浏览 2提问于2022-01-11得票数 1
1回答
我试图在Python中使用或-tools来求解具有多个最优解的混合整数线性规划。但是，NextSolution()总是返回False，因此我不能检索多个解决方案。我理解这个函数使用约束求解器工作，但是我想使用MILP求解器。
但是，我在源回购、文档或网络搜索中找不到任何这样的linear_solver_interfaces_test。我使用ort
浏览 4提问于2020-08-06得票数 3
1回答
我正在探索Google的Cp-SAT来建模一种特定类型的约束，如下所示：变量X可以假定值1、2和3。变量Z可以假定值为5、6和7。
浏览 0提问于2020-03-14得票数 0
回答已采纳
我目前正在Python的OR-tools中解决一个班次分配问题，使用MIP求解器，一次一个员工。对于每个单独的问题，都有一个员工和大约100个班次。有很多变量和约束(每个员工1000个)。我已经详细研究了如何改进每个约束，但没有成功。由于性能真的很重要，我想进一步调查调整搜索策略的可能性，但也没有运气。看起来文档很稀疏。 有没有人可以给我一些选项来帮助我呢？ 这是我正在使用的求解器： pywraplp.Solver.CBC_MIXED_INTEGER_PROGRAMMING 提前谢谢你。如果我需要在这里添加任何信息，请告诉我。
浏览 13提问于2019-03-07得票数 1
回答已采纳
云服务器
ICP备案
云点播
对象存储
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号