Многокритериальная задача математического

В формальном представлении критерии (целевые функции), по которым оценивается решение Х, будет записываться в виде f_i (Х), .

Критерий f_i называют также частными. Для удобства рассуждений примем, что для всех i чем больше значение критерия, тем лучше. Тогда задача многокритериального математического программирования запишется в виде:

max{ f ₁(X)= y ₁},

max{ f ₂(X)= y ₂},

.......

max{ f_m (X)= y_m },

Х D,

где D – множество допустимых решений. Иначе говоря, задача состоит в максимизации вектора критериев f (X)=Y по X D.

Существенное отличие этой задачи от традиционной однокритериальной состоит в понятии оптимальности. В однокритериальной задаче под оптимальным понимается решение, обеспечивающее максимальное значение критерия. При многих критериях увеличение одних критериев приводит к уменьшению других (редкие исключения не представляют практического интереса) и поэтому понятие оптимальности требует принципиальных уточнений. Очевидно, что без дополнительной информации о предпочтениях ЛПР бессмысленно говорить об оптимальном решении и тем более формализованно искать его.

Допустимое множество D строится в n -мерном пространстве переменных. Каждое решение X D полностью характеризуется соответствующими значениями всех частных критериев, т.е. вектором Y. Числовое m -мерное пространство E ^m, координатами которого являются y_i=f_i (X), называется критериальным пространством. Очевидно, что каждому Х можно поставить в соответствие точку в критериальном пространстве. Если же решение Х допустимо, то соответствующая точка в E ^m, определяемая вектором Y, является достижимой. Множество таких точек в критериальном пространстве называется множеством достижимости (достижимых векторов). Таким образом, векторная функция f (X) отображает допустимое множество D на множестве достижимости G:

и задача состоит в выборе вектора из этого множества, наилучшего с точки зрения ЛПР.

В общем случае построение множества G для реальных задач весьма проблематично, но для задач с «хорошими» свойствами, например, линейных, множество достижимости может быть построено.