and p[0] == p[1]

Понял этот момент. В тестах же есть случай когда открывающий и закрыващий символы совпадают

Пятерочка за первое решение! :)

Решение прошло тесты и значит оно ОК. Я имею некоторые предложения по стилю кода

• Можно вынуть последний элемент списка (или любой другой) с помощью операции list.pop() (см pydoc). Инструкция del имеет немного другую семантику. Нашел лонг-тред на эту тему http://stackoverflow.com/questions/6146963/when-is-del-useful-in-python
• Я думаю что первая ветка условий никогда не выполнится, если предположить что открывающая и закрывающая скобка - разные символы. Что хотел сказать автор?

if len(stack) > 0 and stack[-1] == p[0] and p[0] == p[1]:

• Если мы точно знаем что массив pairs состоит из пар элементов, можно пройти по этому массиву и помещать значения из пары элементов в переменные с каким-то осмысленным именем (Т.о я переопределяю имя open, что не очень правильно. Однако я знаю что в коде ниже и рядом не будет использоваться чтение/запись в файл)

for open, close in pairs