Участник:Rusal/ex-braces-parse-in-logspace

Временная и пространственная сложность алгоритмов/Задачи/ex-braces-parse-in-logspace

Определить, принадлежность к L можно ведя счётчик разности между открывающимися и закрывающимися скобками. Если он ушёл стал отрицательным или не обнулился в конце, то L непринадлежит. счётчик не больше длины входа, т е его длина в двоичной записи не больше логарифма от длины входа. так что использованная память - логарифм, чтд