Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
My_horosho_postaralis_2003_WORD.doc
Скачиваний:
9
Добавлен:
21.04.2019
Размер:
4.02 Mб
Скачать

47.Нелінійні моделі. Визначення стац. Точок при викор. Методу множників Лагранжа

для розв’язування задачі необхідно знайти вирази частинних похідних нової цільової функції за кожною змінною і прирівняти їх до нуля. В результаті отримаємо систему рівнянь. Її розв’язок визначає так звані стаціонарні точки, серед яких є і шукані екстремальні значення функції.

Розглянемо метод множників Лагранжа для розв’язування задачі нелінійного програмування, що має вигляд:

(1)

за умов:

, (2)

де функції і мають бути диференційовними.

Задача (1), (2) полягає в знаходженні екстремуму функції за умов виконання обмежень .

Переходимо до задачі пошуку безумовного екстремуму.

Замінюємо цільову функцію (1) на складнішу. Ця функція називається функцією Лагранжа і має такий вигляд:

(3)

де — деякі невідомі величини, що називаються множниками Лагранжа.

Знайдемо частинні похідні і прирівняємо їх до нуля:

(4)

Друга група рівнянь системи (4) забезпечує виконання умов (2) початкової задачі нелінійного програмування.

Система (4), як правило, нелінійна.

Розв’язками її є і — стаціонарні точки. Оскільки, ці розв’язки отримані з необхідної умови екстремуму, то вони визначають максимум, мінімум задачі (1), (2) або можуть бути точками перегину (сідловими точками).

Для діагностування стаціонарних точок і визначення типу екст­ремуму необхідно перевірити виконання достатніх умов екстремуму, тобто дослідити в околі стаціонарних точок диференціали другого порядку (якщо для функцій існують другі частинні похідні і вони неперервні).

Узагальнення достатньої умови існування локального екстремуму для функції n змінних приводить до такого правила: за функ­цією Лагранжа виду (3) будується матриця Гессе, що має блочну структуру розмірністю :

де О — матриця розмірністю , що складається з нульових елементів, Р — матриця розмірністю , елементи якої визначаються так:

, — транспонована матриця до Р розмірністю ,Q — матриця розмірністю виду: , де .

Розглянемо ознаки виду екстремуму розв’язку системи (4). Нехай стаціонарна точка має координати і .

1. Точка є точкою максимуму, якщо, починаючи з голов­ного мінору порядку (m + 1), наступні (n – m) головних мінорів матриці Н утворюють знакозмінний числовий ряд, знак першого члена якого визначається множником .

2. Точка є точкою мінімуму, якщо, починаючи з головного мінору порядку (m + 1), знак наступних (n – m) головних мінорів матриці Н визначається множником .

48.Правила побудови двоїстих задач

Для побудови двоїстої задачі необхідно звести пряму задачу до стандартного виду. Вважають, що задача лінійного програмування подана у стандартному вигляді, якщо для відшукання максимального значення цільової функції всі нерівності її системи обмежень приведені до виду « », а для задачі на відшукання мінімального значення — до виду « ».

Якщо пряма задача лінійного програмування подана в стандарт­ному вигляді, то двоїста задача утворюється за такими правилами:

1. Кожному обмеженню прямої задачі відповідає змінна двоїстої задачі. Кількість невідомих двоїстої задачі дорівнює кількості обмежень прямої задачі.

2. Кожній змінній прямої задачі відповідає обмеження двоїстої задачі, причому кількість обмежень двоїстої задачі дорівнює кількості невідомих прямої задачі.

3. Якщо цільова функція прямої задачі задається на пошук найбільшого значення (max), то цільова функція двоїстої задачі — на визначення найменшого значення (min), і навпаки.

4. Коефіцієнтами при змінних у цільовій функції двоїстої задачі є вільні члени системи обмежень прямої задачі.

5. Правими частинами системи обмежень двоїстої задачі є коефіцієнти при змінних у цільовій функції прямої задачі.

6. Матриця

,що складається з коефіцієнтів при змінних у системі обмежень прямої задачі, і матриця коефіцієнтів у системі обмежень двоїстої задачі

утворюються одна з одної транспонуванням, тобто заміною рядків стовпчиками, а стовпчиків — рядками.

Процес побудови двоїстої задачі зручно зобразити схематично:

Пари задач лінійного програмування бувають симетричні та несиметричні.

У симетричних задачах обмеження прямої та двоїстої задач є лише нерівностями, а змінні обох задач можуть набувати лише невід’ємних значень.

У несиметричних задачах деякі обмеження прямої задачі можуть бути рівняннями, а двоїстої — лише нерівностями. У цьому разі відповідні рівнянням змінні двоїстої задачі можуть набувати будь-яких значень, не обмежених знаком.

49 Геометрична інтепретація задачі нелінійного програмування на площині. Нелінійна цільова функція і нелінійні обмеження обмеження.

(8.1)

за умов:

( ); (8.2)

. (8.3)

Геометрично цільова функція (8.1) визначає деяку поверхню, а обмеження (8.2)—(8.3) — допустиму підмножину n-вимірного евклідового простору.

Знаходження оптимального розв’язку задачі нелінійного програмування зводиться до відшукання точки з допустимої підмножини, в якій досягається поверхня найвищого (найнижчого) рівня.

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

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

Розглянемо приклад геометричного способу розв’язування задачі нелінійного програмування.

