В этой ссылке http://mosek.com/products/ampl/ говорится, что усилитель не поддерживает проблему коники. Но в нем нет подробных объяснений. Может ли какая-нибудь помощь объяснить, почему амплитуда не может решить проблему коники? Спасибо,Может использоваться AMPL для решения SOCP
AMPL поддерживает программирование коники при использовании с решателями CPLEX и Gurobi. Смотрите, например, эти слайды:
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, как квадратичные ограничения, с суммой квадратов переменных на левой стороне, и либо квадрат неотрицательной переменной или произведением двух неотрицательных переменных в правой части. На самом деле он немного более общий, так как любой член может быть умножен на положительную константу.
AMPL ничего и не может решить.
AMPL - это среда моделирования (предоставляется компанией AMPL Optimization LLC). Он превращает вашу модель в форму, которая может быть передана другой сторонней программе, называемой решателем. Затем решатель решает вашу проблему.
Как уже отмечалось, AMPL способен представлять проблемы коники. Решатель, предоставленный MOSEK ApS, сможет решить проблемы с конической проблемой, по-видимому, существует некоторая проблема передачи вашей модели из среды AMPL в решатель MOSEK.
Проблема не в среде AMPL как таковой, а в текущей версии драйвера Mosek. Другие решатели AMPL, такие как CPLEX, могут обрабатывать SOCP. – vitaut
@vitaut Спасибо, я исправил свой ответ! – Ali