Near-Optimal Quantum Algorithms for String Problems
Name
453_2022_Article_1092.pdf
Size
1.1 MB
Format
Adobe PDF
Checksum (MD5)
ffd5b5b9360aff629726bcbd82f9b485
Author(s)
Akmal, Shyan
Jin, Ce
Date Issued
January 27, 2023
Publisher
Springer US
Citation
Akmal, Shyan and Jin, Ce. 2023. "Near-Optimal Quantum Algorithms for String Problems."
Version
Final published version
Abstract
Abstract
We study quantum algorithms for several fundamental string problems, including Longest Common Substring, Lexicographically Minimal String Rotation, and Longest Square Substring. These problems have been widely studied in the stringology literature since the 1970s, and are known to be solvable by near-linear time classical algorithms. In this work, we give quantum algorithms for these problems with near-optimal query complexities and time complexities. Specifically, we show that: Longest Common Substring can be solved by a quantum algorithm in
$$\tilde{O}(n^{2/3})$$
O
~
(
n
2
/
3
)
time, improving upon the recent
$$\tilde{O}(n^{5/6})$$
O
~
(
n
5
/
6
)
-time algorithm by Le Gall and Seddighin (in: Proceedings of the 13th innovations in theoretical computer science conference (ITCS 2022), pp 97:1–97:23, 2022.
https://doi.org/10.4230/LIPIcs.ITCS.2022.97
). Our algorithm uses the MNRS quantum walk framework, together with a careful combination of string synchronizing sets (Kempa and Kociumaka, in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing (STOC 2019), ACM, pp 756–767, 2019.
https://doi.org/10.1145/3313276.3316368
) and generalized difference covers. Lexicographically Minimal String Rotation can be solved by a quantum algorithm in
$$n^{1/2 + o(1)}$$
n
1
/
2
+
o
(
1
)
time, improving upon the recent
$$\tilde{O}(n^{3/4})$$
O
~
(
n
3
/
4
)
-time algorithm by Wang and Ying (in: Quantum algorithm for lexicographically minimal string rotation. CoRR, 2020.
arXiv:2012.09376
). We design our algorithm by first giving a new classical divide-and-conquer algorithm in near-linear time based on exclusion rules, and then speeding it up quadratically using nested Grover search and quantum minimum finding. Longest Square Substring can be solved by a quantum algorithm in
$$\tilde{O}(\sqrt{n})$$
O
~
(
n
)
time. Our algorithm is an adaptation of the algorithm by Le Gall and Seddighin (2022) for the Longest Palindromic Substring problem, but uses additional techniques to overcome the difficulty that binary search no longer applies. Our techniques naturally extend to other related string problems, such as Longest Repeated Substring, Longest Lyndon Substring, and Minimal Suffix.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s00453-022-01092-x
