Revisión del 08:00 24 oct 2013 editar CEM-bot (discusión · contribs.) 1 072 482 ediciones m Pequeñas correcciones WP:CEM. ← Ir a diferencia anterior		Revisión del 20:19 27 abr 2017 editar deshacer CEM-bot (discusión · contribs.) 1 072 482 ediciones m Pequeñas correcciones WP:CEM. Ir a siguiente diferencia →
Línea 22: === TQBF === Sea TQBF = { <F> : F es una ~~formula~~fórmula booleana verdadera totalmente cuantificada }. De entrada F: Si F no tiene cuantificador, evalúa y acepta si y solo si F es verdadera. Si F=pF', evaluar recursivamente F'[p=1] y F'[p=0], aceptar si y solo si ambos la aceptan.

Diferencia entre revisiones de «PSPACE-completo»