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

Материал из DISCOPAL
< Участник:Rusal
Версия от 20:59, 20 сентября 2018; StasFomin (обсуждение | вклад) (Массовая правка: замена :Решенные задачи]] на :Нерешенные задачи]])

Перейти к: навигация, поиск

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

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