Taula de continguts
6 les relacions: Connectivitat-st, DSPACE (Complexitat), EXPSPACE, NL (Complexitat), NSPACE, PSPACE.
Connectivitat-st
En teoria de la complexitat, el problema de connectivitat-st o STCON (pel nom en anglès st-connectivity) és un problema de decisió tal que donat un graf dirigit, cal saber si un vèrtex t és accessible des de s. Formalment, el problema es descriu així:CAMÍ.
Veure Teorema de Savitch і Connectivitat-st
DSPACE (Complexitat)
En teoria de la complexitat, la classe de complexitat DSPACE(f(n)) o SPACE(f(n)) és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing determinista en espai O(f(n)) i temps il·limitat.
Veure Teorema de Savitch і DSPACE (Complexitat)
EXPSPACE
En teoria de la complexitat, la classe de complexita EXPSPACE és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing determinista en espai O(2p(n)), on p(n) és una funció polinomial sobre n. D'acord amb el teorema de Savitch, aquesta classe és igual a la que considera màquines de Turing no deterministes.
Veure Teorema de Savitch і EXPSPACE
NL (Complexitat)
En teoria de la complexitat, la classe de complexitat NL és la classe dels problemes de decisió que es poden resoldre per una màquina de Turing no determinista usant una quantitat logarítmica d'espai.
Veure Teorema de Savitch і NL (Complexitat)
NSPACE
En teoria de la complexitat, la classe de complexitat NSPACE(f(n)) és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing no determinista en espai O(f(n)) i temps il·limitat.
Veure Teorema de Savitch і NSPACE
PSPACE
En teoria de la complexitat, la classe de complexitat PSPACE és el conjunt dels problemes de decisió que poden ser resolts amb una màquina de Turing usant un espai polinòmic.