问CP-SAT优化
EN

Stack Overflow用户

提问于 2020-07-20 22:50:53

回答 1查看 176关注 0票数 0

亲爱的，我意识到我的优化问题99%的时间只有大量的布尔决策变量(400K)和线性约束。我想知道是否可以使用下面列出的一些参数来提高CP-SAT的性能，避免不必要的求解器操作：https://github.com/google/or-tools/blob/master/ortools/sat/sat_parameters.proto

谢谢!

附注：我使用的是python

发布于 2020-07-20 23:02:05

您可以尝试：

linearization_level:0

或

num_search_workers:8

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/62998058

复制

相似问题

问CP-SAT优化EN