NTIME

Материал из DISCOPAL
Версия от 09:55, 4 августа 2008; WikiSysop (обсуждение) (1 версия)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Класс NTIME(t(n)), означает класс задач, разрешимых на недетерминированной машине Тьюринга за время t(n).

Более формально: Язык принадлежит классу , если существует недетерминированная машина Тьюринга T, разрешающая данный язык, и сложность ее работы в наихудшем случае, , т.е. не превышает t(n), где n-длина входного слова.

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.