평면 DAG에서 최장 경로 길이의 일관된 로그스페이스 해결

초록

본 논문은 평면 방향성 비순환 그래프(Planar DAG)에서 최장 경로의 길이를 구하는 문제가 일관된 로그스페이스(UL)와 그 보완 클래스(co‑UL) 안에 속함을 두 가지 알고리즘을 통해 증명한다. 또한 동일한 결과가 토러스 위에 임베딩 가능한 DAG에도 적용됨을 보인다.

상세 분석

이 연구는 세 가지 기본 문제—Reachability, Distance, Long‑Path—의 복잡도 차이를 평면 DAG라는 제한된 구조 안에서 좁히는 데 초점을 맞춘다. 기존에 Reachability와 Distance는 평면 방향 그래프에서 UL ∩ co‑UL에 속한다는 결과가 알려져 있었지만, Long‑Path는 일반적으로 NP‑complete이며, 평면 DAG에서는 아직 복잡도가 정립되지 않았다. 논문은 두 가지 독립적인 접근법을 제시한다. 첫 번째는 기존의 Distance 알고리즘을 활용해 Long‑Path와 Distance를 상호 변환하는 리덕션을 구성한다. 핵심 아이디어는 각 정점 u에 대해 전임 집합 P_u를 정의하고, 원래의 간선을 길이 l_uv = 2·|E| − 1 형태의 경로로 대체함으로써 모든 s→t 경로의 길이가 2·|E| − |ρ| 로 변환되는 변환 함수를 만든다. 이 변환은 로그스페이스 내에서 Reachability에 대한 오라클 호출만으로 수행될 수 있다. 따라서 Long‑Path 인스턴스를 Distance 인스턴스로 변환하고, 기존 UL ∩ co‑UL 알고리즘을 적용해 해결한다. 두 번째 접근법은 이중 귀납적 카운팅 기법을 이용한다. 그래프를 격자 형태로 임베딩하고, 각 간선에 가중치를 부여해 최소·최대 고유(min‑unique, max‑unique) 특성을 확보한다. 그런 뒤 RA97의 비결정적 카운터를 변형해, 각 단계 k에서 길이가 ≥k 인 최장 경로를 갖는 정점 집합 S_k와 그 크기 c_k, 그리고 총 길이 Σ_k 를 정확히 계산한다. 이 과정은 “Guess‑and‑Verify” 형태의 비결정적 절차를 사용하지만, max‑unique 성질 덕분에 올바른 추정값 M에 대해서만 하나의 실행 경로가 받아들여져 일관성을 보장한다. 최종적으로 이 두 알고리즘 모두 UL과 co‑UL에 속함을 증명함으로써, 평면 DAG에서 Long‑Path 문제의 복잡도가 Reachability와 Distance와 동등한 수준임을 확인한다. 또한 토러스 위에 임베딩 가능한 DAG에 대해 동일한 로그스페이스 결과가 적용됨을 Lemma 5와 Corollary 6을 통해 확장한다. 논문은 또한 시리즈‑패럴렐 그래프에서의 기존 결과와 연결해, 해당 서브클래스에서는 모든 세 문제가 L‑complete임을 언급한다. 전체적으로 이 연구는 평면 DAG라는 구조적 제약이 복잡도 경계를 크게 낮출 수 있음을 보여주며, 로그스페이스 내에서 최장 경로를 다루는 새로운 방법론을 제시한다.