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