Відмінності між версіями «Задача СП з розв’язувальним розподілом за умови детермінованих параметрів умов обмежень. Дискретний розв’язувальний розподіл.»

Матеріал з Вікі ЦДУ
Перейти до: навігація, пошук
(Незначні орфографічні та пунктуаційні виправлення.)
Рядок 16: Рядок 16:
 
Відображення (19.4) переводить множину <math>\ X \subset R ^n </math>, в <math>\ X \subset R^{(m+1)}</math>.  
 
Відображення (19.4) переводить множину <math>\ X \subset R ^n </math>, в <math>\ X \subset R^{(m+1)}</math>.  
  
В цьому випадку <math>\ Y </math>- не викупла і незамкнута множина.  
+
В цьому випадку <math>\ Y </math>- не випукла і незамкнута множина.  
  
Позначемо через <math>\ co Y </math> випуклу множину <math>\ Y </math>.
+
Позначемо через <math>\ co Y </math>, випуклу множину <math>\ Y </math>.
  
 
Задача (19.1) - (19.3) може бути записана в вигляді:
 
Задача (19.1) - (19.3) може бути записана в вигляді:
Рядок 29: Рядок 29:
  
  
Згідно теореми Каретеодорі для побудови випуклої оболонти множини  <math>\ Y </math> із  <math>\ m+1 </math> - вимірного простору потрібно загалом не більш <math>\ m+2 </math> точок <math>\ y \in  Y </math>. Це значить, що <math>\ co Y </math> може бути представлена в вигляді:
+
Згідно теореми Каретеодорі для побудови випуклої оболонки множини  <math>\ Y </math> із  <math>\ m+1 </math> - вимірного простору потрібно загалом не більш <math>\ m+2 </math> точок <math>\ y \in  Y </math>. Це значить, що <math>\ co Y </math> може бути представлена в вигляді:
  
 
<math>\ co Y= {\sum^{m+1}_{k=0}\phi_{i}(x_{k})p_{k}}</math>;
 
<math>\ co Y= {\sum^{m+1}_{k=0}\phi_{i}(x_{k})p_{k}}</math>;
Рядок 45: Рядок 45:
 
<math> \sum^{m}_{k=0} p_{k}=1 </math>.
 
<math> \sum^{m}_{k=0} p_{k}=1 </math>.
  
Задача (19.1) - (19.3) еквівалентна, таким чином , наступній скінченномірній задачі.
+
Таким чином, задача (19.1) - (19.3) еквівалентна наступній скінченномірній задачі:
  
 
Потрібно обчислити вектори <math>\ x_{k}</math> і числа <math> \ p_{k} </math>, які визначають нижню межу функціонала
 
Потрібно обчислити вектори <math>\ x_{k}</math> і числа <math> \ p_{k} </math>, які визначають нижню межу функціонала
Рядок 51: Рядок 51:
 
<math>\  {\sum^{m}_{k=0}\phi_{0}(x_{k})p_{k}}</math>;  (19.8)
 
<math>\  {\sum^{m}_{k=0}\phi_{0}(x_{k})p_{k}}</math>;  (19.8)
  
За умови
+
За умови:
  
 
<math>\  {\sum^{m}_{k=0}\phi_{i}(x_{k})p_{k}\le 0 \  i = 1,...m}</math>; (19.9)  
 
<math>\  {\sum^{m}_{k=0}\phi_{i}(x_{k})p_{k}\le 0 \  i = 1,...m}</math>; (19.9)  
Рядок 68: Рядок 68:
 
<math>\ \lambda^{(1)}=(\lambda_{0} ^{(1)},...,\lambda_{m+1} ^{(1)}) </math>, - розв'язок прямої і двоїстої задачі. Введемо в базис задачі новий розширений вектор умов <math>\ (\psi_{0}(x), \psi_{1}(x),...,\psi_{m}(x),1)^T</math> так, щоб значення цільового функціоналу (19.8) при цьому зменшилося.
 
<math>\ \lambda^{(1)}=(\lambda_{0} ^{(1)},...,\lambda_{m+1} ^{(1)}) </math>, - розв'язок прямої і двоїстої задачі. Введемо в базис задачі новий розширений вектор умов <math>\ (\psi_{0}(x), \psi_{1}(x),...,\psi_{m}(x),1)^T</math> так, щоб значення цільового функціоналу (19.8) при цьому зменшилося.
  
