퍼뮤테이션 그래프와 인터벌 그래프의 리스트 색칠 및 리스트 동형 사상

초록

본 논문은 리스트 색칠 문제와 리스트 동형 사상 문제를 다루며, 전체 색상의 수가 고정된 경우 퍼뮤테이션 그래프에서 리스트 색칠을 다항시간 알고리즘으로 해결한다. 더 나아가, 동일한 제한 하에 모든 퍼뮤테이션 및 인터벌 그래프에 대해 임의의 고정 목표 그래프로의 리스트 동형 사상을 다항시간에 구할 수 있음을 보인다.

상세 분석

리스트 색칠 문제는 각 정점에 허용된 색상의 집합(리스트)이 주어졌을 때, 인접 정점이 서로 다른 색을 갖도록 색을 배정할 수 있는지를 묻는 NP‑Complete 문제이다. 특히 전체 색상 수가 3개일 때도 planar bipartite 그래프에서 어려움이 증명되었으며, 이는 일반적인 그래프 색칠 문제보다 훨씬 강한 제약을 가진다. 논문은 이러한 난이도에도 불구하고, 퍼뮤테이션 그래프라는 특수한 그래프 클래스에 대해 ‘전체 색상 수가 상수’라는 추가 제한을 두면 문제를 효율적으로 해결할 수 있음을 보여준다. 퍼뮤테이션 그래프는 두 선형 순서 사이의 교차 관계를 이용해 정의되는 비교 가능 그래프이며, 그 구조적 특성(예: 순서 기반의 차례대로 정점을 배치할 수 있음) 덕분에 동적 계획법이나 구간 분할 기법을 적용하기에 적합하다.

핵심 아이디어는 먼저 퍼뮤테이션 그래프를 ‘연속 구간’ 형태로 표현하는데, 이는 그래프의 인접 관계가 두 순열의 교차 패턴으로 완전히 기술될 수 있음을 의미한다. 이때 리스트 색칠을 해결하기 위해 각 색에 대해 가능한 정점 집합을 구간 형태로 유지하면서, 구간 간의 겹침 여부를 검사한다. 색상이 상수 개수이므로, 가능한 색 조합의 수가 다항적으로 제한되어, 구간 교차 검사를 반복적으로 수행해도 전체 복잡도는 O(n·k²) 수준(여기서 n은 정점 수, k는 색상 수)으로 유지된다.

리스트 동형 사상 문제는 입력 그래프 G의 각 정점에 리스트가 주어지고, 목표 그래프 H가 고정되어 있을 때, G의 정점을 H의 정점에 리스트에 포함된 대로 매핑하면서 인접성을 보존하는 사상을 찾는 문제이다. 이 문제는 일반적으로 CSP(제약 만족 문제) 형태로 모델링되며, H가 고정된 경우에도 NP‑Hard인 경우가 많다. 논문은 퍼뮤테이션 및 인터벌 그래프가 ‘단일 순서 구조’를 갖는다는 점을 활용해, 리스트 동형 사상을 ‘순서 매핑’ 문제로 환원한다. 구체적으로, 목표 그래프 H의 정점들을 하나의 선형 순서에 배치하고, 입력 그래프 G의 정점 리스트를 이 순서에 맞춰 가능한 구간으로 변환한다. 그런 다음, 구간 간의 포함·포함 관계와 H의 인접 관계를 비교하면서, 동적 프로그래밍 테이블을 채워 나가면 최종 매핑 여부를 다항시간에 판단할 수 있다.

또한 논문은 이 알고리즘이 인터벌 그래프에도 그대로 적용됨을 증명한다. 인터벌 그래프는 실제 구간(시작·끝 좌표)으로 정의되는 그래프이며, 리스트 색칠·동형 사상 문제를 구간 겹침 검사와 구간 스케줄링 문제로 변환할 수 있다. 구간의 시작·끝 좌표를 정수화하고, 리스트를 구간 집합으로 변환하면, 기존에 설계한 구간 기반 DP가 그대로 동작한다. 따라서 전체 색상 수가 상수이거나 목표 그래프 H가 고정된 경우, 두 그래프 클래스 모두에서 리스트 색칠·동형 사상 문제를 효율적으로 해결한다는 일반적 결과를 얻는다.

마지막으로, 논문은 이 접근법이 기존의 트리폭 기반 알고리즘보다 더 넓은 그래프 클래스를 포괄한다는 점을 강조한다. 퍼뮤테이션·인터벌 그래프는 트리폭이 제한적이지만, 트리폭 자체에 의존하지 않고 순서·구간 구조에 기반한 알고리즘을 설계함으로써, 더 일반적인 구조적 제한을 가진 그래프에도 적용 가능함을 시사한다.