| Property |
Value |
| dbo:abstract
|
- En théorie de la complexité, NEXPTIME, ou NEXP, est une classe de complexité, c'est-à-dire un ensemble de problèmes de décision. Plus précisément, c'est l'ensemble des problèmes de décision qui peuvent se résoudre sur une machine de Turing non déterministe en temps O(2p(n)) avec certains polynômes « p »(n), et un espace mémoire illimité. C'est donc la version non-déterministe de EXPTIME. (fr)
- En théorie de la complexité, NEXPTIME, ou NEXP, est une classe de complexité, c'est-à-dire un ensemble de problèmes de décision. Plus précisément, c'est l'ensemble des problèmes de décision qui peuvent se résoudre sur une machine de Turing non déterministe en temps O(2p(n)) avec certains polynômes « p »(n), et un espace mémoire illimité. C'est donc la version non-déterministe de EXPTIME. (fr)
|
| dbo:isPartOf
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4504 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:fin
| |
| prop-fr:fr
|
- théorème de hiérarchie pour le temps (fr)
- théorème de hiérarchie pour le temps (fr)
|
| prop-fr:nom
| |
| prop-fr:trad
|
- Time hierarchy theorem (fr)
- Time hierarchy theorem (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En théorie de la complexité, NEXPTIME, ou NEXP, est une classe de complexité, c'est-à-dire un ensemble de problèmes de décision. Plus précisément, c'est l'ensemble des problèmes de décision qui peuvent se résoudre sur une machine de Turing non déterministe en temps O(2p(n)) avec certains polynômes « p »(n), et un espace mémoire illimité. C'est donc la version non-déterministe de EXPTIME. (fr)
- En théorie de la complexité, NEXPTIME, ou NEXP, est une classe de complexité, c'est-à-dire un ensemble de problèmes de décision. Plus précisément, c'est l'ensemble des problèmes de décision qui peuvent se résoudre sur une machine de Turing non déterministe en temps O(2p(n)) avec certains polynômes « p »(n), et un espace mémoire illimité. C'est donc la version non-déterministe de EXPTIME. (fr)
|
| rdfs:label
|
- NEXPTIME (ca)
- NEXPTIME (de)
- NEXPTIME (fr)
- NEXPTIME (zh)
- NEXPTIME (ca)
- NEXPTIME (de)
- NEXPTIME (fr)
- NEXPTIME (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:isPartOf
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
