Изменения
Отмена правки 80739, сделанной 46.242.10.153 (обсуждение)
==Классы из полиномиальной иерархии==
Приведем некоторые соотношения между классами [[Классы Sigma_j Sigma_i и Pi_i|<math>\Sigma_i</math> и <math>\Pi_i</math>]].
<tex>\Sigma_0 = P</tex><br>
===Связь языков из <math>\Sigma_i</math> и <math>\Pi_i</math>===
Если язык <tex>L</tex> принадлежит [[Классы Sigma_i|классу <math>\Sigma_i</math>]], то дополнение <tex>\overline{L}</tex> не принадлежит [[Классы Sigma_i и Pi_i|классу <math>\Pi_i</math>]]
==Коллапс полиномиальной иерархии==
