DFS는 Depth-First Search, 깊이 우선 탐색이라고도 부르며, 그래프에서 깊은 부분을 우선적으로 탐색하는 알고리즘이다. 즉, 특정한 경로로 탐색하다가 특정한 상황에서 최대한 깊숙이 들어가 노드를 방문한 후, 다시 돌아가 다른 경로로 탐색하는 알고리즘이다.
🔥
DFS는스택 자료구조를 이용한다.
스택에 삽입하고 방문 처리를 한다.# DFS 메서드 정의
def dfs(graph, v, visited):
# 현재 노드를 방문 처리
visited[v] = True
print(v, end=' ')
# 현재 노드와 연결된 다른 노드를 재귀적으로 방문
for i in graph[v]:
if not visited[i]:
dfs(graph, i, visited)
# 각 노드가 연결된 정보를 리스트 자료형으로 표현(2차원 리스트)
graph = [
[],
[2, 3, 8],
[1, 7],
[1, 4, 5],
[3, 5],
[3, 4],
[7],
[2, 6, 8],
[1, 7]
]
# 각 노드가 방문된 정보를 리스트 자료형으로 표현(1차원 리스트)
visited = [False] * 9
# 정의된 DFS 함수 호출
dfs(graph, 1, visited)
BFS는 Breadth-First Search, 너비 우선 탐색이라는 의미를 가지며, 쉽게 말해 가까운 노드부터 탐색하는 알고리즘이다. 최대한 멀리 있는 노드를 우선으로 탐색하는 방식으로 동작하는 DFS의 반대라고 볼 수 있다.
🔥
BFS는 선입선출 방식인큐 자료구조를 이용한다.
: 인접한 노드를 반복적으로 큐에 넣도록 알고리즘을 작성하면 자연스럽게 먼저 들어온 것이 먼저 나가게 되어, 가까운 노드부터 탐색을 진행하게 된다.
🔥 일반적으로
DFS보다는BFS구현이 조금 더 빠르게 동작한다.
BFS알고리즘은 탐색을 수행함에 있어O(N)의 시간이 소요된다.
from collections import deque
# BFS 메서드 정의
def bfs(graph, start, visited):
# 큐(Queue) 구현을 위해 deque 라이브러리 사용
queue = deque([start])
# 현재 노드를 방문 처리
visited[start] = True
# 큐가 빌 때까지 반복
while queue:
# 큐에서 하나의 원소를 뽑아 출력
v = queue.popleft()
print(v, end = ' ')
# 해당 원소와 연결된, 아직 방문하지 않은 원소들을 큐에 삽입
for i in graph[v]:
if not visited[i]:
queue.append(i)
visited[i] = True
# 각 노드가 연결된 정보를 리스트 자료형으로 표현(2차원 리스트)
graph = [
[],
[2, 3, 8],
[1, 7],
[1, 4, 5],
[3, 5],
[3, 4],
[7],
[2, 6, 8],
[1, 7]
]
# 각 노드가 방문된 정보를 리스트 자료형으로 표현(1차원 리스트)
visited = [False] * 9
# 정의된 BFS 함수 호출
bfs(graph, 1, visited)
💡 DFS
- 시작노드 '1' 스택 삽입 : [1] - 1 방문
- 최상단 노드 : 1
- 방문하지 않은 인접 노드 '2', '3', '8' 중 가장 작은 노드인 '2' 스택 삽입
: [1, 2] - 2 방문
- 최상단 노드 : 2
- [1, 2, 7] - 7 방문
- [1, 2, 7, 6] - 6 방문
- 스택의 최상단 노드 '6'에 방문하지 않은 인접 노드가 없으므로 스택에서 '6'번 노드를 꺼낸다 : [1, 2, 7]
- [1, 2, 7, 8] - 8 방문
- 스택의 최상단 노드 '8' 꺼냄 : [1, 2, 7]
- 스택의 최상단 노드 '7' 꺼냄 : [1, 2]
- 스택의 최상단 노드 '2' 꺼냄 : [1]
- [1, 3] - 3 방문
- [1, 3, 4] - 4 방문
- [1, 3, 4, 5] - 5 방문
- 남아 있는 노드에 방문하지 않은 인접 노드 없으므로 스택에서 모든 노드를 차례 대로 꺼낸다
노드의 탐색 순서(스택에 들어간 순서)
: 1 - 2 - 7 - 6 - 8 - 3 - 4 - 5
💡 BFS
- 시작노드 '1' 큐 삽입 : [1] - 1 방문
- 큐에서 노드 '1' 꺼내고, 방문하지 않은 인접 노드 '2', '3', '8'을 모두 큐에 삽입 : [2, 3, 8] - 2, 3, 8 방문
- 큐에서 노드 '2' 꺼내고, 방문하지 않은 인접 노드 '7' 큐에 삽입
: [3, 8, 7] - 7 방문- [8, 7, 4, 5] - 3 꺼내고 + 4, 5 방문
- [7, 4, 5] : 큐에서 노드 '8' 꺼내고 방문하지 않은 인접 노드가 없으므로 무시한다.
- [4, 5, 6] - 7 꺼내고 + 6 방문
- 남아 있는 노드에 방문하지 않은 인접 노드가 없다. 따라서 모든 노드를 차례대로 꺼낸다.
노드의 탐색 순서(큐에 들어간 순서)
: 1 - 2 - 3 - 8 - 7 - 4 - 5 - 6
| DFS | BFS | |
|---|---|---|
| 동작 원리 | 스택 (Stack) | 큐(Queue) |
| 구현 방법 | 재귀 함수 이용 | 큐 자료구조 이용 |
코딩테스트에서 N*M 문제나 2차원 배열에서의 탐색 문제를 만났을 때 그래프 형태로 바꿔서 생각하면 훨씬 쉽게 풀 수 있음!
👉 DFS/BFS 문제 유형
📌 DFS/BFS를 이해하기 위한 기본 개념
- 스택 (stack)
- FILO(First In Last Out) or LIFO 의 자료구조
- 파이썬에서는 리스트로 구현 가능 (append, pop)
- 큐 (queue)
- FIFO(First In First Out) 의 자료구조
from collections import deque # 큐(Queue) 구현을 위해 deque 라이브러리 사용 queue = deque() # append, popleft
- 재귀 함수
: 스택을 활용해야 하는 상당수 알고리즘은 재귀함수를 이용해서 간편하게 구현 가능# 반복적으로 구현한 n! def factorial_iterative(n): result = 1 # 1부터 n까지의 수를 차례대로 곱하기 for i in range(1, n+1): result *= i return result # 재귀적으로 구현한 n! def factorial_recursive(n): if n <= 1: # n이 1 이하인 경우 1을 반환 return 1 return n * factorial_recursive(n-1)
📌 그래프 표현 in programming (DFS/BFS)
- 인접 행렬 (Adjacency Matrix)
- 2차원 배열에 각 노드가 연결된 형태를 표현하는 방식
- 연결 되어 있지 않은 노드끼리는 무한의 비용으로 작성 (ex.) 999999999)
- 파이썬에서는 2차원 리스트로 구현
INF = 999999999 # 2차원 리스트를 이용해 인접 행렬 표현 graph = [ [0, 3, 1], [3, 0, INF], [1, INF, 0] ]
- 인접 리스트 (Adjacency List)
- 리스트로 노드에 연결된 노드에 대한 정보를 차례대로 연결하여 저장
- 파이썬에서는 똑같이 2차원 리스트를 이용하고 append()와 메소드 사용
# 행(Row)이 3개인 2차원 리스트로 인접 리스트 표현 graph = [[] for _ in range(3)] # 노드 0에 연결된 노드 정보 저장(노드, 거리) graph[0].append((1, 3)) graph[0].append((2, 1)) # 노드 1에 연결된 노드 정보 저장(노드, 거리) graph[1].append((0, 3)) # 노드 2에 연결된 노드 정보 저장(노드, 거리) graph[2].append((0, 1))
👉 참고
나동빈, 이것이 취업을 위한 코딩 테스트다 with 파이썬
[자료구조] 그래프의 개념과 구현