Abstract
In this work, we consider a well-known “Single Source Shortest Path Search” problems for weighted directed acyclic graphs (DAGs). We suggest a quantum algorithm with time complexity \(O(\sqrt {nm} \,\log \;n)\) and O(1/n) error probability, where n is a number of Vertexes, m is the number of edges. We use quantum dynamic programming approach (Khadiev, 2018) and Dürr and Høyer minimum search algorithm to speed up our search. Our algorithm is better than C. Dürr and coauthors’ quantum algorithm for an undirected graph. The time complexity of C. Dürr’s algorithm is \(O(\sqrt {nm} \,{(\log \;n)^2})\). The best known deterministic algorithm for the problem is based on a dynamic programming approach and its time complexity is O (n + m). At the same time, if we use algorithms for general graphs, then we do not get better results. The time complexity of best implementations of Dijkstra’s algorithm with Fibonacci heap is O (m + n log n).
Similar content being viewed by others
References
M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge Univ. Press, Cambridge, 2010).
A. Ambainis, “Understanding quantum algorithms via query complexity,” arXiv.2017.N 1712.06349.
A. C. C. Say and A. Yakarylmaz, “Quantum finite automata: a modern introduction,” Lect. Notec Comput. Sci. 8808, 208–222 (2014).
R. de Wolf, “Quantum computing and communication complexity,” PhDThesis(Univ.Amsterdam, Amsterdam, 2001).
S. Jordan, Quantum Algorithms Zoo. https://math.nist.gov/quantum/zoo.
A. C. C. Say and A. Yakarylmaz, “Quantum finite automata: a modern introduction,” Lect. Notec Comput. Sci. 8808, 208–222 (2014).
T. H. Cormen, C.E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2nd ed. (McGraw-Hill, New York, 2001).
G. S. Brodal, G. Lagogiannis, and R. E. Tarjan, “Strict Fibonacci heaps,” in Proceedings of the 44th Annual ACM Symposium on Theory of Computing STOC’12 (ACM, New York, 2012), pp. 1177–1184.
G. S. Brodal, “Worst-case efficient priority queues,” in Proceeding of 7th Annual ACM-SIAM Symposium SODA’96 on Discrete Algorithms (ACM-SIAM, New York-Philadelphia, 1996), pp. 52–58.
C. Dürr, M. Heiligman, P. Høyer, and M. Mhalla, “Quantum query complexity of some graph problems,” in Proceeding of International Colloquium on Automata, Languages, and Programming (Springer, 2004), pp. 481–493.
C. Dürr, M. Heiligman, P. Høyer, and M. Mhalla, “Quantum query complexity of some graph problems,” SIAM J. Comput. 35, 1310–1328 (2006).
C. Dürr and P. Høyer, “A quantum algorithm for finding the minimum,” quant-ph/9607014 (1996).
K. Khadiev, “Quantum dynamic programming algorithm for DAGs. Applications for AND-OR DAG evaluation and DAG’s diameter search,” arXiv:1804.09950 (2018).
A. Ambainis and R. Špalek, “Quantum algorithms for matching and network flows,” in Proceedings of the Annual Symposium on Theoretical Aspects of Computer Science (Springer, 2006), pp. 172–183.
S. Dürr, “Quantum algorithms for matching problems”, Theory Comput. Syst. 45, 613–629 (2009).
S. Dürr, “Quantum complexity of graph and algebraic problems,” PhD Thesis (Univ. Ulm, Ulm, 2008).
L. K. Grover, “A fast quantum mechanical algorithm for database search,” in Proceedings of the 28th annual ACM Symposium on Theory of Computing (ACM, New York, 1996) pp. 212–219.
R. Shankar, Principles of Quantum Mechanics (Springer, London, 2012).
Author information
Authors and Affiliations
Corresponding authors
Additional information
The article was translated by the authors.
About this article
Cite this article
Khadiev, K.R., Safina, L.I. Quantum Algorithm for Shortest Path Search in Directed Acyclic Graph. MoscowUniv.Comput.Math.Cybern. 43, 47–51 (2019). https://doi.org/10.3103/S0278641919010023
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0278641919010023