Відповідна точка <math>\ x\in X </math> повинна задовольняти умову
+
Відповідна точка <math>\ x\in X </math> повинна задовольняти умову:
  
 
<math> \sum^{m}_{k=0}\lambda_{i} ^{(1)}\phi_{i}{x}+\lambda_{m+1} ^{(1)}< -\psi_{0}(x) </math> .
 
<math> \sum^{m}_{k=0}\lambda_{i} ^{(1)}\phi_{i}{x}+\lambda_{m+1} ^{(1)}< -\psi_{0}(x) </math> .
Рядок 80: Рядок 80:
 
Обчислив <math>\ x_{m+1}</math>, знаходим новий розв'язок лінійної задачі (19.8) - (19.10) і двоїстої до неї і т.д.
 
Обчислив <math>\ x_{m+1}</math>, знаходим новий розв'язок лінійної задачі (19.8) - (19.10) і двоїстої до неї і т.д.
  
Зрозуміло, що для реалізації інтеративного методу достатньо на кожній ітерації зберігати в пам'яті не більш <math>\ m+2 </math> точек <math>\ x_{k}</math>.
+
Зрозуміло, що для реалізації інеративного методу достатньо на кожній ітерації зберігати в пам'яті не більш <math>\ m+2 </math> точок <math>\ x_{k}</math>.
  
 
Виконала: [[Юрченко Тетяна Сергіївна|Юрченко Тетяна Сергіївна ]]
 
Виконала: [[Юрченко Тетяна Сергіївна|Юрченко Тетяна Сергіївна ]]
  
Редагувала: [[Лисенко Наталія|Лисенко Наталія ]]
+
Редагували: [[Лисенко Наталія|Лисенко Наталія ]], [[Токарь Володимир|Токарь Володимир]]

Версія за 02:23, 21 грудня 2020

Постановка задачі:

У задачах першого класу з детермінованими параметрами умов потрібно обчислити розподіл Неможливо розібрати вираз (невідома помилка): F_{x}

 вектора х при якому:

Неможливо розібрати вираз (невідома помилка): M\phi_{0} (x) =\int \phi_{0} dF_{x} \rightarrow inf , (19.1)

Неможливо розібрати вираз (невідома помилка): M\phi_{i} (x) =\int \phi_{i} dF_{x} \leqslant 0, i=1,2,...,m , (19.2)

Неможливо розібрати вираз (невідома помилка): x\in X , (19.3)

де Х задана множина в n-вимірному евклідовому просторі.

Введемо нові змінні: Неможливо розібрати вираз (невідома помилка): y ^ = \phi_{i}(x) , (19.4)

Відображення (19.4) переводить множину Неможливо розібрати вираз (невідома помилка): \ X \subset R ^n , в Неможливо розібрати вираз (невідома помилка): \ X \subset R^{(m+1)} .

В цьому випадку Неможливо розібрати вираз (невідома помилка): \ Y - не випукла і незамкнута множина.

Позначемо через Неможливо розібрати вираз (невідома помилка): \ co Y , випуклу множину Неможливо розібрати вираз (невідома помилка): \ Y .

Задача (19.1) - (19.3) може бути записана в вигляді:

Неможливо розібрати вираз (невідома помилка): \ y_0 \rightarrow inf , (19.5)

Неможливо розібрати вираз (невідома помилка): \ y_i \le 0, i = 1,...m, , (19.6)

Неможливо розібрати вираз (невідома помилка): \ y = (y_0, y_1, ... , y_m)\in co Y , (19.6)


Згідно теореми Каретеодорі для побудови випуклої оболонки множини Неможливо розібрати вираз (невідома помилка): \ Y

із  Неможливо розібрати вираз (невідома помилка): \ m+1 
- вимірного простору потрібно загалом не більш Неможливо розібрати вираз (невідома помилка): \ m+2 
точок Неможливо розібрати вираз (невідома помилка): \ y \in  Y 

. Це значить, що Неможливо розібрати вираз (невідома помилка): \ co Y

може бути представлена в вигляді:

Неможливо розібрати вираз (невідома помилка): \ co Y= {\sum^{m+1}_{k=0}\phi_{i}(x_{k})p_{k}}

Неможливо розібрати вираз (невідома помилка): \ i = 0,1,...m, ,

Неможливо розібрати вираз (невідома помилка): \ \ p_{k}\ge 0, ,

Неможливо розібрати вираз (невідома помилка): \sum^{m+1}_{k=0} p_{k}=1 ,

Неможливо розібрати вираз (невідома помилка): \ x_{k}\in X .

