- •Задачі, що приводять до поняття математичного програмування.
- •Задача розподілу ресурсів.
- •Загальна постановка задач математичного програмування і їхня класифікація.
- •Задачі лінійного програмування.
- •Загальна задача лінійного програмування (о.З.Л.П.)
- •Форми запису о.З.Л.П.
- •Запис за допомогою знаків підсумовування.
- •3.2.2. Векторна форма запису.
- •Матрична форма запису.
- •3.3 Основні визначення о.З.Л.П.
- •Властивості рішень з.Л.П.
- •Графічний метод рішення з.Л.П
- •Симплексний метод рішення з.Л.П.
- •Вимоги до з.Л.П. Для можливості її рішення симплексом-методом.
- •Побудова опорних планів.
- •Умови оптимальності опорного плану.
- •Алгоритм симплексного методу.
- •Метод штучного базису.
- •Двоїсті задачі лінійного програмування. Економічна інтерпретація цих задач і їхніх рішень.
- •Поняття подвійності.
- •Види двоїстих задач. Теореми подвійності.
- •Несиметричні задачі
- •6.3. Рішення задачі про розподіл ресурсів з економічним аналізом отриманих результатів.
- •Завдання для самостійної роботи Завдання 1
Задачі лінійного програмування.
Загальна задача лінійного програмування (о.З.Л.П.)
О.З.Л.П. зображується у вид
max
(min)
(5)
а11X1 + а12X2 + …... + а1nXn = b1
а21X1 + а22X2 + …... + а2nXn = b2 (6)
аm1X1 + аm2X2 + …... + аmnXn = bm
X1 ≥ 0; X2 ≥ 0; …..., Xn ≥ 0 (7)
де aij, bi, Cj - задані постійні величини
(i=1;..m j=1;..n)
Зауваження 1. Якщо в обмеженнях З.Л.П. зустрічаються нерівності ≤ чи ≥ , те шляхом уведення додаткових перемінних вони зводяться до рівностей : наприклад,
Х1+Х2≤5 =>
Х1+Х2+Х3=5, де додаткова перемінна Х3 ≥0. Якщо 2Х1-3Х2 4, одержимо 2Х1-3Х2-Х4=4.
Зауваження 2. Якщо в З.Л.П. відсутня для змінної Хк умова незаперечності (Хк≥0), то шляхом введення в місце Хк двох не негативних змінних Хк'≥0 і Хк''≥0 і Хк=Хк'-Хк'', таку З.Л.П. можна звести до О.З.Л.П., наприклад якщо Хк=-5, те –5=3-8, де Хк'=3>0 і Хк''=8>0.
Зауваження 3. Від max L легко перейти до min Z, де Z= - L, тому що max L = min (-L). Тому надалі будемо розглядати задачу на min Z.
Форми запису о.З.Л.П.
Запис за допомогою знаків підсумовування.
min
(8)
Xj≥0
3.2.2. Векторна форма запису.
(9)
де
Матрична форма запису.
(10)
де
3.3 Основні визначення о.З.Л.П.
Визначення
1.
Планом чи припустимим рішенням О.З.Л.П.
називається
=(X1,...Xn),
що задовольняє (6-7).
Визначення
2.
План
називається опорним, якщо вектори
,
що входять у розкладання (9) з позитивними
Xj
(Xj>0)
лінійно незалежні.
Тому
що вектори
m-мірні, то в опорному плані число його
компонент більших нуля, від може
перевищувати m.
Визначення 3. Опорний план * не вирождений, якщо він містить m позитивних компонентів, якщо <m позитивних компонентів, те * вирождений.
Визначення 4. Оптимальним планом О.З.Л.П. 0 називається план, що доставляє мінімум функції мети Z.
Властивості рішень з.Л.П.
Усі теореми, наведені нижче, даються без доказу. Вони дані в [ 1 ]
Теорема 1. Безліч усіх планів З.Л.П.
Безліч усіх планів З.Л.П., якщо воно не пусто, називається багатогранником рішень.
Теорема 2. Функція мети З.Л.П. досягає свого мінімального значення в кутовій крапці багатогранника рішень.
Якщо функція мети набуває мінімального значення більш ніж в одній кутовій точці, то вона досягає того ж значення в будь-якій крапці, що є опуклою лінійною комбінацією цих точок.
Визначення 5. Точка X* опукла лінійна комбінація точок X1, X2,-, Xk,
якщо
Теорема 3. Якщо система векторів Ā1; Ā2;…Āk(k≤n)у розкладанні (9) лінійно незалежна
Ā1X1+Ā2X2+…+ĀkXk=
де всі Xj ≥0, то X=(X1;X2,…,Xk,0,…,0)є кутовою точкою багатогранника рішень.
Теорема 4. Якщо =(X1;X2,…,Xn)-кутова точка багатогранника рішень, то вектори Āj у розкладанні (9), що відповідають Xj>0 , є лінійно незалежними.
Наслідок 1. Кутова точка багатогранника рішень не може мати більше m позитивних компонентів
Наслідок 2. Кожній кутовій точці багатогранника рішень відповідає k≤m лінійно незалежних векторів системи Ā1, Ā2,…,Ān з (9).
Наслідок 3. Усі опорні плани З.Л.П. є кутовими точками її багатогранника рішень, причому оптимальний план досягається в одній з них.
Проілюструємо геометрично наведені вище теоретичні положення рішення З.Л.П. Для цього застосуємо графічний метод.
