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

본 논문은 “Longest paths in Planar DAGs in Unambiguous Logspace”라는 제목으로, 평면 방향성 비순환 그래프(Planar DAG)에서 최장 경로(Long‑Path) 문제의 복잡도 위치를 명확히 규정한다. 서론에서는 Reachability, Distance, Long‑Path 세 문제의 일반적인 복잡도 차이를 정리하고, 특히 평면 DAG에서 Long‑Path의 복잡도가 아직 연구되지 않았음을 지적한다. 논문의 주요 결과는 Theorem 1으로, 평면 DAG에 대한 Long‑Path 문제가 UL ∩ co‑UL에 속한다는 것이다. 이를 증명하기 위해 두 개의 알고리즘이 제시된다. 첫 번째 알고리즘은 기존의 Distance 알고리즘을 활용한다. Lemma 7에 따라, 평면 DAG에서 Distance와 Long‑Path는 planar Reachability를 통해 상호 변환 가능함을 보인다. 구체적으로, 입력 그래프 G의 각 정점 u에 대해 전임 집합 P_u와 경계 간선 집합 E_u를 정의하고, 원래 간선 (u,v) 를 길이 l_uv = 2·(∑_{x∈V} outdeg(x)) − 1인 경로로 교체한다. 이 변환은 모든 s→t 경로의 길이를 2·|E| − |ρ| 로 뒤바꾸어, 최장 경로를 최단 경로 문제로 바꾼다. 변환 과정은 로그스페이스 내에서 Reachability 오라클에만 의존하므로, UL ∩ co‑UL 알고리즘을 그대로 적용할 수 있다. 따라서 Long‑Path는 Distance와 동등한 복잡도 클래스로 귀결된다. 두 번째 알고리즘은 이중 귀납적 카운팅 기법을 기반으로 한다. 먼저 그래프를 단일 소스·싱글 싱크 형태로 정제하고, 각 정점의 차수를 3 이하로 제한한다(차수 감소는 사이클을 도입하지 않는 특수 변형 사용). 그 후 ADR05의 평면 임베딩 기법을 적용해 격자 그래프 G′′ 로 변환하고, 각 가로·세로 간선에 가중치를 부여한다. 가중치 설계는 (l·n⁸) 구간 안에서 길이가 l인 모든 경로가 동일한 가중치 범위에 속하도록 하여, 최소·최대 경로가 각각 유일하게 보장되도록 만든다(즉, min‑unique 및 max‑unique 특성). 그 다음, RA97의 비결정적 카운터를 변형해, 단계 k마다 D(v)≥k 인 정점 집합 S_k와 그 크기 c_k, 그리고 Σ_k = Σ_{v∉S_k} D(v) 를 정확히 계산한다. 이때 “Guess‑and‑Verify” 절차를 사용해 전체 최장 경로 길이 M을 미리 추정하고, 각 단계에서 카운터와 합계를 업데이트한다. max‑unique 성질 덕분에 올바른 M에 대해서만 하나의 실행 경로가 받아들여져 일관성을 유지한다. 최종적으로 알고리즘은 UL ∩ co‑UL 내에서 최장 경로 길이를 결정한다. 논문은 또한 토러스 위에 임베딩 가능한 DAG에 대한 결과를 확장한다. Lemma 5에 따라 Torus‑Reachability는 planar Reachability로 로그스페이스 다대일 감소가 가능하므로, Corollary 6을 통해 Distance와 Long‑Path 문제 모두 toroidal DAG에서도 동일한 UL ∩ co‑UL 복잡도 경계를 갖는다. 추가로, 시리즈‑패럴렐 그래프에 대한 기존 연구(JT07)를 인용해, 해당 서브클래스에서는 Reach, Distance, Long‑Path가 모두 L‑complete임을 언급한다. 이는 본 논문의 결과가 보다 일반적인 평면 DAG에 대해 어떻게 확장되는지를 보여준다. 결론적으로, 본 연구는 평면 DAG라는 구조적 제한이 최장 경로 문제를 NL‑complete 수준에서 UL ∩ co‑UL 수준으로 낮출 수 있음을 증명한다. 두 가지 독립적인 알고리즘(거리 변환 기반과 이중 카운팅 기반)은 서로 다른 기술적 아이디어를 제공하며, 둘 다 로그스페이스 내에서 일관된(무모호한) 계산을 가능하게 한다. 이는 그래프 이론과 복잡도 이론 사이의 교차점에서 새로운 연구 방향을 제시하고, 향후 planar 혹은 toroidal 구조를 활용한 다른 최적화 문제에도 적용 가능성을 열어준다.