Quantum Algorithm for Lexicographically Minimal String Rotation

12/17/2020
by   Qisheng Wang, et al.
0

Lexicographically minimal string rotation (LMSR) is a problem to find the minimal one among all rotations of a string in the lexicographical order, which is widely used in equality checking of graphs, polygons, automata and chemical structures. In this paper, we propose an O(n^3/4) quantum query algorithm for LMSR. In particular, the algorithm has average-case query complexity O(√(n)log n), which is shown to be asymptotically optimal up to a polylogarithmic factor, compared with its Ω(√(n/log n)) lower bound. Furthermore, we claim that our quantum algorithm outperforms any (classical) randomized algorithms in both worst-case and average-case query complexities by showing that every (classical) randomized algorithm for LMSR has worst-case query complexity Ω(n) and average-case query complexity Ω(n/log n). Our quantum algorithm for LMSR is developed in a framework of nested quantum algorithms, based on two new results: (i) an O(√(n)) (optimal) quantum minimum finding on bounded-error quantum oracles; and (ii) its O(√(n log(1/ε))) (optimal) error reduction. As a byproduct, we obtain some better upper bounds of independent interest: (i) O(√(N)) (optimal) for constant-depth MIN-MAX trees on N variables; and (ii) O(√(n log m)) for pattern matching which removes polylog(n) factors.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/17/2022

A Note on Quantum Divide and Conquer for Minimal String Rotation

Lexicographically minimal string rotation is a fundamental problem on st...
research
08/17/2022

Node and Edge Averaged Complexities of Local Graph Problems

The node-averaged complexity of a distributed algorithm running on a gra...
research
08/01/2020

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

We consider online algorithms for the k-server problem on trees. Chrobak...
research
03/16/2021

Space efficient quantum algorithms for mode, min-entropy and k-distinctness

We study the problem of determining if the mode of the output distributi...
research
10/12/2022

Quantum divide and conquer

The divide-and-conquer framework, used extensively in classical algorith...
research
06/21/2018

Instance-Optimality in the Noisy Value-and Comparison-Model --- Accept, Accept, Strong Accept: Which Papers get in?

Motivated by crowdsourced computation, peer-grading, and recommendation ...
research
09/23/2019

Quantum Query-to-Communication Simulation Needs a Logarithmic Overhead

Buhrman, Cleve and Wigderson (STOC'98) observed that for every Boolean f...

Please sign up or login with your details

Forgot password? Click here to reset