Класс PH

Материал из Викиконспекты
Перейти к: навигация, поиск

Классом сложности [math]PH[/math] (англ. polynomial hierarchy) называется объединение классов сложности из полиномиальной иерархии [math]PH = \cup_{n=0}^{\infty} (\Sigma_n \cup \Pi_n) = \cup_{n=0}^{\infty} \Sigma_n = \cup_{n=0}^{\infty} \Pi_n[/math]

Класс [math]PH[/math] в точности совпадает с классом языков, выразимых с помощью логики второго порядка.