Класс PH — различия между версиями
| Строка 1: | Строка 1: | ||
Классом сложности <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> (англ. 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> в точности совпадает с классом языков, выразимых с помощью логики второго порядка. | ||
Версия 12:47, 4 апреля 2010
Классом сложности (англ. polynomial hierarchy) называется объединение классов сложности из полиномиальной иерархии
Класс в точности совпадает с классом языков, выразимых с помощью логики второго порядка.
