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

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

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

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

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