Определение. Вектор-строка, на которую умножается слева xN в уравнении для ЦФ (13), называется вектором относительных оценок, т.к. он указывает, в какую сторону и насколько изменится ЦФ при изменении xN.
Обозначим этот вектор через dN. Его j-ый элемент определяется так:
Если относительная оценка (dN)j, то небазисной переменной (xN)j положительна или равна нулю, но значение ЦФ не увеличивается при увеличении (xN)j, начиная с нуля [11].
Теорема (условие оптимальности).Для ДБР x0 операция замещения, при которой (xN)p вводится в базис, изменяет значение ЦФ на величину
где
Если dN≥0, то x0 оптимально.
ЗЛП будем называть невырожденной, если все ее ДБР не вырождены. Справедлива теорема, обратная последней теореме.
Теорема. Пусть ЗЛП является невырожденной, а x0 – ДБР, являющееся ее решением. Тогда dN≥0.
В том случае, если ЗЛП не является невырожденной, предыдущая теорема приобретает вид:
Теорема. Для того, чтобы ДБР x0 являлось решением исходной ЗЛП, необходимо и достаточно существование такого базиса для x0, для которого dN≥0.
Теорема. Если некоторому ДБР исходной задачи соответствует задача, для которой существует небазисная переменная (xN)p такая, что (dN)p<0 и (aN)*p≤0, то целевая функция исходной задачи не ограничена на множестве допустимых решений (θ не ограничено сверху и можно сколько угодно увеличивать целевую функцию).
Пример 7.1
Дана ЗЛП
.
Знайти всі компоненти перетвореної задачі для ДБР, який відповідає базису . Чи є оптимальним цей ДБР?
Розв’язок
Базисні, небазисні змінні та відповідні їм векторикоєфіцієнтів ЦФ:
.
Небазисна матриця та вектор правих частин обмежень:
.
Базисна матриця та матриця, обернена до неї:
.
Значення базисних змінних та ЦФ:
Вектор відносних оцінок небазисних змінних:
Оскільки вектор відносних оцінок небазисних змінних містить додатні компоненти, а задача на максимум, то поточний базисний розв'язок не є оптимальним.