С учетом указанного выше содержательного смысла критерияоптимизации в дополнительных ограничениях (10), а также вводя весовыекоэффициенты статуса преподавателя , получаем искомый критерий оптимальности:
Введенная целевая функцияне является единственно возможной. Введение других целевых функций не меняетограничений математической модели и методов решения задачи, но можетсущественно повлиять на результаты вычислений.
2.2. МЕТОДЫ РЕШЕНИЯ ПОСТАВЛЕННОЙ ЗАДАЧИПоставленная в предыдущем пункте задачамаксимизации линейной целевой функции при заданной системе ограничений являетсязадачей линейного целочисленного булева программирования, поскольку всекоэффициенты ограничений целочисленны в силу дискретности исходных данныхзадачи; кроме этого искомые переменные математической модели могут приниматьтолько два значения. На данный момент временисуществует несколько возможных методов решения такого рода задач.
В [3] – [8] описаны методы упорядоченной индексации имодифицированных пометок, основанные на лагранжевой декомпозиции исходноймодели на ряд однострочных задач, решаемых соответственно методамиупорядочивающей индексации или модифицированных пометок. К сожалениюколичество операций каждого из методов не допускает полиномиальной оценки;кроме того, размерность таблицы наборов (промежуточных значений) методов резковозрастает при увеличении размерности решаемой задачи, что недопустимо в нашемслучае. Возможно, изменение алгоритма декомпозиции под конкретнуюматематическую модель позволит уменьшить размерность таблиц, но пока такогоалгоритма не существует.
В связи с этим в качестве методов решения были выбраныописанные в [2] модификации симплекс-метода для случая задачи целочисленноголинейного программирования. В общем случае количество операций симплекс-методане допускает полиномиальной оценки (был даже показан класс задач, для которыхколичество операций составляет O(en)), но для случая нашей задачи среднеечисло операций допускает полиномиальнуюоценку: O(n3m1/(n-1)) (n – количество переменных; m – количество ограничений).
2.2.1. ПОЛНОСТЬЮ ЦЕЛОЧИСЛЕННЫЙ АЛГОРИТМЭтот алгоритм назван полностью целочисленным, потому чтоесли исходная таблица состоит из целочисленных элементов, то все таблицы,получающиеся в процессе работы алгоритма, содержат только целочисленныеэлементы. Подобно двойственному симплекс-методу, алгоритм начинает работать сдвойственно допустимой таблицы. Если ai0 (i = 1 ,…, n+m; ai0 – коэффициенты целевой функции) –неотрицательные целые, то задача решена. Если для какой-нибудь строки ai0