코모패러빌리티 그래프에서 최장 경로를 찾는 단순 다항식 알고리즘

초록

본 논문은 코모패러빌리티 그래프에 대해, 정점들을 Lexicographic Depth First Search(LDFS) 순서로 정렬한 뒤 동적 계획법을 적용함으로써 최장 단순 경로를 다항식 시간에 구할 수 있음을 보인다. 기존에 구간 그래프에서만 알려졌던 방법을 LDFS 전처리와 결합해 일반적인 코모패러빌리티 그래프에도 확장했으며, 알고리즘의 복잡도는 O(n³) 수준이다.

상세 분석

논문은 먼저 최장 경로 문제(Longest Path Problem, LPP)가 일반 그래프에서 NP‑hard임을 상기하고, 특수 그래프 클래스—특히 트리와 구간 그래프—에서만 다항식 알고리즘이 알려져 있던 상황을 정리한다. 구간 그래프에 대한 기존 결과는 “characterizing ordering”이라 불리는 정점 순서(예: 오른쪽 끝점 기준 정렬)를 이용해 동적 계획법(DP)을 적용함으로써 O(n²) 혹은 O(n³) 시간에 최장 경로를 찾을 수 있음을 보여준다.

코모패러빌리티 그래프는 구간 그래프의 일반화로, 비교 가능성(comparability) 관계의 보완 그래프이며, 전통적인 순서 기반 알고리즘이 바로 적용되기 어렵다. 저자들은 최근 도입된 Lexicographic Depth First Search(LDFS)라는 탐색 순서가 코모패러빌리티 그래프에 대해 “interval‑like” 구조를 드러낸다는 사실을 활용한다. LDFS는 일반 DFS와 달리 방문 순서를 사전식으로 정렬해, 동일 깊이에서 정점 번호가 작은 것을 우선 방문하도록 설계된다. 이 순서는 그래프를 “LDFS‑ordering”이라 부르는 특수한 선형 순서로 변환시키며, 이 순서 하에서는 모든 비인접 정점 쌍이 특정한 “umbrella‑free” 성질을 만족한다. 즉, LDFS 순서에 따라 정렬된 코모패러빌리티 그래프는 구간 그래프와 동형인 구조적 특성을 갖게 된다.

이러한 구조적 통찰을 바탕으로 저자들은 동적 계획법을 설계한다. 핵심 아이디어는 다음과 같다.

1. LDFS 전처리: 입력 그래프 G에 대해 LDFS를 수행해 정점 순서 σ = (v₁,…,vₙ)를 얻는다.
2. 구간‑유사 인접성 테이블: σ에 따라 각 정점 vᵢ에 대해 오른쪽에 위치한 인접 정점들의 집합 N⁺(vᵢ)를 계산한다. 이때 N⁺(vᵢ)는 연속 구간 형태를 이루며, 이는 구간 그래프에서의 “right‑endpoint ordering”과 동일한 성질이다.
3. DP 상태 정의: DP