아래는 해당 문제 해결방법입니다.

1. 스택 비었으면 무조건 push

2. 스택 안비었을 떄 스택의 last가 현재 넣을려는 문자와 같을 경우 pop

3. 스택의 last와 현재 넣을려는 문자와 다를경우 push

마지막에 stack이 비었으면 올바르고, 남았다면 틀림.

여기서 생긴 의문점이, 스택의 마지막문자를 last라 하고 현재 문자를 cur라고 했을 떄,

last와 cur의 문자가 같다면, last와 cur가 항상 짝을 이루어도 됨을 어떻게 증명할 수 있는건가요?

last와 cur가 짝을 이루지 않아야 성립하는 case는 없는건가요? 없다면 이를 어떻게 증명할 수 있나요?