[논문 리뷰] On Advice Complexity of the k-server Problem under Sparse Metrics

Sushmita Gupta, Shahin Kamali외 1명|arXiv (Cornell University)|2013. 05. 09.

Optimization and Search Problems참고 문헌 19인용 수 11

한 줄 요약

이 논문은 희박한 거리 공간에서 k-서버 문제의 조언 복잡도를 조사하며, 단순한 경로조차도 1-경쟁성 달성을 위해 Ω(n) 비트의 조언이 필요하다는 것을 보이고, 트리 너비 α인 그래프에서는 O(n(log α + log log N)) 비트의 조언을 사용해 일정 경쟁비를 달성하는 알고리즘을 제시한다. 스파너 기반 전략을 통해 날카로운 경계를 확립하고, 평면, AT-free, 그리고 순환 그래프에 적용하여 O(n log log N) 조언을 사용해 3-경쟁성 알고리즘을 도출한다.

ABSTRACT

We consider the k-server problem under the advice model of computation when the underlying metric space is sparse. On one side, we show that an advice of size Ω(n) is required to obtain a 1-competitive algorithm for sequences of size n, even for the 2-server problem on a path metric of size N >= 5. Through another lower bound argument, we show that at least (n/2)(log α - 1.22) bits of advice is required to obtain an optimal solution for metric spaces of treewidth α, where 4 <= α < 2k. On the other side, we introduce Θ(1)-competitive algorithms for a wide range of sparse graphs, which require advice of (almost) linear size. Namely, we show that for graphs of size N and treewidth α, there is an online algorithm which receives $O(n (log α + log log N))$ bits of advice and optimally serves a sequence of length n. With a different argument, we show that if a graph admits a system of μ collective tree (q,r)-spanners, then there is a (q+r)-competitive algorithm which receives O(n (log μ + log log N)) bits of advice. Among other results, this gives a 3-competitive algorithm for planar graphs, provided with O(n log log N) bits of advice.

연구 동기 및 목표

• 희박한 거리 공간에서 k-서버 문제에 대해 1-경쟁성 온라인 알고리즘을 달성하기 위해 필요한 최소 조언 크기를 규명하는 것.
• 트리 너비 α인 경로와 일반적인 거리 공간에서 2-서버 문제에 대한 조언 복잡도의 하한을 설정하는 것.
• 희박한 그래프에서 일정 경쟁비를 달성하면서도 조언 크기가 작은 효율적인 온라인 알고리즘을 설계하는 것.
• 집합적 트리 스파너가 낮은 조언 크기와 일정 경쟁비를 동시에 달성하는 데 기여하는 방식을 탐색하는 것.
• 특정 그래프 가족, 예를 들어 평면, AT-free, 순환, 유닛 디스크 그래프 등으로 조언 복잡도 결과를 확장하는 것.

제안 방법

• 경로와 트리 너비 α ≥ 4인 거리 공간에서 1-경쟁성 달성을 위해 Ω(n) 비트의 조언이 필요하다는 하한을 증명한다.
• 최적의 서버 이동을 트리 근사치를 통해 시뮬레이션하기 위해 집합적 트리 (q,r)-스파너를 활용하는 프레임워크를 도입한다.
• 요청당 O(log μ + log log N) 비트의 조언을 사용해 최적의 스파너를 선택하고 트리상의 올바른 서버 위치를 식별한다.
• 스파너 트리에서 트리 분해와 최소 공통 조상(LCA) 쿼리를 활용해 서버를 효율적으로 라우팅한다.
• 고양이 떨어진 분해(caterpillar decomposition)를 활용해 특정 경우에 요청당 조언 크기를 O(log log N) 비트로 줄인다.
• 스파너 트리상에서 서버를 이동시켜 최적의 오프라인 경로를 모방하는 k-서버 알고리즘을 구축하며, (q+r)-경쟁성을 달성한다.

실험 결과

연구 질문

• RQ1 희박한 거리 공간에서 k-서버 문제에 대해 1-경쟁성을 달성하기 위해 필요한 최소 조언 크기는 얼마인가?
• RQ2 그래프의 트리 너비가 k-서버 문제의 조언 복잡도에 어떤 영향을 미치는가?
• RQ3 집합적 트리 스파너를 사용해 낮은 조언 크기와 일정 경쟁비를 동시에 달성하는 k-서버 알고리즘을 설계할 수 있는가?
• RQ4 평면, AT-free, 순환 그래프에서 k-서버 문제의 조언 복잡도는 얼마인가?
• RQ5 조언 크기를 선형 이하 또는 근사 선형 수준으로 줄일 수 있을까? 이때도 일정 경쟁비를 유지할 수 있는가?

주요 결과

• 크기 N ≥ 5인 경로에서 2-서버 문제에 대해 1-경쟁성을 달성하기 위해 최소 Ω(n) 비트의 조언이 필요하다.
• 트리 너비 α인 거리 공간에서 최적성을 달성하기 위해 최소 n/2(log α − 1.22) 비트의 조언이 필요하며, 여기서 4 ≤ α < 2k이다.
• 크기 N, 트리 너비 α인 그래프에 대해 O(n(log α + log log N))-비트 조언 알고리즘이 1-경쟁성을 달성한다.
• μ개의 집합적 트리 (q,r)-스파너를 갖는 그래프에 대해 O(n(log μ + log log N))-비트 조언 알고리즘이 (q+r)-경쟁성을 달성한다.
• 평면 그래프의 경우, O(n log log N) 비트의 조언을 사용해 3-경쟁성 알고리즘이 존재하며, 이는 평면 그래프가 O(log N) 개의 집합적 (3,0)-스파너를 갖기 때문이다.
• 동일한 조언 크기(O(n log log N))는 AT-free, 순환, 유닛 디스크 그래프에도 적용되며, 각각 3-경쟁성 및 15-경쟁성 알고리즘을 도출한다.