WikiDer > NTIME

В теория сложности вычислений, то класс сложности NTIME (ж(п)) это набор проблемы решения это может быть решено недетерминированная машина Тьюринга который бежит во времени О(ж(п)). Вот О это нотация большой O, ж какая-то функция, и п - это размер входа (для которого необходимо решить проблему).

Смысл

Это означает, что существует недетерминированная машина, которая при заданном вводе размера п, побежит вовремя О(ж(п)) (т.е. в пределах постоянного кратного ж(п), для п больше некоторого значения), и всегда будет "отклонять" ввод, если ответ на проблему решения - "нет" для этого ввода, тогда как если ответ "да", машина "примет" этот ввод по крайней мере для одного вычисления. дорожка. Эквивалентно есть детерминированная машина Тьюринга M что работает во времени О(ж(п)) и может проверить О(ж(п)) - сертификат длины для входа; если ввод - экземпляр «да», то принимается по крайней мере один сертификат, если ввод - экземпляр «нет», ни один сертификат не может заставить машину принять.

Ограничения пространства

Пространство, доступное для машины, не ограничено, но не может превышать О(ж(п)), потому что доступное время ограничивает доступную часть ленты.

Отношение к другим классам сложности

Всем известный класс сложности НП можно определить в терминах NTIME следующим образом:

${ displaystyle { mathsf {NP}} = bigcup _ {k in mathbb {N}} { mathsf {NTIME}} (n ^ {k})}$

Аналогично класс NEXP определяется в терминах NTIME:

${ displaystyle { mathsf {NEXP}} = bigcup _ {k in mathbb {N}} { mathsf {NTIME}} (2 ^ {n ^ {k}})}$

Недетерминированный теорема об иерархии времени говорит, что недетерминированные машины могут решить больше задач за асимптотически большее время.

NTIME также связано с DSPACE следующим образом. Для любого время конструктивно функция т(п), у нас есть

${ Displaystyle { mathsf {NTIME}} (т (п)) substeq { mathsf {DSPACE}} (т (п))}$.

Обобщение NTIME является ВРЕМЯ, определенный с чередующиеся машины Тьюринга. Оказывается, что

${ Displaystyle { mathsf {NTIME}} (т (п)) substeq { mathsf {ATIME}} (t (п)) substeq { mathsf {DSPACE}} (т (п))}$.

использованная литература

Зоопарк сложности: NTIME (ж(п)).