logo search
My_horosho_postaralis_2003_WORD

12. Описати алгоритм розв’язання цілочислових задач лінійного програмування за методом Гоморі.

Розглянемо алгоритм, запропонований Гоморі, для розв’язування повністю цілочислової задачі лінійного програмування, що ґрунтується на використанні симплексного методу і передбачає застосування досить простого способу побудови правильного відтинання.

Нехай маємо задачу цілочислового програмування:

(6.5)

за умов: , (6.6)

, (6.7)

— цілі числа . (6.8)

Допустимо, що параметри — цілі числа.

Не враховуючи умови цілочисловості, знаходимо розв’язок задачі (6.5)—(6.7) симплексним методом. Нехай розв’язок існує і міститься в симплексній таблиці.

Розглянемо довільний оптимальний план задачі (6.5) —(6.7). Виразимо в цьому плані базисну змінну через вільні змінні:

. (6.9)

Виразимо коефіцієнти при змінних даного рівняння у вигляді суми їх цілої та дробової частин. Введемо позначення: — ціла частина числа , — дробова частина числа 2. Отримаємо:

, (6.10)

або

. (6.11)

Отже, рівняння (6.11) виконується для будь-якого допустимого плану задачі (6.5)—(6.7). Допустимо тепер, що розглянутий план є цілочисловим оптимальним планом задачі. Тоді ліва частина рівняння (6.11) складається лише з цілих чисел і є цілочисловим виразом. Отже, права його частина також є цілим числом і справджується рівність:

, (6.12)

де N — деяке ціле число.

Величина N не може бути від’ємною. Якщо б , то з рівняння (6.12) приходимо до нерівності:

.