[논문 리뷰] Fast Classical and Quantum Algorithms for Online $k$-server Problem on Trees

Ruslan Kapralov, Kamil Khadiev외 3명|arXiv (Cornell University)|2020. 08. 01.

Quantum Computing Algorithms and Architecture참고 문헌 30인용 수 7

한 줄 요약

이 논문은 $O(n\log n)$ 전처리 시간과 $O(k^2 + k\log n)$의 요청당 시간을 가지는 트리에서의 온라인 $k$-서버 문제에 대한 고전적 알고리즘을 제안한다. 이는 요청당 $O(n)$이 필요한 난이도 높은 방법에 비해 크게 향상된 성능을 제공한다. 또한, 문자열 경로에 대한 양자 오라클 액세스를 사용할 때 요청당 $O(k^2\sqrt{n}\log n)$의 시간을 가지는 양자 알고리즘을 도입하여, 요청 수가 $o(\sqrt{n}/k^2)$일 경우 양자 가속을 달성한다.

ABSTRACT

We consider online algorithms for the $k$-server problem on trees. Chrobak and Larmore proposed a $k$-competitive algorithm for this problem that has the optimal competitive ratio. However, a naive implementation of their algorithm has $O(n)$ time complexity for processing each query, where $n$ is the number of nodes in the tree. We propose a new time-efficient implementation of this algorithm that has $O(n\log n)$ time complexity for preprocessing and $O\left(k^2 + k\cdot \log n ight)$ time for processing a query. We also propose a quantum algorithm for the case where the nodes of the tree are presented using string paths. In this case, no preprocessing is needed, and the time complexity for each query is $O(k^2\sqrt{n}\log n)$. When the number of queries is $o\left(\frac{\sqrt{n}}{k^2\log n} ight)$, we obtain a quantum speed-up on the total runtime compared to our classical algorithm. We also give a simple quantum algorithm to find the first marked element in a collection of $m$ objects, that works even in the presence of two-sided bounded errors on the input oracle. It has worst-case complexity $O(\sqrt{m})$. In the particular case of one-sided errors on the input, it has expected time complexity $O(\sqrt{x})$ where $x$ is the position of the first marked element. Compare with previous work, our algorithm can handle errors in the input oracle.

연구 동기 및 목표

• 트리에서의 $k$-서버 문제에 대한 Chrobak-Larmore의 $k$-competitive 알고리즘을 난이도 높은 방법으로 실행할 경우 요청당 $O(n)$의 시간이 소요되는 비효율성을 해결하기 위해.
• LCA와 이진 상승 기법을 사용하여 시간 효율적인 고전적 알고리즘을 설계하여 요청당 복잡도를 $O(k^2 + k\log n)$로 감소시키기 위해.
• 트리가 문자열 경로로 표현될 때, 하위선형 쿼리 복잡도를 가능하게 하는 양자 알고리즘을 개발하기 위해.
• 이전 연구에서 완벽한 오라클을 가정한 바에 비해, 오차가 있는 이원적 오라클을 다룰 수 있도록 양자 검색을 확장하기 위해.
• 양자 알고리즘이 고전적 알고리즘보다 총 실행 시간에서 가속을 달성할 수 있는 조건을 규명하기 위해.

제안 방법

• 고전적 알고리즘은 이진 상승을 통한 LCA 계산을 이용한 전처리를 사용하여, 신속한 조상 및 거리 쿼리 기능을 제공한다.
• LCA가 $O(\log n)$이고 MoveUp 연산이 $O(1)$인 데이터 구조를 지원하는 최적화된 Chrobak-Larmore 알고리즘의 수정 버전을 사용한다.
• 양자 알고리즘은 고전적 LCA를 양자 서브루틴인 QLCP로 대체하며, 이는 앰플리튜드 증폭을 사용하여 두 문자열 경로의 최장 공통 접두어를 계산한다.
• QLCP는 두측 경계 오차를 가진 오라클 조건 하에서도 첫 번째 마킹된 요소를 찾는 강력한 양자 검색 알고리즘에 기반한다.
• 오류 확률을 $O(1/n^3)$으로 줄이기 위해 FindFirst를 반복 호출하고, 다수결 투표를 사용한다.
• 전체적으로 요청당 양자 복잡도는 $O(k^2\sqrt{n}\log n)$이며, 문자열 경로 오라클을 사용할 경우 전처리가 필요하지 않다.

실험 결과

연구 질문

• RQ1 트리에서의 Chrobak-Larmore $k$-competitive 알고리즘은 요청당 하위선형 시간 복잡도로 구현될 수 있는가?
• RQ2 트리가 문자열 경로로 표현되고 오라클 액세스가 가능한 경우, $k$-서버 문제에 대해 양자 가속을 달성할 수 있는가?
• RQ3 오라클이 이원적 경계 오차를 가질 경우, 첫 번째 마킹된 요소를 찾는 데 양자 검색을 어떻게 적응시킬 수 있는가?
• RQ4 요청 수가 적을 경우, 양자 알고리즘이 고전적 알고리즘보다 총 실행 시간에서 어떤 이점이 있는가?
• RQ5 전처리 없이 오직 경로 정보에 대한 양자 오라클 액세스에 의존하여 양자 알고리즘을 설계할 수 있는가?

주요 결과

• 고전적 알고리즘은 요청당 시간 복잡도를 $O(n)$에서 $O(k^2 + k\log n)$로 감소시키며, 전처리 시간은 $O(n\log n)$이다.
• 양자 알고리즘은 요청당 $O(k^2\sqrt{n}\log n)$의 시간에 처리되며, 오류 확률은 $O(1/n)$이며, 오직 문자열 경로 오라클 액세스만 필요하다.
• 요청 수가 $o(\sqrt{n}/k^2)$일 경우, 양자 알고리즘이 고전적 알고리즘보다 총 실행 시간에서 가속을 달성한다.
• 두측 경계 오차 조건 하에서도 $O(\sqrt{m})$의 최악의 쿼리 복잡도를 가지는 새로운 양자 검색 알고리즘을 제안한다.
• 양자 LCP 서브루틴인 QLCP는 오류 확률 $O(1/m^3)$로 $O(\sqrt{m}\log m)$ 시간 내에 실행되며, 트리 구조 내 경로 비교를 효율적으로 가능하게 한다.
• 제안된 양자 알고리즘은 전처리가 필요 없어, 동적 또는 스트리밍 트리 환경에 적합하다.