NTIME
In de complexiteitstheorie is NTIME( f(n) ) een complexiteitsklasse die alle beslissingsproblemen bevat die in O(f(n)) opgelost kunnen worden door een niet-deterministische turingmachine.
Veel bekende complexiteitsklassen kunnen gedefinieerd worden in termen van NTIME. Zo kan NP gedefinieerd worden als
en NEXPTIME als
- .
In verhouding tot DTIME geldt dat DTIME(f(n)) ⊆ NTIME(f(n)) voor elke functie f(n) aangezien de benodigde tijd op een niet-deterministische turingmachine die geen niet-determinisme gebruikt gelijk is aan een deterministische turingmachine.
Externe link
- (en) NTIME, Complexity Zoo
This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.