0

你知道非凸 QCQP 求解器吗？对于学者或学生来说，免费软件将是一件大事。我试图找到这样的求解器但没有成功......

我的问题是以下形式：

  • 具有线性（严格和非严格）不等式
  • 在不等式之间具有逻辑约束（例如等价、含义）
  • 令 X = {x1, ..., xn} 是一组变量，而 Y = {y1, ..., ym} 是一组变量。二次约束的形式如下：
    • x1 = x1y1 + x2y2
    • x2 = x1y3 + x3y4
    • x3 = x2y5 + x1y6
    • ...
    • 左侧 X 的一个变量
    • 等式约束
    • 系数等于 1 的两个变量的乘积之和
    • st 两个变量的每个乘积仅出现在 X 的一个变量和 Y 的一个变量之间。

目标函数是线性的。

谢谢您的帮助

4

1 回答 1

1

Have a look at scip, GloMiQO/Antigone, Baron and Couenne. GloMiQo is for quadratic problems, the other solvers can also handle more general non-convex NLP/MINLP problems. Some of these are available through NEOS.

于 2016-07-11T13:06:30.780 回答