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