python - 将 CP-SAT Solver 用于非线性目标函数

Question

我正在尝试使用带有一些变量的 CP-SAT 求解器：x, y. 我想在x**2-y*x一些约束条件下最大化表单的目标函数。我越来越

类型错误：** 或 pow() 不支持的操作数类型：'IntVar' 和 'int'

错误信息。我是否正确假设我不能对 CP-SAT 使用非线性目标函数，因为我找不到任何使用非线性目标的文档或示例？或者有什么方法可以做到这一点？

score 3 · Accepted Answer

3

您必须使用 AddMultiplicationEquality(x2, [x, x]) 创建一个中间变量

于 2019-08-16T12:18:09.457 回答

1 回答 1