This HTML5 document contains 16 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://es.wikipedia.org/wiki/PSPACE?oldid=119482822&ns=
n7http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:PSPACE
owl:sameAs
dbpedia-es:PSPACE
Subject Item
wikipedia-es:PSPACE
foaf:primaryTopic
dbpedia-es:PSPACE
Subject Item
dbpedia-es:ESPACIOP
dbo:wikiPageRedirects
dbpedia-es:PSPACE
Subject Item
dbpedia-es:Espacio_polinomial
dbo:wikiPageRedirects
dbpedia-es:PSPACE
Subject Item
dbpedia-es:Espacio_polinomico
dbo:wikiPageRedirects
dbpedia-es:PSPACE
Subject Item
dbpedia-es:Espacio_polinómico
dbo:wikiPageRedirects
dbpedia-es:PSPACE
Subject Item
dbpedia-es:PSPACE
rdfs:label
PSPACE
rdfs:comment
En teoría de la complejidad computacional, la clase PSPACE es el conjunto de los problemas de decisión que pueden ser resueltos por una máquina de Turing determinista en espacio de polinomios () y tiempo ilimitado. La definición no depende del carácter determinista de la máquina de Turing (esto es un corolario del teorema de Savitch). De manera que PSPACE = NPSPACE. Si un problema se resuelve mediante un algoritmo no determinista de complejidad espacial polinómica, también se puede resolver mediante un algoritmo determinista de complejidad espacial polinómica.
owl:sameAs
n7:09sw7
dct:subject
category-es:Clases_de_complejidad
foaf:isPrimaryTopicOf
wikipedia-es:PSPACE
dbo:wikiPageID
65243
dbo:wikiPageRevisionID
119482822
dbo:wikiPageLength
3796
prov:wasDerivedFrom
n11:0
dbo:abstract
En teoría de la complejidad computacional, la clase PSPACE es el conjunto de los problemas de decisión que pueden ser resueltos por una máquina de Turing determinista en espacio de polinomios () y tiempo ilimitado. La definición no depende del carácter determinista de la máquina de Turing (esto es un corolario del teorema de Savitch). De manera que PSPACE = NPSPACE. Si un problema se resuelve mediante un algoritmo no determinista de complejidad espacial polinómica, también se puede resolver mediante un algoritmo determinista de complejidad espacial polinómica.