[코테] 백준 그래프 16964번 문제

16964번 : DFS 스페셜 저지

문제 링크

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

문제 설명

BOJ에서 정답이 여러가지인 경우에는 스페셜 저지를 사용한다. 스페셜 저지는 유저가 출력한 답을 검증하는 코드를 통해서 정답 유무를 결정하는 방식이다. 오늘은 스페셜 저지 코드를 하나 만들어보려고 한다.

정점의 개수가 N이고, 정점에 1부터 N까지 번호가 매겨져있는 양방향 그래프가 있을 때, DFS 알고리즘은 다음과 같은 형태로 이루어져 있다.

이 문제에서 시작 정점은 1이기 때문에 가장 처음에 호출하는 함수는 dfs(1)이다. DFS 방문 순서는 dfs함수에서 // x를 방문 이라고 적힌 곳에 도착한 정점 번호를 순서대로 나열한 것이다.

트리가 주어졌을 때, 올바른 DFS 방문 순서인지 구해보자.

입력

첫째 줄에 정점의 수 N(2 ≤ N ≤ 100,000)이 주어진다. 둘째 줄부터 N-1개의 줄에는 트리의 간선 정보가 주어진다. 마지막 줄에는 DFS 방문 순서가 주어진다. DFS 방문 순서는 항상 N개의 정수로 이루어져 있으며, 1부터 N까지 자연수가 한 번씩 등장한다.

출력

입력으로 주어진 DFS 방문 순서가 올바른 순서면 1, 아니면 0을 출력한다.

문제풀이

1-2, 1-3, 2-4라는 그래프가 주어졌을 때 DFS는 1-2-4-3, 1-3-2-4 총 2가지이므로 먼저 입력받은 방문순서대로 그래프 노드를 정렬하는 게 핵심이다. 그 이후에 DFS를 진행 결과와 입력받은 방문순서를 비교하면 된다.

from collections import defaultdict
import sys
input = sys.stdin.readline

# 정렬할 때 키로 사용할 함수
def orders(a):
    return order[a]

# DFS 진행, 결과는 배열에 따로 저장
def dfs(i) :
    if visited[i] :
        return
    dfs_result.append(i)
    visited[i] = True

    for next in graph[i] :
        if not visited[next]:
            dfs(next)
            
N = int(input())
order = [0] * 100001
visited = [False for _ in range(N+1)]
dfs_result = []
graph = defaultdict(list)
for _ in range(N-1):
    a, b = map(int, input().split())
    graph[a].append(b)
    graph[b].append(a)
    
comp_result = list(map(int, input().split()))

# 입력받은 방문순서대로 정렬 진행
for i in range(N) : 
    order[comp_result[i]] = i+1
for v in graph.values() :
    v.sort(key = orders)

# DFS 진행
dfs(1)

# 입력받은 방문순서의 첫번째가 1이 아닌 경우 0 출력
if comp_result[0] != 1 :
    print(0)
# 입력받은 방문순서와 DFS 결과가 같으면 1 출력
elif dfs_result == comp_result :
    print(1)
# 아닐 경우 0 출력
else :
    print(0)