Обсуждение:Временная и пространственная сложность алгоритмов/Задачи/ex-braces-parse-in-logspace/c000076
Материал из DISCOPAL
< Обсуждение:Временная и пространственная сложность алгоритмов/Задачи/ex-braces-parse-in-logspace← ex-braces-parse-in-logspace
Скобочная последовательность правильная, если: число ) = числу (, не существует ситуации, что число ) больше числа ( если идти от начала слова. На двух-ленточной МТ алгоритм, считающий количество ( и ) и разность между ними на каждом шаге занимает 3 дополнительных ячейки на ленте, значит принадлежит logspace.