Оператор поиска экстремума находит значения варьируемых переменных, соответствующие минимуму или максимуму некоторой функции, и присваивает найденные значения этим переменным.
В визуальном редакторе оператор поиска экстремума выглядит как показано на рисунке ниже.
В общем случае оператор содержит:
- максимизируемое / минимизируемое вырвжение ("функция" на рисунке);
- перечень варьируемых пременных ("x" и "y" на рисунке), переменные должны иметь тип double;
- допустимые значения изменения варьируемых переменных (по умолчанию - все множество вещественных чисел);
- перечень ограничений, задаваемых неравенствами (в общем случае нелинейными), в которые входят варьируемые переменные.
В текстовом виде это оператор выглядит следующим образом:
maximize x**2 + y**2 for
x in 0..Infinity(), y in 0..Infinity()
constraints {y <= 3 - x; y >= x + 1;};
В качестве начального приближения для численного метода используются значения варьируемых переменных на момент начала выполнения оператора.
В результате выполнения этого оператора варьируемые переменные примут значения x=0, y=3.
Некоторые составляющие оператора могут отсутствовать, например
minimize x**2+y**2 for x in 1..3, y in 1..2;
minimize (x-1)**2+(y-2)**2 for x, y;