Дипломная работа: Разработка математической модели и ПО для задач составления расписания

где x – соответствующая компонента вектора , а - текущие небазисные переменные. Можно выразить x, a_{0 и} a_j, используя введенное выше представление (14):

(16)

(17)

Подставив выражения (16) и (17) в (15) и переставив члены, получим:

(18)

Поскольку , и на переменные x и наложено требование неотрицательности, левая часть уравнения (18) всегда неотрицательна. Рассмотрим выражение в правой части, заключенное в фигурные скобки. Коэффициенты в этом выражении представляют собой целые числа, а переменные подчинены требованию целочисленнос?