使用CP-SAT预测3百万个布尔变量

Question

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

当前经过10万个变量后，程序变得不稳定，并且python崩溃。您是否认为我尝试不正确使用CP-SAT？您有这类书的经验吗？

非常感谢。 干杯

Answer 1

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