NEXPSPACE est une classe de la théorie de la complexité. Elle regroupe l'ensemble des problèmes décidables en espace exponentiel par une machine de Turing non déterministe. Cette classe est égale à EXPSPACE d'après le théorème de Savitch.

Property Value
dbo:abstract
  • NEXPSPACE est une classe de la théorie de la complexité. Elle regroupe l'ensemble des problèmes décidables en espace exponentiel par une machine de Turing non déterministe. Cette classe est égale à EXPSPACE d'après le théorème de Savitch. (fr)
  • NEXPSPACE est une classe de la théorie de la complexité. Elle regroupe l'ensemble des problèmes décidables en espace exponentiel par une machine de Turing non déterministe. Cette classe est égale à EXPSPACE d'après le théorème de Savitch. (fr)
dbo:thumbnail
dbo:wikiPageID
  • 8626846 (xsd:integer)
dbo:wikiPageLength
  • 1807 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 146170234 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • théorème de hiérarchie en espace (fr)
  • théorème de hiérarchie en espace (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:trad
  • Space hierarchy theorem (fr)
  • Space hierarchy theorem (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • NEXPSPACE est une classe de la théorie de la complexité. Elle regroupe l'ensemble des problèmes décidables en espace exponentiel par une machine de Turing non déterministe. Cette classe est égale à EXPSPACE d'après le théorème de Savitch. (fr)
  • NEXPSPACE est une classe de la théorie de la complexité. Elle regroupe l'ensemble des problèmes décidables en espace exponentiel par une machine de Turing non déterministe. Cette classe est égale à EXPSPACE d'après le théorème de Savitch. (fr)
rdfs:label
  • NEXPSPACE (fr)
  • NEXPSPACE (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of