이중최단경로 문제의 복잡도 분석

초록

**
본 논문은 리더와 팔로워가 각각 그래프의 일부 간선을 통제하며 두 정점 사이의 경로를 공동으로 구축하는 이중(바이레벨) 최단경로 문제를 정의하고, 방향 그래프·무방향 그래프·DAG에 대해 강·약 경로 완성 두 형태를 구분하여 복잡도 클래스를 완전하게 분류한다. 강 경로 완성에서는 팔로워의 문제 자체가 NP‑hard이며, 리더의 최적화는 Σ₂^P‑complete가 된다. 약 경로 완성에서는 두 단계 모두 NP‑complete 수준에 머문다. DAG에서는 상황이 뒤바뀌어 강 경로 완성은 다항시간 알고리즘이 존재하지만 약 경로 완성은 여전히 NP‑hard이다. 또한 리더가 제어할 간선 수가 상수인 경우 일부 변형이 shortest‑k‑cycle 문제와 동등함을 보이며, 무작위 다항시간 알고리즘 존재와 결정적 알고리즘 가능성 사이의 관계를 제시한다.

**

상세 분석

**
이 논문은 기존의 단일 레벨 최단경로 문제에 두 단계의 의사결정자를 도입함으로써, 복합적인 전략적 상호작용을 모델링한다. 리더는 자신의 소유 간선 집합 Eℓ 에서 일부를 선택하고, 그 선택에 따라 팔로워는 자신의 소유 간선 Ef 중에서 추가 선택을 해야 한다. 두 플레이어는 각각 독립적인 비용 함수 c (리더)와 d (팔로워)를 가지고 전체 경로 X∪Y 의 비용을 최소화한다는 점에서, 전통적인 최단경로와는 근본적으로 다른 구조를 가진다.

문제 정의는 ‘강 경로 완성(Strong Path Completion)’과 ‘약 경로 완성(Weak Path Completion)’이라는 두 가지 제약을 두고 있다. 강 완성에서는 리더가 선택한 모든 간선이 최종 s‑t 경로에 반드시 포함되어야 하므로, 팔로워는 리더의 선택을 강제로 따르는 형태가 된다. 이는 팔로워가 사전 지정된 간선 집합을 포함하는 경로를 찾아야 함을 의미하며, 이는 Hamiltonian Path와 유사한 구조적 어려움을 내포한다. 실제로 논문은 이 경우 팔로워의 문제 자체가 NP‑hard임을 보이며, 리더가 최적의 선택을 예측해야 하는 상위 단계는 Σ₂^P‑complete로 귀결한다. Σ₂^P는 NP와 co‑NP 사이의 두 번째 레벨에 해당하는 복잡도 클래스로, 다항시간 내에 NP‑oracle를 호출해야 해결될 수 있음을 의미한다. 따라서 이 변형은 기존의 이중 최적화 문제 중에서도 특히 난이도가 높은 편에 속한다.

반면 약 완성에서는 팔로워가 리더의 선택을 무시하고 자신에게 가장 유리한 경로만을 구성할 수 있다. 이 경우 팔로워는 단순히 자신의 비용 d 만을 최소화하면 되므로, 문제는 전형적인 최단경로와 동일한 다항시간 알고리즘을 적용할 수 있다. 리더는 팔로워가 선택할 최적 경로를 예측해 자신의 비용 c 를 최소화해야 하지만, 이 단계는 NP‑complete 수준에 머문다. 즉, 강 완성에 비해 한 단계 낮은 복잡도 클래스로 분류된다.

특히 DAG(Directed Acyclic Graph)에서의 결과가 흥미롭다. 강 완성에서는 사이클이 없기 때문에, 사전 지정된 간선을 포함하는 경로를 찾는 문제가 위상 정렬과 동적 계획법을 이용해 다항시간에 해결 가능함을 보인다. 반면 약 완성에서는 팔로워가 리더의 선택을 무시하고 최적 경로를 찾는 과정이 여전히 NP‑hard이며, 이는 DAG에서도 경로 선택이 복잡하게 얽힐 수 있음을 보여준다.

또한 논문은 리더가 제어할 간선 수 |Eℓ| 가 상수인 경우를 별도로 분석한다. 이 제한 하에서는 문제를 ‘shortest‑k‑cycle’ 문제와 동등하게 변환할 수 있음을 증명한다. shortest‑k‑cycle 문제는 현재도 복잡도 측면에서 완전히 해결되지 않은 유명한 문제이며, 특히 무작위 다항시간 알고리즘이 존재하지만 결정적 알고리즘으로의 전환 여부가 미지수이다. 논문은 이와 같은 등가성을 이용해, 리더가 제한된 수의 간선만을 선택할 때는 무작위 알고리즘을 통해 근사해를 얻을 수 있고, 결정적 알고리즘이 존재한다면 그 역시 가능하다는 상호 의존 관계를 제시한다.

전반적으로 이 연구는 이중 최적화 구조가 그래프 기반 문제에 어떻게 복잡성을 급격히 상승시키는지를 체계적으로 보여준다. 복잡도 구분표(Table 1)와 각 정리(정리 7, 9, 10, 13, 14 등)를 통해 강·약 완성, 방향성, DAG 여부에 따른 복잡도 차이를 명확히 제시하고, Σ₂^P‑complete 수준의 결과를 최초로 제시함으로써 이중 조합 최적화 분야에 중요한 이정표를 제공한다.

**