A step-by-step look at bracket sequence validation (part ae4e)

Пройдём задачу шаг за шагом — такой формат удобен для первого знакомства с алгоритмами.

Задача

Проверить, правильно ли расставлены скобки в строке из символов ()[]{}.

Решение

def is_balanced(s: str) -> bool:
    pairs = {')': '(', ']': '[', '}': '{'}
    stack = []
    for ch in s:
        if ch in '([{':
            stack.append(ch)
        elif ch in pairs:
            if not stack or stack.pop() != pairs[ch]:
                return False
    return not stack


print(is_balanced("([]{})") )

Как это работает

Это классическое применение стека: открывающая скобка кладётся наверх, закрывающая сверяется с вершиной. Если в конце стек пуст — последовательность верна.

Пример работы

True

Сложность

O(n) по времени, O(n) по памяти в худшем случае.

Разбор по шагам

1. Шаг 1. Входные данные. Проверяем, что приходит в функцию, и какие значения считаются корректными.
2. Шаг 2. Основной цикл. Именно здесь происходит вся работа; следим за изменениями переменных на каждой итерации.
3. Шаг 3. Результат. Убеждаемся, что возвращаемое значение соответствует условию задачи, включая крайние случаи.

Когда каждый шаг понятен, доработка решения перестаёт быть лотереей.

Читайте также:

[pairsch · первого · Входные · худшем · доработка · понятен · возвращаемое · времени · изменениями · случае · работает · Когда · значения · Пройдём · классическое · Убеждаемся · происходит · закрывающая · Решение · stack · конце · Задача · стека · каждый