En la teoría de complejidad de cómputo, el pH de la clase de la complejidad es la unión de todas las clases de la complejidad en la jerarquía polinómica :
del mathbb {N}
El pH primero fue definido por el Larry Stockmeyer . Se contiene en el PPP (la clase de problemas que son decidibles por una máquina polinómica de Turing del tiempo con el acceso a un oráculo de los PP ), el P#P (por el teorema de Toda), y también en el PSPACE .
El pH tiene una caracterización lógica simple: es el sistema de idiomas expresables por la lógica Second-order .
El pH contiene casi todas las clases bien conocidas de la complejidad dentro del PSPACE ; particularmente, contiene el P, el NP, y el Co-NP . Incluso contiene clases de probabilidad tales como BPP y RP .
P = NP si y solamente si P = pH . Esto puede simplificar una prueba potencial del &ne del P ; NP, puesto que es solamente necesario separar el P más general pH de la clase.
| Random links: | Sheridan, Illinois | Provincia de Nonthaburi | Estonia sueca | Puente del monumento del punto mediano | Sabtang, Batanes |