Изменения

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

Классы NP, coNP, Σ₁, Π₁

Нет изменений в размере, 13:14, 22 марта 2016
Свойства: заменил «;» на «.» в перечислении свойств
|statement=
Пусть <tex>L_1,L_2\in \mathrm{NP}</tex>. Тогда:
#<tex>L_1\cap L_2\in \mathrm{NP}</tex>;.#<tex>L_1\cup L_2\in \mathrm{NP}</tex>;.#<tex>L_1L_2\in \mathrm{NP}</tex>;.
#<tex>L_1^*\in \mathrm{NP}</tex>.
|proof=
130
правок

Навигация