Відмінності між версіями «Симплекс-метод розв’язування задач ЛП. Початковий опорний план»
| Рядок 44: | Рядок 44: | ||
Нехай невироджену задачу лінійного програмування представлено в канонічному вигляді: | Нехай невироджену задачу лінійного програмування представлено в канонічному вигляді: | ||
| − | <math>\sum_{j=1}^nc_jx_j\ | + | <math>\sum_{j=1}^nc_jx_j\to\max</math>, |
<math>\sum_{j=1}^nA_jx_j=B, x_j\geq0, j=1,2,\ldots,n</math>, | <math>\sum_{j=1}^nA_jx_j=B, x_j\geq0, j=1,2,\ldots,n</math>, | ||
| Рядок 50: | Рядок 50: | ||
де <math>X=(x_1,\ldots,x_n)</math> - вектор змінних, <math>C=(c_1,\ldots,c_n),B=(b_1,\ldots,b_m)^T,A_j=(a_{1j},\ldots,a_{mj})^T,j=1,\ldots,n</math> - задані вектори, Т - знак транспонування, та | де <math>X=(x_1,\ldots,x_n)</math> - вектор змінних, <math>C=(c_1,\ldots,c_n),B=(b_1,\ldots,b_m)^T,A_j=(a_{1j},\ldots,a_{mj})^T,j=1,\ldots,n</math> - задані вектори, Т - знак транспонування, та | ||
| − | <math>\bar | + | <math>\bar{X}=\bar{x_1},\ldots,\bar{x_m}</math> |
відмінні від нуля компоненти опорного плану, для полегшення пояснення розташовані на перших m місцях вектору Х. Базис цього плану: | відмінні від нуля компоненти опорного плану, для полегшення пояснення розташовані на перших m місцях вектору Х. Базис цього плану: | ||
| − | <math>\bar | + | <math>\bar{A}=(A_1,\ldots,A_m)</math>. Тоді |
| + | |||
| + | <math>\sum_{i=1}^mA_i\bar{x_i}=B,(1)</math> | ||
| + | |||
| + | <math>\sum_{i=1}^mc_ix_i=\bar{z_0},(2)</math>, | ||
| + | |||
| + | де <math>\bar{z_0}</math> значення лінійної форми на даному плані. Так як вектор-стовпці матриці A лінійно незалежні, будь який із векторів умов <math>A_j</math> розкладається по них єдиним чином: | ||
| + | |||
| + | <math>\sum_{i=1}^mA_ix_{ji}=A_j,j=1,\ldots,n,(3)</math> | ||
| + | |||
| + | <math>\sum_{i=1}^mc_ix_{ij},j=1,\ldots,n,(4)</math>, | ||
| + | |||
| + | де <math>x_{ij}</math> коефіцієнт розкладання. Система умов: | ||
| + | |||
| + | <math>\sum_{i=1}^mA_ix_i+A_kx_k=B,k\geqm+1,(5)</math> | ||
| + | |||
| + | <math>z_k\geq0,x_j=0,j=m+1,\ldots,n,j\nek(6)</math> | ||
| + | |||
| + | при заданому k визначає в просторі змінних задачі промінь, який виходить із точки, яка відповідає опорному плану, що розглядається. Нехай значення змінної <math>x_k</math> при русі по цьому променю дорівнює <math>\theta</math>, тоді значення базисних змінних дорівнюють <math>x_i(\theta)</math>. В цих позначеннях рівняння (5) можна представити у вигляді | ||
Версія за 13:28, 28 квітня 2012
Зміст
Вступ
Симплекс-метод
Симплекс-метод - алгоритм рішення оптимізаційної задачі лінійного програмування шляхом перебору вершин опуклого багатогранника в багатовимірному просторі. Метод був розроблений американським математиком Джорджем Данцигом (George Dantzig) в 1947 році. Задача лінійного програмування полягає в тому, що необхідно максимізувати або мінімізувати деякий лінійний функціонал на багатовимірному просторі при заданих лінійних обмеженнях.
Зауважимо, що кожне з лінійних нерівностей на змінні обмежує півпростір у відповідному лінійному просторі. В результаті всі нерівності обмежують деякий багатогранник (можливо, нескінченний), називаний також поліедральних конусом. Рівняння Неможливо розібрати вираз (невідома помилка): W(x) = c , де Неможливо розібрати вираз (невідома помилка): W(x)
- максімізіруемий (або мінімізіруемий) лінійний функціонал, породжує гіперплоскость Неможливо розібрати вираз (невідома помилка): L(c)
. Залежність від Неможливо розібрати вираз (невідома помилка): c
породжує сімейство паралельних гіперплоскостей. Тоді екстремальна задача набуває наступне формулювання - потрібно знайти таке найбільше Неможливо розібрати вираз (невідома помилка): c
, що гіперплоскость Неможливо розібрати вираз (невідома помилка): L(c)
перетинає багатогранник хоча б в одній точці. Зауважимо, що перетин оптимальної гіперплоскості і багатогранника буде містити хоча б одну вершину, причому, їх буде більше однієї, якщо перетин містить ребро або k-мірну грань. Тому максимум функціоналу можна шукати в вершинах багатогранника. Принцип симплекс-методу полягає в тому, що вибирається одна з вершин багатогранника, після чого починається рух по його ребрах від вершини до вершини в бік збільшення значення функціоналу. Коли перехід по ребру з поточної вершини в іншу вершину з більш високим значенням функціоналу неможливий, вважається, що оптимальне значення c знайдено.
Послідовність обчислень симплекс-методом можна розділити на дві основні фази:
- знаходження вихідної вершини безлічі припустимих рішень,
- послідовний перехід від однієї вершини до іншої, що веде до оптимізації значення цільової функції.
При цьому в деяких випадках оригінал рішення очевидно або його визначення не вимагає складних обчислень, наприклад, коли всі обмеження представлені нерівностями виду "менше або дорівнює" (тоді нульовий вектор абсолютно точно є припустимим рішенням, хоча і, швидше за все, далеко не найбільш оптимальним) . У таких завданнях першу фазу симплекс-методу можна взагалі не проводити. Симплекс-метод, відповідно, ділиться на однофазний і двофазний.
Основна ідея симплекс-метода
Основна ідея симплекс-метода полягає в тому, що екстремум цільової функції завжди досягається в кутових точках області допустимих рішень. Симплекс-метод, званий також методом послідовного поліпшення плану, реалізує перебір кутових точок області допустимих рішень у напрямі поліпшення значення цільової функції. Основна ідея цього методу наступна. Перш за все, знаходиться яке-небудь допустиме початкове (опорное) рішення, тобто яка-небудь кутова точка області допустимих рішень. Процедура методу дозволяє відповісти на питання, чи є це рішення оптимальним. Якщо "так", то завдання вирішене. Якщо "ні", то виконується перехід до суміжної кутової точки області допустимих рішень, де значення цільової функції поліпшується, тобто до негіршого допустимого рішення. Якщо деяка кутова крапка має декілька суміжних, то обчислювальна процедура методу забезпечує перехід до тієї з них, для якої поліпшення цільової функції буде найбільшим. Процес перебору кутових точок області допустимих рішень повторюється, поки не буде знайдена крапка, якою відповідає екстремум цільової функції Е.
При побудові початкового базису в заданому завданні використовувався метод штучного базису, тому знайдене рішення не є допустимим. В цьому випадку для вирішення завдання необхідно використовувати двохетапний симплекс-метод.
Двохетапний симплекс-метод
Двохетапний симплекс-метод. Завдання за допомогою цього методу вирішується в два етапи: спочатку відшукується початкове допустиме рішення, що не містить штучних змінних, а потім на основі знайденого рішення шукається оптимальне рішення початкової задачі. Основні кроки, реалізації методу наступні.
- Завдання лінійного програмування зводиться до стандартної форми.
- Будується штучний базис.
- Складається штучна цільова функція: сума всіх штучних змінних.
- Реалізується перший етап двохетапного методу: за допомогою звичайних процедур симплекс-метода виконується мінімізація штучної цільової функції. Якщо її мінімальне значення рівне 0, то відповідне рішення є допустимим рішенням початкової задачі. Очевидно, що при нульовому значенні штучної цільової функції всі штучні змінні також нульові (оскільки штучна цільова функція - їх сума, і всі вони ненегативні). Якщо мінімальне значення штучної цільової функції виявляється відмінним від нуля, це означає, що завдання не має допустимих рішень.
- Реалізується другий етап двохетапного методу: знайдене на кроці 4 допустиме рішення використовується як початкове рішення початкової задачі для пошуку її оптимального рішення.
Опорний план
Опорний план — розв'язок системи лінійних обмежень в задачі лінійного програмування, який неможливо представити у вигляді лінійної комбінації будь яких інших розв'язків.
Система обмежень задачі лінійного програмування в канонічній формі має вигляд:
Неможливо розібрати вираз (невідома помилка): \sum_{j=1}^nA_ix_i = B; x_j\geq0,j=1,\ldots,n,
(1)
де Неможливо розібрати вираз (невідома помилка): B=(b_1,\ldots,b_m)^T, A_j=(A_{1j},\ldots,A_{mj})^T, (j=1,\ldots,n)
- відомі вектори, Т - знак транспонування, а Неможливо розібрати вираз (невідома помилка): X = (x_1,\ldots,x_n) - вектор змінних. Розв'язок Неможливо розібрати вираз (невідома помилка): X^* є опорним планом тоді і тільки тоді, коли множина векторів Неможливо розібрати вираз (невідома помилка): A_j
, для яких Неможливо розібрати вираз (невідома помилка): x_j^* > 0 , лінійно незалежна.
Кількість додатніх компонент опорного плану не перевищує m. Якщо кількість цих компонент дорівнює m, опорний план називається невиродженим, а множина відповідних векторів Неможливо розібрати вираз (невідома помилка): A_j
утворює базис. Множина Неможливо розібрати вираз (невідома помилка): A_{j_1},\ldots,A_{j_m}
є базисом задачі лінійного програмування з обмеженнями (1) тоді і тільки тоді, коли система
Неможливо розібрати вираз (невідома помилка): \sum_{i=1}^mA_{j_i}x_{j_i}=B
має єдиний розв'язок, та Неможливо розібрати вираз (невідома помилка): x_{j_i}\geq0, i=1,\ldots,m
.
Різним опорним планам відповідають різні базиси. Зворотне твердження вірне лише у випадку невиродженості всіх опорних планів системи (1).
Початковий опорний план
Описання симплекс-методу
Нехай невироджену задачу лінійного програмування представлено в канонічному вигляді:
Неможливо розібрати вираз (невідома помилка): \sum_{j=1}^nc_jx_j\to\max ,
Неможливо розібрати вираз (невідома помилка): \sum_{j=1}^nA_jx_j=B, x_j\geq0, j=1,2,\ldots,n ,
де Неможливо розібрати вираз (невідома помилка): X=(x_1,\ldots,x_n)
- вектор змінних, Неможливо розібрати вираз (невідома помилка): C=(c_1,\ldots,c_n),B=(b_1,\ldots,b_m)^T,A_j=(a_{1j},\ldots,a_{mj})^T,j=1,\ldots,n
- задані вектори, Т - знак транспонування, та
Неможливо розібрати вираз (невідома помилка): \bar{X}=\bar{x_1},\ldots,\bar{x_m}
відмінні від нуля компоненти опорного плану, для полегшення пояснення розташовані на перших m місцях вектору Х. Базис цього плану:
Неможливо розібрати вираз (невідома помилка): \bar{A}=(A_1,\ldots,A_m) . Тоді
Неможливо розібрати вираз (невідома помилка): \sum_{i=1}^mA_i\bar{x_i}=B,(1)
Неможливо розібрати вираз (невідома помилка): \sum_{i=1}^mc_ix_i=\bar{z_0},(2)
,
де Неможливо розібрати вираз (невідома помилка): \bar{z_0}
значення лінійної форми на даному плані. Так як вектор-стовпці матриці A лінійно незалежні, будь який із векторів умов Неможливо розібрати вираз (невідома помилка): A_j розкладається по них єдиним чином:
Неможливо розібрати вираз (невідома помилка): \sum_{i=1}^mA_ix_{ji}=A_j,j=1,\ldots,n,(3)
Неможливо розібрати вираз (невідома помилка): \sum_{i=1}^mc_ix_{ij},j=1,\ldots,n,(4)
,
де Неможливо розібрати вираз (невідома помилка): x_{ij}
коефіцієнт розкладання. Система умов:
Неможливо розібрати вираз (невідома помилка): \sum_{i=1}^mA_ix_i+A_kx_k=B,k\geqm+1,(5)
Неможливо розібрати вираз (невідома помилка): z_k\geq0,x_j=0,j=m+1,\ldots,n,j\nek(6)
при заданому k визначає в просторі змінних задачі промінь, який виходить із точки, яка відповідає опорному плану, що розглядається. Нехай значення змінної Неможливо розібрати вираз (невідома помилка): x_k
при русі по цьому променю дорівнює Неможливо розібрати вираз (невідома помилка): \theta
, тоді значення базисних змінних дорівнюють Неможливо розібрати вираз (невідома помилка): x_i(\theta) . В цих позначеннях рівняння (5) можна представити у вигляді
