Участник:Kirillskor/ex-braces-parse-in-logspace — Решение Кирилла Скорнякова

Материал из DISCOPAL
< Участник:Kirillskor
Версия от 23:50, 20 мая 2020; StasFomin (обсуждение | вклад) (Массовая правка: замена :Проблемы в решении]] на :Уже не исправить]])

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск


Скобочная последовательность правильная, если: число ) = числу (, не существует ситуации, что число ) больше числа ( если идти от начала слова. На двух-ленточной МТ алгоритм, считающий количество ( и ) и разность между ними на каждом шаге занимает 3 дополнительных ячейки на ленте, значит принадлежит logspace.


StasFomin (обсуждение) 13:28, 19 мая 2015 (MSK): Откуда взялись «3 дополнительных ячейки на ленте»?