You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
цілочисловості змінних, а потім вводять в модель додаткові<br />
обмеження, які враховують вимогу, щоб значення змінних були<br />
цілими. Таким чином многокутник допустимих розв’язків<br />
послабленої задачі поступово зменшуємо до тих пір, доки змінні<br />
оптимального розв’язку не набудуть цілих значень. Основним<br />
методом цієї групи є метод Гоморі.<br />
Комбінаторні методи цілочислової оптимізації базуються на<br />
повному переборі всіх допустимих цілочислових розв’язків, тобто<br />
вони реалізують процедуру цілеспрямованого перебору, під час якої<br />
розглядається лише частина розв’язків (досить невелика), а решта<br />
враховується одним із спеціальних методів.<br />
Найпоширенішим в цій групі є метод «віток і меж», який,<br />
починаючи з розв’язування послабленої задачі, передбачає розбиття<br />
початкової задачі на дві підзадачі виключенням областей, що не<br />
мають цілочислових розв’язків, і дослідженням кожної окремої<br />
частини многокутника допустимих розв’язків.<br />
Для розв’язування задач з бульовими змінними використовують<br />
комбіновані методи, і якщо змінні є бульовими, то методи пошуку<br />
оптимального розв’язку значно спрощуються.<br />
5.2. Методи розв’язування задач цілочислового<br />
лінійного програмування<br />
5.2.1. Метод Гоморі<br />
Нехай маємо задачу цілочислового програмування (5.1)-(5.3).<br />
Для її розв’язування можна скористатися ітеративним методом<br />
Гоморі, суть алгоритму якого полягає у:<br />
1. Використовуючи симплекс-метод, знаходять розв’язок послабленої<br />
задачі, тобто задачі без вимог цілочисловості змінних – (5.1)-(5.2).<br />
Якщо серед елементів умовно-оптимального плану немає дробових<br />
чисел, то цей план є оптимальним планом задачі цілочислового<br />
програмування (5.1)-(5.3).<br />
2. Якщо в умовно-оптимальному плані є дробові значення, то<br />
вибирається змінна, яка має найбільшу дробову частину. На базі цієї<br />
змінної та елементів рядка останньої симплекс-таблиці, що відповідає<br />
цій змінній будується додаткове обмеження Гоморі:<br />
n<br />
∑<br />
j=<br />
1<br />
{ a } x ≥ { b },<br />
де символ { } означає дробову частину числа.<br />
ij<br />
j<br />
172<br />
j