Для существующей недетерминированной машины Тьюринга, полинома и предиката L условие означает:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
существует путь вычисления, дающий ответ "да" за время, не превосходящее
не существует пути вычисления, дающий ответ "да" за время, не превосходящее (Верный ответ)
на любом пути вычисления ответа "да" не получается(Верный ответ)