PH (сложность)
-
Определение и свойства PH
- PH объединяет все классы сложности в полиномиальной иерархии.
- Ларри Стокмейер впервые определил PH.
- PH является частным случаем иерархии ограниченной переменной машины Тьюринга.
- PH содержится в P#P и PSPACE.
- PH описывается как набор языков, выразимых логикой второго порядка.
-
Связь с другими классами сложности
- PH может быть эквивалентен P, NP, co-NP и вероятностным классам, таким как BPP и RP.
- Существуют свидетельства того, что BQP не содержится в PH.
- Если P = NP, то P = PH, что упрощает доказательство P ∈ NP.
- PH является подмножеством P # P и PSPACE по теореме Тоды.
-
Примеры и рекомендации
- Статья является заглушкой и требует расширения для Википедии.
Полный текст статьи: