[백준/python] 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를 출력한다.

 

정답

n = int(input())
numbers = []
for i in range(n):
    numbers.append(int(input()))

stack = []
result = []
k = 0


def s_pop(s):
    global k
    while n > k and stack and numbers[k] == s[-1]:
        s.pop()
        result.append("-")
        k += 1


for i in range(1, n+1):
    stack.append(i)
    result.append("+")
    if numbers[k] == stack[-1]:
        s_pop(stack)

if n > k:
    print("NO")
else:
    for i in result:
        print(i)

---

우선 n과 n개의 정수를 numbers에 입력받는다.

1부터 정수를 저장할 stack과 결과를 저장할 result 배열을 만들고

numbers 배열의 대상을 지정할 k를 만들어 배열의 첫번째를 가리키기 위해 0을 저장한다.

for i in range(1, n+1):
    stack.append(i)
    result.append("+")
    if numbers[k] == stack[-1]:
        s_pop(stack)

1부터 n까지의 숫자를 이용하기 위해 범위는 1부터 n+1로 설정하고

stack에 1부터 넣으면서 result에 +를 저장한다.

 

만약 입력받은 숫자 numbers의 k번째가 stack의 마지막에 저장된 숫자와 같다면 s_pop 함수를 실행한다.

첫 실행이라면 numbers의 첫번째 숫자와 방금 stack에 넣은 숫자 1이 비교될 것이다.

def s_pop(s):
    global k
    while n > k and stack and numbers[k] == s[-1]:
        s.pop()
        result.append("-")
        k += 1

s_pop 함수에서도 변수 k를 사용하기 위해 global k를 선언해준다.

✔ numbers 숫자 배열의 가장 큰 숫자인 n과 비교대상이 될 numbers 배열의 인덱스인 k를 비교하여 n이 더 크고

✔ stack이 비어있지 않고

✔ numbers배열의 k번째 숫자와 stack 배열의 마지막 숫자가 일치할 때

stack.pop()을 하고 result에 -를 저장한다.

numbers 배열의 비교대상을 다음으로 바꾸기 위해 인덱스가 될 k에 1을 더해준다.

위 과정을 해당 조건이 만족할동안 반복해준다.

if n > k:
    print("NO")
else:
    for i in result:
        print(i)

모든 과정을 마친 뒤 numbers의 인덱스인 k가 numbers의 마지막 인덱스보다 작다면

모든 숫자를 비교해보지못하고 끝냈다는 뜻이므로 "NO"를 출력하고

아니라면 result에 저장해두었던 값을 하나씩 출력한다.