강인한 최소절단과 최단경로를 위한 향상된 근사 알고리즘

초록

본 논문은 두 단계 강인 최적화 모델에서 최소절단과 최단경로 문제에 대해 각각 2배와 (γ+2)배 근사 알고리즘을 제시한다. 기존의 (1+√2)와 2(γ+2) 근사비와 비교해 개선된 비율을 달성하며, 특히 최단경로 알고리즘은 구현이 간단하고 효율적이다.

상세 분석

두 단계 강인 최적화는 첫 단계에서 부분 해를 선택하고, 이후 적대적 상황이 최악의 시나리오를 고른 뒤 두 번째 단계에서 비용이 더 큰 비용계수로 부족분을 보완한다는 구조를 가진다. 이때 목표는 두 단계에서 발생하는 총비용을 최소화하는 것이다. 논문은 먼저 강인 최소절단(robust min‑cut) 문제를 다루며, 기존 연구(Golovin·Goyal·Ravi, STACS 2006)에서 제시한 (1+√2)‑근사 알고리즘을 2‑근사로 개선한다. 핵심 아이디어는 첫 단계에서 모든 요구 쌍에 대해 최소절단값의 상한을 추정하고, 이를 기반으로 ‘가장 비용이 큰’ 절단을 선택해 첫 단계에 포함시키는 것이다. 이후 적대적 시나리오가 선택되면, 남은 그래프에 대해 기존의 최소절단 알고리즘을 적용하면 전체 비용이 2배 이내에 제한된다.

다음으로 강인 최단경로(robust shortest‑path) 문제에 대해선, 스테인러트리 근사비 γ를 이용해 (γ+2)‑근사를 얻는다. 여기서는 먼저 첫 단계에서 모든 요구 정점들을 포함하는 최소 스테인러트리를 근사적으로 구하고, 그 트리 위에서 각 요구 정점까지의 최단경로를 선택한다. 두 번째 단계에서는 적대적 시나리오가 선택한 특정 정점에 대해, 이미 선택된 트리와 첫 단계에서 확보한 경로를 결합해 전체 경로를 완성한다. 이때 추가 비용은 스테인러트리 근사비 γ와 두 단계 간 비용 차이 2를 합한 만큼만 발생한다. 중요한 점은 기존의 복잡한 ‘요구‑강인’ 기법을 사용하지 않고, 단순히 스테인러트리와 최단경로의 조합만으로 동일하거나 더 나은 근사비를 달성한다는 것이다.

알고리즘의 시간 복잡도는 각각 최소절단을 위한 Gomory‑Hu 트리 구축(O(n·m log n))와 스테인러트리 근사를 위한 기존의 (1+ln k)‑근사 알고리즘을 활용해 다항시간 내에 해결 가능하다. 또한, 증명 과정에서 라그랑주 이중성 및 교차점(covering) 기법을 활용해 두 단계 비용의 상한을 엄격히 제어한다. 이러한 접근은 강인 최적화 문제에서 전통적으로 사용되던 ‘시나리오 분할’·‘가중치 확대’ 기법보다 구조가 단순하고 구현이 용이하다는 장점을 제공한다.

전반적으로 논문은 강인 최소절단과 최단경로 문제에 대해 기존 최선 근사비를 크게 개선하고, 특히 최단경로에 대해서는 알고리즘 설계와 분석을 단순화함으로써 실용적인 적용 가능성을 높였다.