출처 : https://www.acmicpc.net/problem/1707

문제

그래프의 정점의 집합을 둘로 분할하여, 각 집합에 속한 정점끼리는 서로 인접하지 않도록 분할할 수 있을 때, 그러한 그래프를 특별히 이분 그래프 (Bipartite Graph) 라 부른다.

그래프가 입력으로 주어졌을 때, 이 그래프가 이분 그래프인지 아닌지 판별하는 프로그램을 작성하시오.

Image source : https://gmlwjd9405.github.io/2018/08/23/algorithm-bipartite-graph.html

입력

입력은 여러 개의 테스트 케이스로 구성되어 있는데, 첫째 줄에 테스트 케이스의 개수 K(2≤K≤5)가 주어진다. 각 테스트 케이스의 첫째 줄에는 그래프의 정점의 개수 V(1≤V≤20,000)와 간선의 개수 E(1≤E≤200,000)가 빈 칸을 사이에 두고 순서대로 주어진다. 각 정점에는 1부터 V까지 차례로 번호가 붙어 있다. 이어서 둘째 줄부터 E개의 줄에 걸쳐 간선에 대한 정보가 주어지는데, 각 줄에 인접한 두 정점의 번호가 빈 칸을 사이에 두고 주어진다.

출력

K개의 줄에 걸쳐 입력으로 주어진 그래프가 이분 그래프이면 YES, 아니면 NO를 순서대로 출력한다.

아이디어

이분그래프 내 임의의 노드를 A, A와 이웃한 노드를 B라하면
B의 모든 이웃 노드는 A이고, 그 반대도 같다.

코드

Mine (Runtime Error)

import sys

def makeAdj(v,e): #adj[]생성 함수
    adj = [[] for _ in range(v + 1)]
    for j in range(e):
        x,y = map(int, sys.stdin.readline().split(' '))
        adj[x].append(y)
        adj[y].append(x)
    return adj


def dfs(v,cnt):
    global result
    visited[v] = cnt
    for c in adj[v]:
        if not(visited[c]):
            dfs(c,cnt+1)
        else:
            if visited[c]%2 == cnt%2:
                result = 'NO'
                return

k = int(sys.stdin.readline()) # case 수 입력
for i in range(k):
    v, e = map(int, sys.stdin.readline().split(' ')) #v,e 입력
    visited = [False] * (v+1) # v+1개의 False값을 가진 visited[] 생성
    visited[0] = 1 #미사용 0번째 값 1로 초기화
    result = 'YES' # 기본 result 'YES'로 초기화
    adj = makeAdj(v,e)
    dfs(1,cnt=1)
    if visited.count(False):
        result = 'NO'
    print(result,sep='\n')

DFS로 풀이시 런타임에러 발생.
DFS -> BFS

Solution

출처 : https://velog.io/@aonee/백준-boj-1707-이분-그래프-파이썬

from collections import deque
import sys
input = lambda: sys.stdin.readline()

def bfs(i, c): # 정점, 색상
    q = deque([i])
    visited[i] = True
    color[i] = c
    while q:
        i = q.popleft()
        for j in arr[i]:
            if not visited[j]:
                visited[j] = True
                q.append(j)
                color[j] = 3- color[i]
            else:
                if color[i] == color[j]:
                    return False
    return True

if __name__ == '__main__':
    k = int(input())
    for _ in range(k): # 테스트 케이스 
        v,e = map(int, input().split())
        color = [0] * (v+1)
        arr = [[] for _ in range(v+1)]
        for _ in range(e):
            a,b = map(int, input().split())
            arr[a].append(b)
            arr[b].append(a)
        
        answer = True
        visited = [False] * (v+1)
        for i in range(1, v+1):
            if not visited[i]:
                if not bfs(i, 1): # return False이면 종료
                    answer = False
                    break
        print('YES' if answer else 'NO')

개선사항