Можно ли использовать AMPL для решения SOCP

В этой ссылке http://mosek.com/products/ampl/ говорится, что amp не поддерживает коническая задача. Но это не имеет подробного объяснения. Может ли какая-нибудь помощь объяснить, почему усилитель не может решить коническую проблему? Спасибо,


math mathematical-optimization modeling ampl
person tqjustc    schedule 08.11.2013    source источник

Ответы (2)


arrow_upward
4
arrow_downward

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 как квадратичные ограничения с суммой квадратов переменных в левой части и либо квадратом неотрицательной переменной, либо произведением двух неотрицательных переменных в правой части. На самом деле это немного более общий характер, так как любой член можно умножить на положительную константу.

person 4er    schedule 08.11.2013

arrow_upward
1
arrow_downward

AMPL ничего не решает и не может решить.

AMPL - это среда моделирования (предоставленная AMPL Optimization LLC). Он преобразует вашу модель в форму, которую можно передать другой сторонней программе, называемой решателем. Затем решатель решит вашу проблему.

Как уже отмечали другие, AMPL может представлять конические задачи. Решатель, предоставляемый MOSEK ApS, сможет решать конические задачи, по-видимому, существует некоторая проблема при передаче вашей модели из среды AMPL в решатель MOSEK.

person Ali    schedule 08.11.2013
comment
Проблема не в среде AMPL как таковой, а в текущей версии драйвера Mosek. Другие решатели AMPL, такие как CPLEX, могут обрабатывать SOCP. - person vitaut; 09.11.2013