94
правки
Изменения
Нет описания правки
Классом сложности <tex>PH</tex> (англ. polynomial hierarchy) называется объединение классов сложности из [[Полиномиальная иерархия|полиномиальной иерархии]] <tex>PH = \cup_{n=0}^{\infty} (\Sigma_n \cup \Pi_n) = \cup_{n=0}^{\infty} \Sigma_n = \cup_{n=0}^{\infty} \Pi_n</tex>
Класс <tex>PH</tex> в точности совпадает с классом языков, выразимых с помощью логики второго порядка.
