[BOJ] 백준 4949번 균형잡힌 세상

링크

https://www.acmicpc.net/problem/4949

문제

세계는 균형이 잘 잡혀있어야 한다. 양과 음, 빛과 어둠 그리고 왼쪽 괄호와 오른쪽 괄호처럼 말이다.

정민이의 임무는 어떤 문자열이 주어졌을 때, 괄호들의 균형이 잘 맞춰져 있는지 판단하는 프로그램을 짜는 것이다.

문자열에 포함되는 괄호는 소괄호("()") 와 대괄호("[]")로 2종류이고, 문자열이 균형을 이루는 조건은 아래와 같다.

모든 왼쪽 소괄호("(")는 오른쪽 소괄호(")")와만 짝을 이뤄야 한다.
모든 왼쪽 대괄호("[")는 오른쪽 대괄호("]")와만 짝을 이뤄야 한다.
모든 오른쪽 괄호들은 자신과 짝을 이룰 수 있는 왼쪽 괄호가 존재한다.
모든 괄호들의 짝은 1:1 매칭만 가능하다. 즉, 괄호 하나가 둘 이상의 괄호와 짝지어지지 않는다.
짝을 이루는 두 괄호가 있을 때, 그 사이에 있는 문자열도 균형이 잡혀야 한다.
정민이를 도와 문자열이 주어졌을 때 균형잡힌 문자열인지 아닌지를 판단해보자.

입력

하나 또는 여러줄에 걸쳐서 문자열이 주어진다. 각 문자열은 영문 알파벳, 공백, 소괄호("( )") 대괄호("[ ]")등으로 이루어져 있으며, 길이는 100글자보다 작거나 같다.
입력의 종료조건으로 맨 마지막에 점 하나(".")가 들어온다.

출력

각 줄마다 해당 문자열이 균형을 이루고 있으면 "yes"를, 아니면 "no"를 출력한다.

풀이

 #include <iostream>
#include <string>
#include <stack>

using namespace std;

int main(void) {
	ios::sync_with_stdio(0);
	cin.tie(0);
	string s;
	getline(cin, s); // 첫문장 받기
	while (s != ".") {	
		stack<char> st = {}; //스택 초기화
		bool isWrong = false;//flag변수 최기화
		for (auto c : s) {
			if (c == '(' || c =='[') {
				st.push(c);
			}
			if (c == ')') {
				if (st.empty() || st.top() == '['){ 
                		//empty인데 top()을 호출하면 런타임 에러 발생
					isWrong = true;
					break;
				}
				if (st.top()=='(') {
					st.pop();
				}
			}
			else if (c == ']') {
				if (st.empty() || st.top() == '('){
					isWrong = true;
					break;
				}
				if (st.top() == '[') {
					st.pop();
				}
			}
		}
		if (!st.empty() || isWrong == true) {
        	//스택에 괄호가 남아있다면 올바르지 않은 쌍.
			cout << "no\n";
		}
		else cout << "yes\n";
		getline(cin, s); //다음 문장 받기.
	}
}

설명

👨🏻‍🏫

• 1. 여는 괄호가 나오면 스택에 추가
• 2. 닫는 괄호가 나왔을 경우,
     - 2-1. 스택이 비어있으면 올바르지 않은 괄호 쌍
     - 2-2. 스택의 top이 짝이 맞지 않는 괄호 일 경우 올바르지 않은 괄호 쌍
     - 2-3. 스택의 top이 짝이 맞는 괄호일 경우 pop
• 3. 모든 과정을 끝낸 후 스택에 괄호가 남아있으면 올바르지 않은 괄호 쌍, 남아있지 않으면 올바른 괄호 쌍

⭐ if 조건문에서: empty인데 top()을 호출하면 런타임 에러 발생 -> 조건문에서 top보다 empty조건을 먼저 작성하므로써 empty인 경우 뒤에 top조건을 확인하지않고 if문 안의 본문을 실행해서 스택이 비어있는데 top을 호출하는 일이 발생하지않는다. 이를 short-circuit evaluation이라고 한다.

---

source : 바킹독 실전 알고리즘 0x08