С учетом указанного выше содержательного смысла критерияоптимизации в дополнительных ограничениях (10), а также вводя весовыекоэффициенты статуса преподавателя
, получаем искомый критерий оптимальности:
![Разработка математической модели и ПО для задач составления расписания](data:image/gif;base64,R0lGODlhpwA7AHcAMSH+GlNvZnR3YXJlOiBNaWNyb3NvZnQgT2ZmaWNlACH5BAEAAAAALAIABACiADMAhQAAAAAAAAgDAA0LCwMGCwoEAA0IBAQIDQAECg0KCAMAAAMAAwgICAsGAw0LCgQAAAADCAsLDQAABAoLDQgKDQQAAwgGCwAAAwgDAwoLCwQEAAADBAQDAwMDCAgIDQgKCgQDCAQABAMECgQECgoICwQGCwsKCgoKCwQICwgKCwgEAA0ICAsGBAsLCgoGCAECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwECAwb/QIBwSCwaj0jAQBBoBgjJqHRKrVqv2Kx2WIAaAoeteEwum8VdpQBxbrvf8Gs6oYDG7/i8ueBk6/+AgVFpgoWGgoSHiotviYyPkFhLTX6RlpeYmZqbnJ2en6ChoqNvCQsMCmCkUg1Orq+uYUitsLVNsnkODwEQEQ0SE6tRtL1JX7hHxBHGqlF0rsVYphQAusjCRsrGdknaSAbcRs+4X81W09UV1NjdTdFGDhZT3vDyybzLRK3vVHRhBvzYGeGDbwzBgFK+IKRzYV2VZwGACZRyMN+WilV0NTxCR2IRXa/8oBMzAIPDgcD4NJzkEWTECZMiZmDiEQtGNO4sRvlSqcg+/51C4nHxOFKMPyMsNRzQtYEDBV1soAKg46dVmAQdgMrJaZArxSdHJl0TksCDkGNBd9Xc0ircEKtCCmwEUKCXLihLii258AGEVptN3GYhKHigOSI8pdApvOelz7kFPNa1CDKarrVoEA7WXATtxwc9wwrg7CyVLVhzhTSALLnY5ZnvvjC+4iBEMDK1b0+JrBsAXFap4fDBvHod77h2H+AdnS+BCLkns5SMrmX6FAOyHIwQssQO9iRHlZAY8p1M22Ssb082sDHvMgd+3aMZq6UAfcNO7EB0fEQq2RLcCXDfOQrcV1xcrUUgGwAKmXCCSWcFENqCCYW2hQEW9rdLE5C5wv+GKag0Q5Ary1FCEoRHjIgCEwFckAKLKVHCBwQqvORSbGA5k1UZWP0lRmW+YAbPAwNONERuZSBZygLUWCOFk0YmYV0UK1BXxJRJVJkFOg6o8ySRUXZTpBIoiikFlgT+Q1paYwqE4ZkCCIlYhkQsIadipt1ZBB90TrTfaV5xZBqggZ7DZJhklENoH8wsyuiWhyIqaRQg6TnppZhmqummnMZBC4luNNBnp4nexwI1cwB4RiujkrrFEmM60oaorroR04eD4iKrYqekMiCttbbhJHx/JUJsEkD+MlNIvrUaLG1gKnoLF3bIB96hUGbj7LMZRXufsX45g20FLzILLLe4galG5J7cEDtjCyCoEM1RAPl4Lrpd4epEGDG55pcLEYhFBER3lrMtvm6AlF24QxSFcCbwteDlsQ1H+nAmfBCwT42VVNrbxW4EAQA7)
Введенная целевая функцияне является единственно возможной. Введение других целевых функций не меняетограничений математической модели и методов решения задачи, но можетсущественно повлиять на результаты вычислений.
2.2. МЕТОДЫ РЕШЕНИЯ ПОСТАВЛЕННОЙ ЗАДАЧИПоставленная в предыдущем пункте задачамаксимизации линейной целевой функции при заданной системе ограничений являетсязадачей линейного целочисленного булева программирования, поскольку всекоэффициенты ограничений целочисленны в силу дискретности исходных данныхзадачи; кроме этого искомые переменные математической модели могут приниматьтолько два значения. На данный момент временисуществует несколько возможных методов решения такого рода задач.
В [3] – [8] описаны методы упорядоченной индексации имодифицированных пометок, основанные на лагранжевой декомпозиции исходноймодели на ряд однострочных задач, решаемых соответственно методамиупорядочивающей индексации или модифицированных пометок. К сожалениюколичество операций каждого из методов не допускает полиномиальной оценки;кроме того, размерность таблицы наборов (промежуточных значений) методов резковозрастает при увеличении размерности решаемой задачи, что недопустимо в нашемслучае. Возможно, изменение алгоритма декомпозиции под конкретнуюматематическую модель позволит уменьшить размерность таблиц, но пока такогоалгоритма не существует.
В связи с этим в качестве методов решения были выбраныописанные в [2] модификации симплекс-метода для случая задачи целочисленноголинейного программирования. В общем случае количество операций симплекс-методане допускает полиномиальной оценки (был даже показан класс задач, для которыхколичество операций составляет O(en)), но для случая нашей задачи среднеечисло операций допускает полиномиальнуюоценку: O(n3m1/(n-1)) (n – количество переменных; m – количество ограничений).
2.2.1. ПОЛНОСТЬЮ ЦЕЛОЧИСЛЕННЫЙ АЛГОРИТМЭтот алгоритм назван полностью целочисленным, потому чтоесли исходная таблица состоит из целочисленных элементов, то все таблицы,получающиеся в процессе работы алгоритма, содержат только целочисленныеэлементы. Подобно двойственному симплекс-методу, алгоритм начинает работать сдвойственно допустимой таблицы. Если ai0 (i = 1 ,…, n+m; ai0 – коэффициенты целевой функции) –неотрицательные целые, то задача решена. Если для какой-нибудь строки ai0