퍼뮤테이션 그래프의 3리스트 색칠 문제 해결

초록

본 논문은 NP‑완전으로 알려진 3‑리스트 색칠 문제를 퍼뮤테이션 그래프에 한정했을 때 다항시간 알고리즘을 제시한다. 퍼뮤테이션 그래프의 특수한 구조를 이용해 리스트 색칠을 효율적으로 수행할 수 있음을 증명한다.

상세 분석

3‑리스트 색칠은 각 정점에 크기 3 이하의 색 리스트가 주어졌을 때, 인접 정점이 같은 색을 사용하지 않도록 리스트 안의 색을 할당할 수 있는지를 묻는 결정 문제이다. 일반 그래프에서는 NP‑complete이며, 심지어 평면 이분 그래프에서도 어려운 것으로 알려져 있다. 퍼뮤테이션 그래프는 두 순열 사이의 교차 관계로 정의되는 교차 그래프의 일종으로, 구간 그래프와 완전 이분 그래프 사이의 중간 구조를 가진다. 이러한 그래프는 각각의 정점이 두 순열에서 나타나는 위치를 좌표로 생각하면, 두 좌표축에 평행한 선분들로 표현될 수 있다. 논문은 이 좌표 표현을 활용해 리스트 색칠 문제를 선형 순서에 따라 처리하는 동적 계획법으로 변환한다. 핵심 아이디어는 퍼뮤테이션 그래프가 ‘교차 없는’ 부분구조, 즉 완전 순서 부분집합을 포함한다는 점이다. 이러한 부분집합은 구간 그래프와 동형이며, 구간 그래프에서는 3‑리스트 색칠이 다항시간에 해결 가능하다는 기존 결과를 적용할 수 있다. 저자는 전체 그래프를 이러한 구간‑형 부분으로 분할하고, 각 부분에서 가능한 색 할당 상태를 ‘패턴’으로 요약한다. 패턴은 각 정점이 선택할 수 있는 색의 조합을 비트마스크 형태로 표현하며, 인접 구간 사이의 호환성을 검사한다. 호환성 검사는 두 구간이 겹치는 구간에 대해 색 충돌이 없도록 하는 간단한 비트 연산으로 수행된다. 전체 알고리즘은 다음과 같은 단계로 진행된다. (1) 입력 퍼뮤테이션을 두 순열의 교차점 리스트로 변환하고, 이를 x‑축 순서에 따라 정렬한다. (2) 정렬된 순서에 따라 슬라이딩 윈도우를 이동시키며 현재 윈도우에 포함된 정점들의 리스트를 유지한다. (3) 윈도우가 새 정점을 포함하거나 기존 정점을 제외할 때마다 가능한 색 패턴 집합을 업데이트한다. (4) 모든 정점에 대해 윈도우가 끝날 때까지 패턴 전파를 수행하고, 최종적으로 비어 있지 않은 패턴이 존재하면 색칠이 가능하다고 판단한다. 이 과정에서 각 정점당 최대 3개의 색만 고려하므로 패턴 수는 상수(최대 3^k, 여기서 k는 윈도우 내 정점 수) 이하로 제한된다. 퍼뮤테이션 그래프의 특성상 윈도우 내 정점 수는 O(√n) 이하로 증명될 수 있어, 전체 시간 복잡도는 O(n·3^{√n})가 아니라 실제 구현에서는 O(n+m) 수준으로 최적화된다. 저자는 또한 이 알고리즘이 기존의 일반 그래프에 대한 3‑리스트 색칠 알고리즘보다 현저히 빠른 실험 결과를 보이며, 특히 대규모 퍼뮤테이션 그래프에서도 메모리 사용량이 선형에 가깝다는 점을 강조한다. 이 논문은 퍼뮤테이션 그래프가 가진 구조적 제한을 활용해 NP‑완전 문제를 효율적으로 해결할 수 있는 새로운 패러다임을 제시한다는 점에서 학술적 의의가 크다.