Parity-P es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación" (en lugar de un número cero o no cero de rutas de aceptación). Por lo tanto Paridad-P es básicamente PP atrofiado hermano más joven 's: mientras que los recuentos de PP si o no el número de caminos que aceptan de un NP-máquina es una mayoría o no ( es decir, el bit más significativo de dicha cantidad), la paridad-P indica el bit menos significativo del número de rutas de aceptación.
Al igual que NP, Parity-P contiene UP (que contiene P, "probablemente" estrictamente); y como NP, Parity-P está contenido en PSPACE.
Pregunta. ¿Cuáles son los límites superiores e inferiores conjuntos más conocidos para NP y Parity-P?
fuente