最先进的非凸 QCQP 求解器？

Question

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

我的问题如下：

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

objective函数是线性的。

感谢您的帮助

Answer 1

看看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。