找到合适的 Google OR-Tools 算法

Question

我必须找到最小化这个目标函数的integers 集合：

成本约束是：

• 每个x 必须是非负的integer

T、A 和 B 是 double 已知数字。

为了解决这个问题，我一直在研究 OR-Tools C++ 库，特别是 CP-SAT 求解器。

• 它是解决此类问题的正确工具吗？
• 如果是，将目标函数中的所有double 转换为int 是否可行？
• 如果不是，您还有什么建议？ （我也对其他开源 C++ 库开放）

Answer 1

它将适合 CP-SAT 求解器。您需要将浮点系数缩放为整数。

目标函数接受浮点系数。 但是，如果保持这种方式而不是 A1^2 + 2 * A1 * x1 + x1^2，则 (x1 + A1)^2 会传播得更好。如果您使用临时变量 sx1 = x1 * x1，则符合 CP-SAT 的线性双系数限制。

然后确保为此使用至少 8 名工人。 （参数 num_search_workers:8）。

现在，我相信有更适合此的最小二乘求解器。