NTIME
Dans la théorie de complexité informatique , le NTIME de la classe de complexité de (f (n)) est l'ensemble de problèmes de décision qui peuvent être résolus par une machine non déterministe de Turing de using le temps O (f (n)), et d'espace illimité.
Le bien connu NP de classe de complexité peut être défini en termes de NTIME comme suit :
De même, le NEXPTIME de classe est défini en termes de NTIME. Le théorème de hiérarchie non déterministe de temps indique que les machines non déterministes peuvent résoudre plus de problèmes dans asymptotiquement plus de temps.
athlogic-moignon
.
| Random links: | État (subdivision de pays) | Silicium-germanium | Jean Auguste Ulric Scheler | Theodora (10ème siècle) | Tsing Chau | NTIME |