거의 보수적인 방향 그래프의 최단 경로 문제

초록

본 논문은 모든 음의 사이클이 두 개의 호만으로 이루어지는 ‘거의 보수적(near‑conservative)’ 가중치 다이그래프에서 모든 정점 쌍 사이의 최단 경로를 구하는 문제를 다룬다. 이 문제는 일반적으로 NP‑hard이며, 그래프가 거의 보수적인지 판별하는 일조차 coNP‑complete이다. 저자는 그래프 구조에 기반한 여러 파라미터(k₀, k₁, k₂)를 이용해 APSP 문제를 고정‑파라미터 트랙터블(FPT) 알고리즘으로 해결한다. 특히 k₂에 대한 2^{k₂}·n⁴ 시간 알고리즘을 제시하고, 이를 혼합 그래프(양방향·무방향 에지 혼합)에도 적용한다.

상세 분석

논문은 먼저 ‘음의 트리(negative tree)’라는 개념을 도입한다. 이는 양방향 호가 동시에 존재하고 그 가중치 합이 음수인 정점 쌍을 무방향 간선으로 보는 그래프 F를 구성하고, F가 사이클을 포함하면 원 그래프 D는 거의 보수적일 수 없다는 사실을 이용한다. 따라서 F가 포레스트일 경우에만 문제를 진행할 수 있다. 음의 트리는 F의 비자명한 연결 성분이며, 그 개수를 k₀, 강하게 연결된 성분당 최대 개수를 k₁, 약하게 2‑연결된 블록당 최대 개수를 k₂라 정의한다.

핵심 아이디어는 음의 트리 내부에서는 최단 경로가 반드시 트리 내부의 특수 호만을 따라가며, 트리 외부와 연결되는 구간은 ‘느슨한 호(loose arc)’라 부르는 추가 호로 대체할 수 있다는 점이다. 이를 정리한 Lemma 3·4는 트리 내부·외부 경로를 분리하고, 트리 외부의 거리 조건 d′(u,v) ≥ –d_T(v,u) 를 만족하면 전체 그래프가 거의 보수적임을 보장한다.

알고리즘 설계는 다음과 같다. 먼저 특수 호와 그 반대 호를 이용해 느슨한 호를 추가해 D′를 만든다. 그런 다음 음의 트리 개수가 하나인 경우(특히 트리가 전체 정점을 포함하거나 부분 집합인 경우)에는 O(n²) 혹은 O(n³) 시간에 모든 쌍의 거리를 계산한다. 다수의 음의 트리가 존재할 때는 각 트리를 ‘활성/비활성’ 상태로 두고, 트리 선택에 따라 거리 제한을 만족하는지 검사한다. 이때 트리 선택은 2^{k₀} 혹은 2^{k₂} 경우의 수만큼 탐색하면 되므로 전체 복잡도는 O(2^{k₀}·n⁴) 혹은 O(2^{k₂}·n⁴) 가 된다.

또한, 알고리즘은 실제 최단 경로 자체를 복원하는 절차도 포함한다. 특수 호와 느슨한 호를 이용해 만든 ‘보조 그래프’에서 전통적인 Dijkstra 혹은 Bellman‑Ford를 적용하고, 트리 내부 구간은 사전 계산된 트리 거리 표를 참조한다.

마지막으로, 이 결과를 혼합 그래프에 바로 적용할 수 있음을 보인다. 무방향 에지를 양방향 호 두 개로 변환하면 거의 보수적 가중치 함수와 동등한 형태가 되므로, 기존의 혼합 그래프에서 음의 사이클 탐지와 최단 경로 문제도 동일한 파라미터화된 복잡도로 해결된다.

이 논문은 거의 보수적 가중치 함수라는 새로운 그래프 클래스에 대한 구조적 이해를 제공하고, 파라미터화된 알고리즘 설계 기법을 통해 NP‑hard 문제를 실용적인 입력 크기와 제한된 트리 구조 하에서 효율적으로 해결할 수 있음을 증명한다.