Нас цікавлять тільки точки Неможливо розібрати вираз (невідома помилка): \ y \in Y \subset R^{(m+1)} ,одна з координат яких Неможливо розібрати вираз (невідома помилка): \ (y_0)

досягає свого екстремального значення. Такі точки відповідно з наслідком теореми Каратеодорі можуть бути представлені як випуклі комбінації не більш ніж Неможливо розібрати вираз (невідома помилка): \ m+1 
векторів Неможливо розібрати вираз (невідома помилка): \ x_{k}\in X 
і  Неможливо розібрати вираз (невідома помилка): \ m+1 
чисел Неможливо розібрати вираз (невідома помилка): \ p_{k} 
Неможливо розібрати вираз (невідома помилка): \  (k = 1,...m),  

, Неможливо розібрати вираз (невідома помилка): \ p_{k}\ge 0


Неможливо розібрати вираз (невідома помилка): \sum^{m}_{k=0} p_{k}=1 .

Таким чином, задача (19.1) - (19.3) еквівалентна наступній скінченномірній задачі:

Потрібно обчислити вектори Неможливо розібрати вираз (невідома помилка): \ x_{k}

і числа Неможливо розібрати вираз (невідома помилка):  \ p_{k} 

, які визначають нижню межу функціонала

Неможливо розібрати вираз (невідома помилка): \ {\sum^{m}_{k=0}\phi_{0}(x_{k})p_{k}}

(19.8)

За умови:

Неможливо розібрати вираз (невідома помилка): \ {\sum^{m}_{k=0}\phi_{i}(x_{k})p_{k}\le 0 \ i = 1,...m}

(19.9)


Неможливо розібрати вираз (невідома помилка): \ x_{k}\in X, \ p_{k}\ge 0 , \ k = 0,1,...m, \sum^{m}_{k=0} p_{k}=1 ,(19.10)


Вектори Неможливо розібрати вираз (невідома помилка): \ x\ast_{k}

і числа Неможливо розібрати вираз (невідома помилка):  \ p\ast_{k} 

, що становить оптимальний план задачі (19.8) - (19.10), визначають дискретний розв'язувальний розподіл вихідної задачі (19.1) - (19.3).

Для розв'язку задачі (19.8) - (19.10) використаємо ітеративний метод. Зафіксуємо довільним чином Неможливо розібрати вираз (невідома помилка): \ m+1

точку Неможливо розібрати вираз (невідома помилка): \ x_{k}\in X,  \  k = 0,1,...m,
, і розв'яжемо отриману при цьому задачу лінійного програмування (19.8) - (19.10).

Нехай Неможливо розібрати вираз (невідома помилка): \ p ^{(1)}=(p_{0} ^{(1)},...,p_{m} ^{(1)}) , i Неможливо розібрати вираз (невідома помилка): \ \lambda^{(1)}=(\lambda_{0} ^{(1)},...,\lambda_{m+1} ^{(1)}) , - розв'язок прямої і двоїстої задачі. Введемо в базис задачі новий розширений вектор умов Неможливо розібрати вираз (невідома помилка): \ (\psi_{0}(x), \psi_{1}(x),...,\psi_{m}(x),1)^T

так, щоб значення цільового функціоналу (19.8) при цьому зменшилося.

Відповідна точка Неможливо розібрати вираз (невідома помилка): \ x\in X

повинна задовольняти умову:

Неможливо розібрати вираз (невідома помилка): \sum^{m}_{k=0}\lambda_{i} ^{(1)}\phi_{i}{x}+\lambda_{m+1} ^{(1)}< -\psi_{0}(x)

.

Нову точку Неможливо розібрати вираз (невідома помилка): \ x_{m+1}

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

Неможливо розібрати вираз (невідома помилка): \psi_{0}(x)=\sum^{m}_{k=0}\lambda_{i} ^{(1)}\phi_{x}\longrightarrow min ,

Неможливо розібрати вираз (невідома помилка): \ x\in X

.

Обчислив Неможливо розібрати вираз (невідома помилка): \ x_{m+1} , знаходим новий розв'язок лінійної задачі (19.8) - (19.10) і двоїстої до неї і т.д.

Зрозуміло, що для реалізації інеративного методу достатньо на кожній ітерації зберігати в пам'яті не більш Неможливо розібрати вираз (невідома помилка): \ m+2

точок Неможливо розібрати вираз (невідома помилка): \ x_{k}

.

Виконала: Юрченко Тетяна Сергіївна

Редагували: Лисенко Наталія , Токарь Володимир