我有一个问题，我正试图优化约100万个变量和1000万个约束.CP-SAT需要很长时间才能找到可行的解决方案.我正在阅读输出，我看到了一些我不明白的事情.
- 它告诉我，我需要将对称性增加到至少3.看看this link(假设它与最新版本的CP-SAT相关，并使用Python)，它说
//我们是否try 自动检测模型中的对称性
但它没有提到3或以上的对称性.如果你把它设为3，它会做什么？
- 我试着把symmetry设置为3，现在这个信息已经消失了，但我只剩下
[对称性]GraphSymmetryFinder错误:在初始优化期间.
这是我应该努力解决的问题吗？如果是，怎么解决？
- 还有一行是这样的:
[探测]确定时间:1.00001(限值:1)墙壁时间:1.21766
这是值得担心的吗？我可以增加limit以使探测完成而不是中止吗？limit似乎不是solver.parameters的参数之一.limit是否设置了探测可以运行的秒数上限？在这个探索步骤中发生了什么？