Изменения

== Определения, связь Σ₁ и NP ==

{{Определение

|definition=<tex>\mathrm{NP}=\!\!\bigcup\limits_{p(n) \in poly}\!\!\operatorname{NTIME}(p(n))</tex>.

}}