Diferencia entre revisiones de «EXPSPACE»

Contenido eliminado Contenido añadido
Legobot (discusión · contribs.)
m Moviendo 1 enlace(s) interlingüístico(s), ahora proporcionado(s) por Wikidata en la página d:q1141985.
Sin resumen de edición
Línea 1:
En [[complejidad computacional|teoría de la complejidad computacional]], la [[clase de complejidad]] '''EXPSPACE''' es el conjunto de los [[problema de decisión|problemas de decisión]] que pueden ser resueltos con una [[máquina de Turing]] determinista en espacio [[Cota superior asintótica|O]](2<sup>''p''(''n'')</sup>), donde ''p''(''n'') es una función polinomial sobre ''n''. (De acuerdo con el [[Teorema de Savitch]], esta clase es igual a la que considera máquinas de Turing no deterministas. Cuando se restringe ''p''(''n'') como una función lineal, la clase resultante se denomina [[ESPACE]].)
 
En términos de [[DSPACE]],