1.2Задача оптимизации: суть задачи и её элементы
Запоминаем основные элементы задачи оптимизации: «искомые переменные», «целевая функция», «ограничения», «константы задачи».
Задача оптимизации представляет собой задачу поиска оптимальной, т. е. наилучшей по заданному критерию совокупности значений некоторого набора переменных.
Итак, искомым результатом задачи оптимизации являются наилучшие значения переменных. Эти переменные выражают суть решаемой задачи и называются искомыми переменными. Они объединяются в вектор или матрицу. Значением вектора переменных является упорядоченная последовательность чисел. Значение матрицы переменных является таблица чисел. При этом задача оптимизации формулируется как задача поиска оптимального по некоторому критерию вектора или оптимальной матрицы.
Наиболее массовыми задачами оптимизации являются задачи поиска оптимальных планов и программ. При этом плановые показатели той или иной предметной области образуют множество искомых переменных.
Критерий оптимальности (он же показатель качества найденного решения), используемый при решении задачи оптимизации, представляет собой некоторую функцию от искомых переменных. Эта функция называется целевой функцией. Название обусловлено тем, что в процессе решения задачи ставится конкретная цель: достижение экстремального или заданного значения критерия оптимальности (целевой функции). При рассмотрении задач оптимизации достаточно вести речь о поиске экстремума, поскольку приближение целевой функции к заданному значению можно рассматривать как задачу минимизации абсолютной величины разности между этой целевой функцией и заданным её значением.
Заметим попутно, что в математике функция нескольких переменных, определённый интеграл и, вообще, любое отображение совокупностей чисел в числа называются функционалом, поэтому целевая функция, зависящая в общем случае от нескольких переменных, является функционалом.
Решение каждой задачи оптимизации осуществляется в рамках конкретной предметной области, и это обусловливает необходимость учёта физических и логических особенностей этой предметной области, таких как требование того, чтобы количество используемых в производственном процессе материалов не превышало количества запасов этих материалов на складах предприятия. Указанные особенности порождают так называемые ограничения на значения искомых переменных. Формально ограничения имеют вид системы отношений – неравенств и/или равенств.
Итак, запоминаем основные элементы задачи оптимизации:
искомые переменные – это переменные, значения которых отыскиваются в процессе решения задачи оптимизации; эти переменные обычно организуются в вектор или матрицу;
целевая функция – это функция, зависящая от искомых переменных, представляющая собой критерий качества решения задачи оптимизации; как математический объект целевая функция является функционалом; в процессе решения задачи оптимизации отыскивается такой набор значений искомых переменных, при котором целевая функция имеет экстремальное (максимальное или минимальное) значение либо равна заданному (желательному) значению;
цель решения задачи оптимизации – нахождение значений искомых переменных, при которых целевая функция имеет максимальное либо минимальное, либо заданное значение; кратко цель формулируется так: «максимизация либо минимизация целевой функции» или «поиск экстремума целевой функции»;
константы задачи – это заданные значения (исходные данные), характеризующие предметную область, используемые в формулах, определяющих целевую функцию и ограничения задачи;
ограничения – это представляемые в виде системы отношений (неравенств и/или равенств) физические и логические особенности предметной области, в рамках которой решается задача оптимизации; по сути дела, ограничения определяют множество допустимых значений для каждой искомой переменной; в ограничениях операции отношения (
)
соединяют некоторые выражения, в которые
входят искомые переменные;
вспомогательные функции задачи – это выражения, входящие в отношения ограничений и в целевую функцию, содержащие искомые переменные и константы задачи, очень часто допускающие достаточно ясную содержательную интерпретацию; для вспомогательных функции, входящих в ограничения, будем использовать уточняющий термин «функции ограничений».