In this paper, we initiate the study of quantum algorithms in the Graph Drawing research area. We focus on two foundational drawing standards: 2-level drawings and book layouts. Concerning 2-level drawings, we consider the problems of obtaining drawings with the minimum number of crossings, k-planar drawings, quasi-planar drawings, and the problem of removing the minimum number of edges to obtain a 2-level planar graph. Concerning book layouts, we consider the problems of obtaining 1-page book layouts with the minimum number of crossings, book embeddings with the minimum number of pages, and the problem of removing the minimum number of edges to obtain an outerplanar graph. We explore both the quantum circuit and the quantum annealing models of computation. In the quantum circuit model, we provide an algorithmic framework based on Grover's quantum search, which allows us to obtain, at least, a quadratic speedup on the best classical exact algorithms for all the considered problems. In the quantum annealing model, we perform experiments on the quantum processing unit provided by D-Wave, focusing on the classical 2-level crossing minimization problem, demonstrating that quantum annealing is competitive with respect to classical algorithms.
Caroppo, S., Da Lozzo, G., Di Battista, G. (2024). Quantum Graph Drawing [Best Student Paper]. In WALCOM: Algorithms and Computation - 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024 (pp.32-46). 152 BEACH ROAD, #21-01/04 GATEWAY EAST, SINGAPORE, 189721, SINGAPORE : SPRINGER-VERLAG SINGAPORE PTE LTD [10.1007/978-981-97-0566-5_4].
Quantum Graph Drawing [Best Student Paper]
Caroppo, Susanna;Da Lozzo, Giordano
;Di Battista, Giuseppe
2024-01-01
Abstract
In this paper, we initiate the study of quantum algorithms in the Graph Drawing research area. We focus on two foundational drawing standards: 2-level drawings and book layouts. Concerning 2-level drawings, we consider the problems of obtaining drawings with the minimum number of crossings, k-planar drawings, quasi-planar drawings, and the problem of removing the minimum number of edges to obtain a 2-level planar graph. Concerning book layouts, we consider the problems of obtaining 1-page book layouts with the minimum number of crossings, book embeddings with the minimum number of pages, and the problem of removing the minimum number of edges to obtain an outerplanar graph. We explore both the quantum circuit and the quantum annealing models of computation. In the quantum circuit model, we provide an algorithmic framework based on Grover's quantum search, which allows us to obtain, at least, a quadratic speedup on the best classical exact algorithms for all the considered problems. In the quantum annealing model, we perform experiments on the quantum processing unit provided by D-Wave, focusing on the classical 2-level crossing minimization problem, demonstrating that quantum annealing is competitive with respect to classical algorithms.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.