Изменения

Перейти к: навигация, поиск

Класс P

2 байта убрано, 10:46, 3 июня 2012
Свойства класса P: s/очевидно/понятно/
<tex>D \subseteq \mathrm{P} \Rightarrow \mathrm{P}=\mathrm{P}^D</tex>. В частности, из этого следует, что <tex>\mathrm{P}=\mathrm{P^P}</tex>.
|proof =
ОчевидноПонятно, что <tex>\mathrm{P} \subset \mathrm{P}^D</tex>. Докажем, что <tex>\mathrm{P}^D \subset \mathrm{P}</tex>.
<tex>L \in \mathrm{P}^D \Rightarrow \exists A \in D: L \in \mathrm{P}^A</tex>.
Анонимный участник

Навигация