Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Мет.мат.прог I (укр).doc
Скачиваний:
0
Добавлен:
01.04.2025
Размер:
840.7 Кб
Скачать
  1. Задачі лінійного програмування.

    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. Якщо в обмеженнях З.Л.П. зустрічаються нерівності чи , те шляхом уведення додаткових перемінних вони зводяться до рівностей : наприклад,

Х12≤5 =>

Х12+Х3=5, де додаткова перемінна Х3 ≥0. Якщо 1-3Х2 4, одержимо 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.

    1. Форми запису о.З.Л.П.

      1. Запис за допомогою знаків підсумовування.

min

(8)

Xj≥0

3.2.2. Векторна форма запису.

(9)

де

      1. Матрична форма запису.

(10)

де

3.3 Основні визначення о.З.Л.П.

Визначення 1. Планом чи припустимим рішенням О.З.Л.П. називається =(X1,...Xn), що задовольняє (6-7).

Визначення 2. План називається опорним, якщо вектори , що входять у розкладання (9) з позитивними Xj (Xj>0) лінійно незалежні.

Тому що вектори m-мірні, то в опорному плані число його компонент більших нуля, від може перевищувати m.

Визначення 3. Опорний план * не вирождений, якщо він містить m позитивних компонентів, якщо <m позитивних компонентів, те * вирождений.

Визначення 4. Оптимальним планом О.З.Л.П. 0 називається план, що доставляє мінімум функції мети Z.

    1. Властивості рішень з.Л.П.

Усі теореми, наведені нижче, даються без доказу. Вони дані в [ 1 ]

Теорема 1. Безліч усіх планів З.Л.П.

Безліч усіх планів З.Л.П., якщо воно не пусто, називається багатогранником рішень.

Теорема 2. Функція мети З.Л.П. досягає свого мінімального значення в кутовій крапці багатогранника рішень.

Якщо функція мети набуває мінімального значення більш ніж в одній кутовій точці, то вона досягає того ж значення в будь-якій крапці, що є опуклою лінійною комбінацією цих точок.

Визначення 5. Точка X* опукла лінійна комбінація точок X1, X2,-, Xk,

якщо

Теорема 3. Якщо система векторів Ā1; Ā2;…Āk(k≤n)у розкладанні (9) лінійно незалежна

Ā1X12X2+…+Ā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. Усі опорні плани З.Л.П. є кутовими точками її багатогранника рішень, причому оптимальний план досягається в одній з них.

Проілюструємо геометрично наведені вище теоретичні положення рішення З.Л.П. Для цього застосуємо графічний метод.