[논문 리뷰] Approximating the shortest path problem with scenarios

Adam Kasperski, Paweł Zieliński|arXiv (Cornell University)|2018. 06. 23.

Complexity and Algorithms in Graphs참고 문헌 29인용 수 3

한 줄 요약

이 논문은 다수의 비용 시나리오 하에서 최소-최대 최단경로 및 최소 스패닝 트리 문제에 대한 결정적 근사 알고리즘을 제시한다. 유계 차수 또는 평면 그래프에서는 최단경로 문제에 대해 $ O(\bigtriangledown{n\log K/\log\log K}) $-근사, 스패닝 트리 문제에 대해 $ O(\log n \log K / \log\log K) $-근사 성능을 달성하며, 일반 그래프에 대해서는 랜덤화된 $ O(\log n) $-근사 알고리즘을 제안하여 이전의 한계를 향상시킨다.

ABSTRACT

This paper discusses the shortest path problem in a general directed graph with $n$ nodes and $K$ cost scenarios (objectives). In order to choose a solution, the min-max criterion is applied. The min-max version of the problem is hard to approximate within $Ω(\log^{1-ε} K)$ for any $ε>0$ unless NP$\subseteq ext{DTIME}(n^{ ext{polylog} \,n})$ even for arc series-parallel graphs and within $Ω(\log n/\log\log n)$ unless NP$\subseteq ext{ZPTIME}(n^{\log\log n})$ for acyclic graphs. The best approximation algorithm for the min-max shortest path problem in general graphs, known to date, has an approximation ratio of~$K$. In this paper, an $\widetilde{O}(\sqrt{n})$ flow LP-based approximation algorithm for min-max shortest path in general graphs is constructed. It is also shown that the approximation ratio obtained is close to an integrality gap of the corresponding flow LP relaxation.

연구 동기 및 목표

• 다수의 비용 시나리오 하에서 최소-최대 네트워크 문제의 계산 복잡도를 다루기.
• 시나리오 수 $ K $ 가 유계가 아닐 경우 최소-최대 최단경로 및 최소 스패닝 트리 문제에 대한 개선된 근사 알고리즘 개발.
• 이러한 강건 최적화 문제의 기존 근사 비율과 알려진 근사 불가능성 한계 사이의 격차를 좁히기.
• 성능 보장이 명확하고 $ n $ 및 $ K $ 와 함께 효율적으로 확장 가능한 알고리즘 제공.

제안 방법

• 최소-최대 최단경로 및 최소 스패닝 트리 문제를 $ K $ 개의 서로 다른 비용 시나리오를 가진 강건 최적화 문제로 수식화한다.
• 모든 시나리오에 걸친 최악의 비용을 모델링하기 위해 시나리오 기반 제약 조건을 갖는 선형계획법(LP) 타월을 사용한다.
• 랜덤화된 LP 해를 기반으로 한 결정적 라운딩 절차를 설계하며, 실패 확률을 제어하기 위해 체르노프-후프딩 불등식을 활용한다.
• 성분 수 감소 분석을 통해 높은 확률로 연결성을 확보하는 다중 라운드 간선 샘플링 과정을 적용한다.
• 모든 시나리오에서 샘플된 해의 비용이 LP 최적해에서 벗어나지 않는 정도를 농도 불등식을 통해 근사한다.
• 경계 기반 샘플링 기법을 도입하여, 간선 포함 확률을 LP 해로부터 유도함으로써 비용과 연결성의 균형을 맞춘다.

실험 결과

연구 질문

• RQ1 기존의 $ K $-근사 이외에 최소-최대 최단경로 문제에 대해 더 나은 결정적 근사 비율을 달성할 수 있는가?
• RQ2 일반 그래프에서 최소-최대 스패닝 트리 문제의 최적 근사 비율은 무엇이며, 이를 결정적으로 달성할 수 있는가?
• RQ3 근사 비율은 해당 LP 타월의 정수화 간극과 어떻게 관련되어 있는가?
• RQ4 랜덤화된 라운딩 기법을 어떻게 변형하여 최악의 시나리오 비용 하에서 스패닝 트리 구축 시 높은 확률로 연결성을 보장할 수 있는가?

주요 결과

• 최소-최대 최단경로 문제에 대해 결정적 $ O(\sqrt{n\log K/\log\log K}) $-근사 알고리즘을 개발하였다.
• 평균 차수 유계 또는 평면 그래프인 경우 최소-최대 스패닝 트리 문제에 대해 결정적 $ O(\log n \log K / \log\log K) $-근사 비율을 확보하였다.
• 일반 그래프에서 최소-최대 스패닝 트리 문제에 대해 높은 성공 확률을 가진 랜덤화된 $ O(\log n) $-근사 알고리즘을 구축하였다.
• 달성된 근사 비율이 기초가 되는 LP 타월의 정수화 간극에 매우 가까운 것으로 확인되었다.
• 유효한 스패닝 트리가 구성되지 않을 확률이 최대 $ 1/n^2 $ 이하임을 분석을 통해 확인하여 높은 신뢰성을 입증하였다.
• 관련 문제로의 감소 분석을 통해 이러한 강건 네트워크 문제에서 근사 비율에 포함된 $ \sqrt{n} $ 요소가 본질적일 수 있음을 시사한다.