Fast Classical and Quantum Algorithms for Online $k$-server Problem on Trees

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 k 2 + k • log n 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 √ n log n). When the number of queries is o√ n k 2 log n , we obtain a quantum speedup on the total runtime compared to our classical algorithm. Our algorithm builds on a result of independent interest: we give a 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( √ m). In the particular case of one-sided errors on the input, it has expected time complexity O( √ x)where x is the position of the first marked element.

Quantum and Classical Log-Bounded Automata for the Online Disjointness Problem

“…At the same time, researchers develop online algorithms with different types of restrictions. Some of them are restrictions on memory [5][6][7][8][9][10][11], other ones are restrictions on time complexity [12][13][14]. Often, an algorithm with restricted resources is closer to real-world applications.…”