[백준 1874 🥈] 스택 수열

문제

스택 (stack)은 기본적인 자료구조 중 하나로, 컴퓨터 프로그램을 작성할 때 자주 이용되는 개념이다. 스택은 자료를 넣는 (push) 입구와 자료를 뽑는 (pop) 입구가 같아 제일 나중에 들어간 자료가 제일 먼저 나오는 (LIFO, Last in First out) 특성을 가지고 있다.

1부터 n까지의 수를 스택에 넣었다가 뽑아 늘어놓음으로써, 하나의 수열을 만들 수 있다. 이때, 스택에 push하는 순서는 반드시 오름차순을 지키도록 한다고 하자. 임의의 수열이 주어졌을 때 스택을 이용해 그 수열을 만들 수 있는지 없는지, 있다면 어떤 순서로 push와 pop 연산을 수행해야 하는지를 알아낼 수 있다. 이를 계산하는 프로그램을 작성하라.

입력

첫 줄에 n (1 ≤ n ≤ 100,000)이 주어진다. 둘째 줄부터 n개의 줄에는 수열을 이루는 1이상 n이하의 정수가 하나씩 순서대로 주어진다. 물론 같은 정수가 두 번 나오는 일은 없다.

출력

입력된 수열을 만들기 위해 필요한 연산을 한 줄에 한 개씩 출력한다. push연산은 +로, pop 연산은 -로 표현하도록 한다. 불가능한 경우 NO를 출력한다.

문제풀이

처음에 문제를 읽고나서 무슨 뜻인지 이해가 잘 되지 않았다. 

스택은 오름차순으로 push되어야 하다는 것은 만약 4를 뽑아내야 할 경우 아직 1,2,3,4를 차례로 push해준 뒤에 4가 top에 위치할 때만 뽑아내는 것이 가능하다는 뜻이다.

4 3 6 8 7 5 2 1 을 예로 들면, 1,2,3,4를 push하고, 4를 뽑아낸 뒤에 또 3을 뽑아낸 후에 5,6을 push해주고 6을 뽑아낸 뒤에 7,8을 push해주고 순서대로 8,7,5,2,1을 뽑아내면 된다.

import sys

n=int(sys.stdin.readline())
# 오름차순으로 push되고 있는지 체크할 변수
cnt=0
stack=[]
ans=[]
for i in range(1,n+1):
    num=int(sys.stdin.readline())
    while cnt<num:
        cnt+=1
        stack.append(cnt)
        ans.append('+')
    if num==stack[-1]:
        stack.pop()
        ans.append('-')
    else:
        print('NO')
        sys.exit(0)

for a in ans:
    print(a)

오름차순으로 push되는지 확인하기 위해서 최근에 push한 값을 저장하는 cnt 변수를 선언했다.

먼저 어떤 값을 pop해야 하는지 입력받아 num에 저장하고, cnt가 num보다 크거나 같은 경우엔 이미 num보다 작은 값들은 모두 push해줬다는 뜻이므로 top과 num을 비교해서 pop해준다.

 

반대로, cnt가 num보다 작을 경우 cnt+1해주고 스택에 push해준다.

push해줄 때마다 ans 배열에 '+'를 추가한다. cnt가 num과 동일해지면 while문을 빠져나와 stack의 top과 num이 동일한지 확인하고 동일하다면 pop해주고 '-'를 ans 배열에 추가한다.

 

만약 여기서 cnt가 num과 동일해져서 빠져나왔는데 top과 num이 동일하지 않다면 해당 수열은 입력된 수열을 만들어낼 수 없는 경우이므로 NO를 출력하고 프로그램을 종료한다.

이 경우가 아니라면 마지막으로 ans 값을 출력하고 종료한다.