Відмінності між версіями «Одноетапна Р-модель з імовірнісними обмеженнями. Постановка задачі та умови сумісності.»

при умові, що ймовірність попадання в Неможливо розібрати вираз (невідома помилка): G_i (\omega, i=1,2,\ldots,m), 
не менше заданого  числа Неможливо розібрати вираз (невідома помилка): \alpha_{i}

. Таким чином, в самій постановці задачі ми припускаємо, що розв’язок знаходиться у вигляді випадкового вектора і розв’язувальне правило заздалегідь не задано. Формально задача записується в наступному вигляді:

Неможливо розібрати вираз (невідома помилка): P\left \{ x(\omega) \in G_{0} (\omega)\right \} \to sup

(15.1)

Неможливо розібрати вираз (невідома помилка): P\left \{ x(\omega) \in G_{i} (\omega) \right \} \ge \alpha_{i},i=1,2,\ldots,m.

                  (15.2)

Введемо характеристичні функції множин Неможливо розібрати вираз (невідома помилка): G_i (\omega)

Неможливо розібрати вираз (невідома помилка): \psi_{i}(\omega, x) = \begin{cases} 1, & \mbox{if } x \in G_{i} (\omega) \\ 0, & \mbox{if } x \notin G_{i} (\omega) \end{cases}

Тоді
Неможливо розібрати вираз (невідома помилка): P\left \{ x(\omega) \in G_{i} (\omega) \right \} = \int_{ \Omega}\psi_{i}(\omega, x(\omega))dp

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

 - ймовірнісна міра, яка визначає ймовірнісний простір Неможливо розібрати вираз (невідома помилка):  (\Omega,\sum, p) 
. Будемо, як і раніше, припускати, що міра Неможливо розібрати вираз (невідома помилка):  p 
неперервна.

Задача (15.1) - (15.2) набуває вигляду:
Неможливо розібрати вираз (невідома помилка): \int_{ \Omega}\psi_{0}(\omega, x )dp \to sup ,

Неможливо розібрати вираз (невідома помилка): \int_{ \Omega}\psi_{i}(\omega, x )dp \ge \alpha_{i},i=1,2,\ldots,m.

Принципова схема рішення не залежить від числа обмежень завдання. Однак зі збільшенням m трудомісткість обчислень дуже швидко зростає. Тому всі наступні міркування проводяться для Неможливо розібрати вираз (невідома помилка): m = 2.

15.2. Сформулюємо умови сумісності задачі (15.1) - (15.2). Введемо два множини
Неможливо розібрати вираз (невідома помилка): \Omega' = \left \{ \omega: G_{1} (\omega)\cap G_{2} (\omega)\ne \emptyset \right \} ,

Неможливо розібрати вираз (невідома помилка): \Omega'' = \left \{ \omega: G_{1} (\omega)\cap G_{2} (\omega)= \emptyset \right \} .

Теорема 15.1. Для того, сумісності задачі (15.1)- (15.2) при (Неможливо розібрати вираз (невідома помилка): m=2 ) необхідно і достатньо, щоб
Неможливо розібрати вираз (невідома помилка): \begin{cases} \alpha_{1}\le 1, \alpha_{2} \le 1 \\ \alpha_{1}+ \alpha_{2} =P \Omega' \le 2 \end{cases}

Доведення. а) Необхідність. Перші два нерівності очевидні. Перевіримо останнє. Нехай задача (15.1) - (15.2) сумісна, тобто для деякої функції Неможливо розібрати вираз (невідома помилка): x(\omega)

 виконані умови (15.2). Тоді

Неможливо розібрати вираз (невідома помилка): P\left \{ x \in G_{i} \right \}=P\left \{ x \in G_{i}\setminus G_{j} \right \} +P\left \{ x \in G_{1}\cap G_{2} \right \};(i,j=1,2;i \ne j)

Неможливо розібрати вираз (невідома помилка): \alpha_{1} + \alpha_{2} + P \Omega'' \le P \left \{ x \in G_{1} \right \} + P \left \{ x \in G_{2} \right \} + P \Omega'' + P \left \{ x \in G_{1} \setminus G_{2} \right \} + P \left \{ x \in G_{1} \cap G_{2} \right \}+ P \left \{ x \in G_{2} \setminus G_{2} \right \}

Неможливо розібрати вираз (невідома помилка): +P \left \{ x \in G_{1} \cap G_{2} \right \}+P \left \{ G_{1} \cap G_{2}= \emptyset \right \}

Події, що відповідають першим трьом складовим, попарно несумісні. Те ж відноситься до подій, відповідним останнім двом подіям. Тому
Неможливо розібрати вираз (невідома помилка): \alpha_{1} + \alpha_{2} + P \Omega'' \le 2 .

б) Достатність. Нехай виконані умови теореми
Неможливо розібрати вираз (невідома помилка): \alpha_{1} + \alpha_{2} + P \Omega'' \le 2(P \Omega'+P \Omega'')

або Неможливо розібрати вираз (невідома помилка): (\alpha_{1} - P \Omega')+(\alpha_{2} - P \Omega') \le P \Omega'',

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

можна розбити на дві множини Неможливо розібрати вираз (невідома помилка):  \Omega''_{1}
і Неможливо розібрати вираз (невідома помилка): \Omega''_{2}
таким чином, щоб Неможливо розібрати вираз (невідома помилка): \alpha_{1}-P \Omega' \le  P \Omega''_{i},i=1,2.
Функція

Неможливо розібрати вираз (невідома помилка): x(\omega) = \begin{cases} G_{1}(\omega)\cap G_{2}(\omega), \omega \in \Omega' \\ G_{1}(\omega), \omega \in \Omega''_{1} \\ G_{2}(\omega), \omega \ in \Omega''_{2} \end{cases}