Показать сокращенную информацию
dc.contributor.author | Ambainis A. | |
dc.contributor.author | Balodis K. | |
dc.contributor.author | Iraids J. | |
dc.contributor.author | Khadiev K. | |
dc.contributor.author | Kļevickis V. | |
dc.contributor.author | Prūsis K. | |
dc.contributor.author | Shen Y. | |
dc.contributor.author | Smotrovs J. | |
dc.contributor.author | Vihrovs J. | |
dc.date.accessioned | 2021-02-25T06:54:17Z | |
dc.date.available | 2021-02-25T06:54:17Z | |
dc.date.issued | 2020 | |
dc.identifier.issn | 1868-8969 | |
dc.identifier.uri | https://dspace.kpfu.ru/xmlui/handle/net/161416 | |
dc.description.abstract | © Nathalie Bertrand; licensed under Creative Commons License CC-BY 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). We study the quantum query complexity of two problems. First, we consider the problem of determining if a sequence of parentheses is a properly balanced one (a Dyck word), with a depth of at most k. We call this the Dyckk,n problem. We prove a lower bound of Ω(ck√n), showing that the complexity of this problem increases exponentially in k. Here n is the length of the word. When k is a constant, this is interesting as a representative example of star-free languages for which a surprising Õ(√n) query quantum algorithm was recently constructed by Aaronson et al. [1]. Their proof does not give rise to a general algorithm. When k is not a constant, Dyckk,n is not context-free. We give an algorithm with O(√n(log n)0.5k) quantum queries for Dyckk,n for all k. This is better than the trival upper bound n for k = o( loglog(n)/log n). Second, we consider connectivity problems on grid graphs in 2 dimensions, if some of the edges of the grid may be missing. By embedding the “balanced parentheses” problem into the grid, we show a lower bound of Ω(n1.5−ε) for the directed 2D grid and Ω(n2−ε) for the undirected 2D grid. The directed problem is interesting as a black-box model for a class of classical dynamic programming strategies including the one that is usually used for the well-known edit distance problem. We also show a generalization of this result to more than 2 dimensions. | |
dc.relation.ispartofseries | Leibniz International Proceedings in Informatics, LIPIcs | |
dc.subject | Dyck language | |
dc.subject | Grid path | |
dc.subject | Quantum algorithms | |
dc.subject | Quantum query complexity | |
dc.title | Quantum lower and upper bounds for 2D-grid and dyck language | |
dc.type | Conference Paper | |
dc.relation.ispartofseries-volume | 170 | |
dc.collection | Публикации сотрудников КФУ | |
dc.source.id | SCOPUS18688969-2020-170-SID85090508190 |