Supongo que se llamaría # P-Space, pero solo he encontrado un artículo que lo menciona vagamente. ¿Qué tal la versión de conteo de EXP-TIME-Complete, NEXP-Complete y EXP-SPACE-Complete? ¿Hay algún trabajo previo que pueda citarse con respecto a este o algún tipo de inclusión o exclusión como el Teorema de Toda?
11
Respuestas:
El número de asignaciones satisfactorias a una fórmula booleana es igual al número de cuantificaciones válidas de la fórmula. La prueba inductiva es bastante elegante. Entonces #P = #PSpace.
fuente