AMPL可用于解决SOCP问题

Question

在此链接中，http://mosek.com/products/ampl/表示放大器不支持圆锥曲线问题。但它没有详细说明。可以帮助解释为什么AMP不能解决圆锥曲线问题？谢谢，

Answer 1

当与CPLEX和Gurobi求解器一起使用时，AMPL确实支持圆锥编程。例如，参见这些幻灯片：

http://www.ampl.com/MEETINGS/TALKS/2012_08_Berlin_Thu.1.H1058.pdf    http://www.ampl.com/MEETINGS/TALKS/2013_08_Lisbon_Thu.A.23.pdf

简而言之，圆锥约束在AMPL中表示为二次约束，左边是变量的平方和，右边是非负变量的平方或两个非负变量的乘积。侧。实际上它更为一般，因为任何术语都可以乘以正常数。

Answer 2

AMPL没有也无法解决任何问题。

AMPL是一种建模环境（由AMPL Optimization LLC提供）。它将您的模型转换为可以传递给另一个名为solver的第三方程序的表单。解算器然后解决您的问题。

正如其他人已经指出的那样，AMPL能够代表圆锥形问题。 MOSEK ApS提供的求解器能够解决圆锥曲线问题，显然将模型从AMPL环境传递给MOSEK求解器存在一些问题。