or-tools - 使用 CP-SAT 预测 300 万个布尔变量

Question

亲爱的，我想了解我是否正确使用了 CP-SAT 算法。基本上，我的代码会自动创建一个模型来读取带有数据集的 csv。我的代码为数据集的每条记录创建 model.NewBool​​Var() 乘以优化问题要采取的可能决策的数量......例如，如果我有一个包含 1 百万条记录的数据集，我必须在 3选项，模型将包含 3 百万个布尔变量。3 百万个布尔值的组合是我优化问题的解决方案。

目前在 100K 变量之后，程序变得不稳定并且 python 崩溃。你认为我试图不正确地使用 CP-SAT 吗？你有这种卷的经验吗？

非常感谢。干杯

标签： or-tools

Answer 1

你知道这是一个 NP 问题。因此，您可能正在创建大小为 2^3000000000 的搜索树。