З найти мінімальне значення функції:

за умов:

.

Розв’язування. У даному прикладі множина допустимих розв’язків складається з двох окремих частин, необмежених звер­ху (рис. 8.2). Цільова функція аналогічно попередньому випадку є колом з центром у точці М (4; 4). Функція Z має два локальних мінімуми: в точці А ( ), і в точці В ( ).

Значення функціонала в цих точках однакове і дорівнює:

.

Отже, маємо два альтернатив­ні оптимальні плани.

Даний приклад ілюструє ще одну особливість задач нелінійного програмування: на від­міну від задач лінійного програмування багатогранник допустимих розв’язків задачі нелінійного програмування не обов’язково буде опуклою множиною.

Наведемо основні особливості задач нелінійного програмування, що зумовлюють необхідність застосування відповідних методів їх розв’язання.

50 Симетричні та несиметричні двоїсті пари лінійного програмування

Пари задач лінійного програмування бувають симетричні та несиметричні.

У симетричних задачах обмеження прямої та двоїстої задач є лише нерівностями, а змінні обох задач можуть набувати лише невід’ємних значень.

У несиметричних задачах деякі обмеження прямої задачі можуть бути рівняннями, а двоїстої — лише нерівностями. У цьому разі відповідні рівнянням змінні двоїстої задачі можуть набувати будь-яких значень, не обмежених знаком.

Теорема двоїстості:

С

истема обмежень вихідної задачі в несиметричних двоїстих завданнях визначається як рівність. Двоїста ж завдання задається, як нерівність, причому змінні можуть бути і негативними. Що б простіше розуміти постановку завдання будемо інтерпретувати її в матричній формі. Сформулюємо двоїсту задачу. Необхідно визначити матрицю-рядок Y = (y 1, y 2, ..., y m), яка максимізує лінійну функцію f = YA 0 і задовольняє обмеженням YA> З (1.1) Сформулюємо вихідну завдання. Визначити матрицю-стовпець X = (x 1, x 2, ..., x n), яка мінімізує лінійну функцію Z = СХ і. задовольняє обмеженням AX = A0, Х> 0 (1.2) Як у вихідної так і в двоїстої задачах А = (a ij) - матриця коефіцієнтів системи обмежень, A 0 = (b 1, b 2, ..., b m) - матриця-стовпець, C = (c 1, c 2, ... , c n) - матриця-рядок. Теорема двоїстості встановлює зв'язок між оптимальними планами пари двоїстих задач. Теорема двоїстості говорить: якщо з пари двоїстих завдань одну володіє оптимальним планом, то й інша має рішення, причому для екстремальних значень лінійних функцій виконується співвідношення minZ = maxf. Якщо лінійна функція одним із завдань не обмежена, то інша не має рішення Доказ. Будемо вважати, що вихідна задача має оптимальний план. План визначено симплексним методом. Можна вважати, що кінцевий базис складається з т перший векторів A 1, A 2, ..., A m. Будемо вважати, що D є матрицею, складеною з компонент векторів кінцевого базису A 1, A 2., A m Наведена вище таблиця складається з коефіцієнтів розкладання векторів A 1, A 2, ..., A n вихідної системи по векторах базису. У цій таблиці кожному вектору A j відповідає вектор X j. Використовуючи співвідношення (1.3) та (1.4), отримуємо: (1.5) A = D, D -1 A = (1.6) A 0 = DX *; D -1 A 0 = X (1.7) min Z = C * X *, (1.8) = C * - C> 0, де С = (C 1, C 2, ..., C m), С = (C 1, C 2, ..., C m, C m +1, ..., C n), a = (CX 1-C 1; СХ 2 - З 2, ..., CX n-C n) = (Z 1-С; Z 2-C 2; ..., Z n-C n) - вектор, компоненти якого непозитивно, так як вони співпадають з Z j - C j> 0, відповідними оптимальному плану. Оптимальний план вихідної задачі має вигляд X = D -1 А 0, тому оптимальний план двоїстої задачі шукаємо у вигляді (1.9) Y = C * D -1 Таким чином, значення лінійної функції двоїстої задачі від Y чисельно дорівнює мінімальному значенню лінійної функції вихідної задачі Симетричні двоїсті задачі

Різновидом двоїстих задач лінійного, програмування є подвійні симетричні завдання, в яких система обмежень як вихідної, так і двоїстої задач задається нерівностями, причому на двоїсті змінні накладається умова позитивності. Вихідна задача. Знайти матрицю-стовпець Х = (x 1, x 2, ..., x n), яка задовольняє системі обмежень (1.12). АХ> А 0, Х> 0 і мінімізує лінійну функцію Z = СХ Систему нерівностей за допомогою додаткових змінних можна перетворити в систему рівнянь, тому будь-яку пару симетричних двоїстих завдань можна перетворити в пару несиметричних, для яких теорема подвійності вже доведена. Використовуючи симетричність, можна вибрати завдання, більш зручну для вирішення. Обсяг завдання, розв'язуваної за допомогою ЕОМ, обмежений числом включаються рядків, тому завдання, досить громіздка у вихідній постановці, може бути спрощена в двоїстої формулюванні. При обчисленнях без допомоги машин використання подвійності спрощує обчислення. Очевидно, для того щоб записати двоїсту задачу, спочатку необхідно систему обмежень вихідної задачі привести до виду. Для цього друга нерівність слід помножити на -1.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]