Рассмотрим функцию n переменных
. Аргумент
функции F (x) может принимать значения из множества
. Функция F (x) называется целевой функцией, X - допустимым множеством (ОДР-область допустимых решений ),
– допустимой точкой (вектором ),
– оптимизируемыми переменными.
Задачи, в которых требуется найти все точки глобального минимума (максимума) либо показать, что их не существует, записываются в виде
(1)
(2)
задача нахождения и точек глобального максимума, и точек глобального минимума:
. (3)
Задачи 1–3 называются задачами математического программирования (ЗМП).
Решения задач 1 и 2 называются оптимальными решениями и обозначаются соответственно
,
,
причем запись
часто опускается. Числа
,
являются наименьшим и наибольшим значением целевой функции на допустимом множестве Х и обозначаются
,
.
ЗМП решена, если
1) найдено ее решение, либо
2) показано, что решения не существует.
Возможны следующие случаи отсутствия решения ЗМП:
a)
Æ (ОДР пуста),
b)
неограничена на X (сверху ¾ для задачи
снизу ¾ для задачи
),
c) точная верхняя (для задачи
) или нижняя (для задачи
) грань множества значений
,
не достигается на X. Например: не существует наименьшего
.
Математическая теория дает признаки только локального экстремума, в основном все методы нацелены на отыскание локального экстремума.






