Відмінності між версіями «Випадок скінченного числа реалізацій випадкового вектору обмежень.»
66185 (обговорення • внесок) (Замінено вміст на «Файл:пит27_1.png Файл:пит27_2.png Виконала: Боженко Альбіна») |
2533128 (обговорення • внесок) |
||
Рядок 1: | Рядок 1: | ||
− | + | <font size=3> 27. Випадок скінченого числа реалізацій вектора '''''b(w)'''''</font><br /> | |
− | + | <font size=3> Нехай випадковими параметрами умов двухетапної стохастичної задачі є тільки компоненти вектора обмежень '''''b'''''. Розглянемо випадок скінченого числа реалізацій вектора '''''b'''''.</font><br /> | |
+ | <font size=3>Нехай вектор обмежень '''''b''''' приймає скінчене число значень <math>b_{(1)}, b_{(2)},..., b_{(M)}</math> відповідно з ймовірностями <math>p^{(1)}, p^{(2)},..., p^{(M)}</math> (<math>\sum_{j=1}^{M} p^{j}=1</math>) </font><br /> | ||
+ | <font size=3>В цьому випадку двухетапна задача може бути записана в наступному вигляді. Треба обчислити вектори <math>x, y^{(1)}, y^{(2)},..., y^{(M)}</math>, які мінімізують лінійну форму:</font><br /> | ||
− | Виконала: [[Користувач: | + | <font size=3><math>L=cx+\sum_{j=1}^{M} p^{(j)} qy^{(j)}</math> </font><br /> |
+ | |||
+ | |||
+ | <font size=3> при умовах <math>\left\{\begin{matrix} Ax+By^{(1)}=b_{(1)} | ||
+ | \\ Ax+By^{(2)}=b_{(2)} | ||
+ | \\ ... | ||
+ | \\ Ax+By^{(M)}=b_{(M)} | ||
+ | \end{matrix}\right.</math> </font><br /> | ||
+ | |||
+ | |||
+ | <font size=3><math>x\geq 0, y^{j}\geq 0, j=1,2,...N</math> </font><br /> | ||
+ | |||
+ | |||
+ | <font size=3>'''''Теорема.''''' Для оптимального плану <math>x^*</math> двухетапної задачі необхідно і достатньо, щоб при <math>x=x^*</math> існував розв’язок <math>z^* (b,x^*)</math> задачі <math>Q(x,A,b)=max_{x} z(b-Ax), zB\leq q</math>, двоїстої до задачі другого етапу, що задовольняє відношенням</font><br /> | ||
+ | |||
+ | |||
+ | <font size=3><math>c_{x^{*}}=M\left [ c-z^{*}(b,x^{^{*}}) A \right ] \geq 0</math></font><br /> | ||
+ | |||
+ | <font size=3><math>L_{x^{*}} \left(x^{*} \right )=M\left [ c-z^{*}(b,x^{^{*}}) A \right ]x^{*}= 0</math></font><br /> | ||
+ | |||
+ | |||
+ | <font size=3>Запишемо задачу, двоїсту до задач (1)-(3). (В якості змінних двоїстої задачі тут приймаються параметри <math>p^{(j)}z^{(j)}</math>.)</font><br /> | ||
+ | |||
+ | <font size=3>Треба обчислити максимум лінійної форми</font><br /> | ||
+ | |||
+ | <font size=3><math>p^{(1)}z^{(1)}b_{(1)}+p^{(2)}z^{(2)}b_{(2)}+...+p^{(M)}z^{(M)}b_{(M)}</math> </font><br /> | ||
+ | |||
+ | <font size=3>при умовах <math>p^{(1)}A^T z^{(1)}+p^{(2)}A^T z^{(2)}+...+p^{(M)}A^T z^{(M)}\leq c</math></font><br /> | ||
+ | |||
+ | <font size=3><math>\left\{\begin{matrix} B^Tz^{(1)}\leq q | ||
+ | \\ B^Tz^{(2)}\leq q | ||
+ | \\ ... | ||
+ | \\ B^Tz^{(M)}\leq q | ||
+ | \end{matrix}\right. | ||
+ | </math></font><br /> | ||
+ | |||
+ | <font size=3>Структура задачі (6)-(8) дозволяє, використовуючи методи блочного програмування, визначити план двухетапної задачі.</font><br /> | ||
+ | |||
+ | <font size=3>\sum_{v=1}^{x}=\sigma _{\nu } z_{\nu }\rightarrow max</font><br /> | ||
+ | |||
+ | <font size=3>при умовах <math>\sum_{\nu =1}^{x} P_{\nu }z_{\nu }\leq c, \sum_{\nu =1}^{x} z_{\nu }=1, z_{\nu }\geq 0, \nu =1,2,..., s</math></font><br /> | ||
+ | |||
+ | <font size=3>(для спрощення приймається, що область, визначена умовам (8), обмежена.)</font><br /> | ||
+ | |||
+ | <font size=3>Ясно, що <math>n_{1}</math> – мірний вектор <math>\Lambda ^{(1)}</math> оцінок умов (9) відносно оптимального базису '''''z''''' – задачі співпадає з оптимальним планом <math>x^*</math> двоетапної задачі стохастичного програмування.</font><br /> | ||
+ | |||
+ | |||
+ | |||
+ | Виконала: [[Користувач:2533128|Сандирєва Марина]] |
Версія за 21:53, 30 травня 2018
27. Випадок скінченого числа реалізацій вектора b(w)
Нехай випадковими параметрами умов двухетапної стохастичної задачі є тільки компоненти вектора обмежень b. Розглянемо випадок скінченого числа реалізацій вектора b.
Нехай вектор обмежень b приймає скінчене число значень Неможливо розібрати вираз (невідома помилка): b_{(1)}, b_{(2)},..., b_{(M)}
відповідно з ймовірностями Неможливо розібрати вираз (невідома помилка): p^{(1)}, p^{(2)},..., p^{(M)} (Неможливо розібрати вираз (невідома помилка): \sum_{j=1}^{M} p^{j}=1
)
В цьому випадку двухетапна задача може бути записана в наступному вигляді. Треба обчислити вектори Неможливо розібрати вираз (невідома помилка): x, y^{(1)}, y^{(2)},..., y^{(M)}
, які мінімізують лінійну форму:
Неможливо розібрати вираз (невідома помилка): L=cx+\sum_{j=1}^{M} p^{(j)} qy^{(j)}
при умовах Неможливо розібрати вираз (невідома помилка): \left\{\begin{matrix} Ax+By^{(1)}=b_{(1)} \\ Ax+By^{(2)}=b_{(2)} \\ ... \\ Ax+By^{(M)}=b_{(M)} \end{matrix}\right.
Неможливо розібрати вираз (невідома помилка): x\geq 0, y^{j}\geq 0, j=1,2,...N
Теорема. Для оптимального плану Неможливо розібрати вираз (невідома помилка): x^*
двухетапної задачі необхідно і достатньо, щоб при Неможливо розібрати вираз (невідома помилка): x=x^* існував розв’язок Неможливо розібрати вираз (невідома помилка): z^* (b,x^*) задачі Неможливо розібрати вираз (невідома помилка): Q(x,A,b)=max_{x} z(b-Ax), zB\leq q
, двоїстої до задачі другого етапу, що задовольняє відношенням
Неможливо розібрати вираз (невідома помилка): c_{x^{*}}=M\left [ c-z^{*}(b,x^{^{*}}) A \right ] \geq 0
Неможливо розібрати вираз (невідома помилка): L_{x^{*}} \left(x^{*} \right )=M\left [ c-z^{*}(b,x^{^{*}}) A \right ]x^{*}= 0
Запишемо задачу, двоїсту до задач (1)-(3). (В якості змінних двоїстої задачі тут приймаються параметри Неможливо розібрати вираз (невідома помилка): p^{(j)}z^{(j)}
.)
Треба обчислити максимум лінійної форми
Неможливо розібрати вираз (невідома помилка): p^{(1)}z^{(1)}b_{(1)}+p^{(2)}z^{(2)}b_{(2)}+...+p^{(M)}z^{(M)}b_{(M)}
при умовах Неможливо розібрати вираз (невідома помилка): p^{(1)}A^T z^{(1)}+p^{(2)}A^T z^{(2)}+...+p^{(M)}A^T z^{(M)}\leq c
Неможливо розібрати вираз (невідома помилка): \left\{\begin{matrix} B^Tz^{(1)}\leq q \\ B^Tz^{(2)}\leq q \\ ... \\ B^Tz^{(M)}\leq q \end{matrix}\right.
Структура задачі (6)-(8) дозволяє, використовуючи методи блочного програмування, визначити план двухетапної задачі.
\sum_{v=1}^{x}=\sigma _{\nu } z_{\nu }\rightarrow max
при умовах Неможливо розібрати вираз (невідома помилка): \sum_{\nu =1}^{x} P_{\nu }z_{\nu }\leq c, \sum_{\nu =1}^{x} z_{\nu }=1, z_{\nu }\geq 0, \nu =1,2,..., s
(для спрощення приймається, що область, визначена умовам (8), обмежена.)
Ясно, що Неможливо розібрати вираз (невідома помилка): n_{1}
– мірний вектор Неможливо розібрати вираз (невідома помилка): \Lambda ^{(1)} оцінок умов (9) відносно оптимального базису z – задачі співпадає з оптимальним планом Неможливо розібрати вираз (невідома помилка): x^* двоетапної задачі стохастичного програмування.
Виконала: Сандирєва Марина