{"title":"字典最小字符串旋转的量子算法","authors":"Qisheng Wang, Mingsheng Ying","doi":"10.1007/s00224-023-10146-8","DOIUrl":null,"url":null,"abstract":"Abstract 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})$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>n</mml:mi> <mml:mrow> <mml:mn>3</mml:mn> <mml:mo>/</mml:mo> <mml:mn>4</mml:mn> </mml:mrow> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> quantum query algorithm for LMSR. In particular, the algorithm has average-case query complexity $$O(\\sqrt{n} \\log n)$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo>(</mml:mo> <mml:msqrt> <mml:mi>n</mml:mi> </mml:msqrt> <mml:mo>log</mml:mo> <mml:mi>n</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> , which is shown to be asymptotically optimal up to a polylogarithmic factor, compared to its $$\\Omega \\left( \\sqrt{n/\\log n}\\right) $$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>Ω</mml:mi> <mml:mfenced> <mml:msqrt> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>/</mml:mo> <mml:mo>log</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:msqrt> </mml:mfenced> </mml:mrow> </mml:math> lower bound. Furthermore, we show that our quantum algorithm outperforms any (classical) randomized algorithms in both worst and average cases. As an application, it is used in benzenoid identification and disjoint-cycle automata minimization.","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"144 1","pages":"0"},"PeriodicalIF":0.6000,"publicationDate":"2023-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Quantum Algorithm for Lexicographically Minimal String Rotation\",\"authors\":\"Qisheng Wang, Mingsheng Ying\",\"doi\":\"10.1007/s00224-023-10146-8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract 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})$$ <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\"> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>n</mml:mi> <mml:mrow> <mml:mn>3</mml:mn> <mml:mo>/</mml:mo> <mml:mn>4</mml:mn> </mml:mrow> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> quantum query algorithm for LMSR. In particular, the algorithm has average-case query complexity $$O(\\\\sqrt{n} \\\\log n)$$ <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\"> <mml:mrow> <mml:mi>O</mml:mi> <mml:mo>(</mml:mo> <mml:msqrt> <mml:mi>n</mml:mi> </mml:msqrt> <mml:mo>log</mml:mo> <mml:mi>n</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> , which is shown to be asymptotically optimal up to a polylogarithmic factor, compared to its $$\\\\Omega \\\\left( \\\\sqrt{n/\\\\log n}\\\\right) $$ <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\"> <mml:mrow> <mml:mi>Ω</mml:mi> <mml:mfenced> <mml:msqrt> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>/</mml:mo> <mml:mo>log</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:msqrt> </mml:mfenced> </mml:mrow> </mml:math> lower bound. Furthermore, we show that our quantum algorithm outperforms any (classical) randomized algorithms in both worst and average cases. As an application, it is used in benzenoid identification and disjoint-cycle automata minimization.\",\"PeriodicalId\":22832,\"journal\":{\"name\":\"Theory of Computing Systems\",\"volume\":\"144 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-10-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Theory of Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s00224-023-10146-8\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theory of Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00224-023-10146-8","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 5
摘要
字典最小字符串旋转(LMSR)是一个在字典顺序的所有字符串旋转中找到最小值的问题,广泛应用于图、多边形、自动机和化学结构的相等性检验。本文提出了一种用于LMSR的$$O(n^{3/4})$$ O (n 3 / 4)量子查询算法。特别是,该算法具有平均情况下的查询复杂度$$O(\sqrt{n} \log n)$$ O (n log n),与其$$\Omega \left( \sqrt{n/\log n}\right) $$ Ω n / log n下界相比,它被证明是渐近最优的,直到一个多对数因子。此外,我们表明我们的量子算法在最差和平均情况下都优于任何(经典)随机化算法。作为一个应用,它被用于苯类识别和分离循环自动机最小化。
Quantum Algorithm for Lexicographically Minimal String Rotation
Abstract 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})$$ O(n3/4) quantum query algorithm for LMSR. In particular, the algorithm has average-case query complexity $$O(\sqrt{n} \log n)$$ O(nlogn) , which is shown to be asymptotically optimal up to a polylogarithmic factor, compared to its $$\Omega \left( \sqrt{n/\log n}\right) $$ Ωn/logn lower bound. Furthermore, we show that our quantum algorithm outperforms any (classical) randomized algorithms in both worst and average cases. As an application, it is used in benzenoid identification and disjoint-cycle automata minimization.
期刊介绍:
TOCS is devoted to publishing original research from all areas of theoretical computer science, ranging from foundational areas such as computational complexity, to fundamental areas such as algorithms and data structures, to focused areas such as parallel and distributed algorithms and architectures.