Quantum Algorithms for Graph Coloring and Other Partitioning, Covering, and Packing Problems

Authors Serge Gaspers , Jerry Zirui Li



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2024.69.pdf
  • Filesize: 0.77 MB
  • 20 pages

Document Identifiers

Author Details

Serge Gaspers
  • UNSW Sydney, Australia
Jerry Zirui Li
  • James Ruse Agricultural High School, Carlingford, Australia
  • UNSW Sydney, Australia

Cite AsGet BibTex

Serge Gaspers and Jerry Zirui Li. Quantum Algorithms for Graph Coloring and Other Partitioning, Covering, and Packing Problems. In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 297, pp. 69:1-69:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ICALP.2024.69

Abstract

Let U be a universe on n elements, let k be a positive integer, and let ℱ be a family of (implicitly defined) subsets of U. We consider the problems of partitioning U into k sets from ℱ, covering U with k sets from ℱ, and packing k non-intersecting sets from ℱ into U. Classically, these problems can be solved via inclusion-exclusion in 2ⁿ n^O(1) time [Andreas Björklund et al., 2009]. Quantumly, there are faster algorithms for graph coloring with running time O(1.9140ⁿ) [Kazuya Shimizu and Ryuhei Mori, 2022] and for Set Cover with a small number of sets with running time O(1.7274ⁿ |ℱ|^O(1)) [Andris Ambainis et al., 2019]. In this paper, we give a quantum speedup for Set Partition, Set Cover, and Set Packing whenever there is a classical enumeration algorithm that lends itself to a quadratic quantum speedup, which, for any subinstance on a set X ⊆ U, enumerates at least one member of a k-partition, k-cover, or k-packing (if one exists) restricted to (or projected onto, in the case of k-cover) the set X in c^|X| n^O(1) time with c < 2. Our bounded-error quantum algorithm runs in time (2+c)^{n/2} n^O(1) for Set Partition, Set Cover, and Set Packing. It is obtained by combining three algorithms that have the best running time for some values of c. When c ≤ 1.147899, our algorithm is slightly faster than (2+c)^{n/2} n^O(1); when c approaches 1, it matches the O(1.7274ⁿ |ℱ|^O(1)) running time of [Andris Ambainis et al., 2019] for Set Cover when |ℱ| is subexponential in n. For covering, packing, and partitioning into maximal independent sets, maximal cliques, maximal bicliques, maximal cluster graphs, maximal triangle-free graphs, maximal cographs, maximal claw-free graphs, maximal trivially-perfect graphs, maximal threshold graphs, maximal split graphs, maximal line graphs, and maximal induced forests, we obtain bounded-error quantum algorithms with running times ranging from O(1.8554ⁿ) to O(1.9629ⁿ). Packing and covering by maximal induced matchings can be done quantumly in O(1.8934ⁿ) time. For Graph Coloring (covering with k maximal independent sets), we further improve the running time to O(1.7956ⁿ) by leveraging faster algorithms for coloring with a small number of colors to better balance our divide-and-conquer steps. For Domatic Number (packing k minimal dominating sets), we obtain a O((2-ε)ⁿ) running time for some ε > 0. Several of our results should be of interest to proponents of classical computing: - We present an inclusion-exclusion algorithm with running time O^*(∑_{i=0}^⌊αn⌋ binom(n,i)), which determines, for each X ⊆ U of size at most α n, 0 ≤ α ≤ 1, whether (X,ℱ) has a k-cover, k-partition, or k-packing. This running time is best-possible, up to polynomial factors. - We prove that for any linear-sized vertex subset X ⊆ V of a graph G = (V,E), the number of minimal dominating sets of G that are subsets of X is O((2-ε)^|X|) for some ε > 0.

Subject Classification

ACM Subject Classification
  • Theory of computation → Graph algorithms analysis
  • Theory of computation → Quantum complexity theory
Keywords
  • Graph algorithms
  • quantum algorithms
  • graph coloring
  • domatic number
  • set cover
  • set partition
  • set packing

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Andris Ambainis, Kaspars Balodis, Janis Iraids, Martins Kokainis, Krisjanis Prusis, and Jevgenijs Vihrovs. Quantum speedups for exponential-time dynamic programming algorithms. In Proceedings of the 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2019), pages 1783-1793. SIAM, 2019. URL: https://doi.org/10.1137/1.9781611975482.107.
  2. Andris Ambainis and Martins Kokainis. Quantum algorithm for tree size estimation, with applications to backtracking and 2-player games. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2017), pages 989-1002. ACM, 2017. URL: https://doi.org/10.1145/3055399.3055444.
  3. Lowell W. Beineke. Characterizations of derived graphs. Journal of Combinatorial Theory, Series B, 9:129-135, 1970. URL: https://doi.org/10.1016/S0021-9800(70)80019-9.
  4. Andreas Björklund and Thore Husfeldt. Inclusion-exclusion algorithms for counting set partitions. In Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), pages 575-582. IEEE Computer Society, 2006. URL: https://doi.org/10.1109/FOCS.2006.41.
  5. Andreas Björklund, Thore Husfeldt, Petteri Kaski, and Mikko Koivisto. Fourier meets Möbius: fast subset convolution. In Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC 2007), pages 67-74. ACM, 2007. URL: https://doi.org/10.1145/1250790.1250801.
  6. Andreas Björklund, Thore Husfeldt, Petteri Kaski, and Mikko Koivisto. Trimmed Moebius inversion and graphs of bounded degree. Theory of Computing Systems, 47(3):637-654, 2010. URL: https://doi.org/10.1007/S00224-009-9185-7.
  7. Andreas Björklund, Thore Husfeldt, Petteri Kaski, and Mikko Koivisto. Covering and packing in linear space. Information Processing Letters, 111(21-22):1033-1036, 2011. URL: https://doi.org/10.1016/J.IPL.2011.08.002.
  8. Andreas Björklund, Thore Husfeldt, and Mikko Koivisto. Set partitioning via inclusion-exclusion. SIAM Journal on Computing, 39(2):546-563, 2009. URL: https://doi.org/10.1137/070683933.
  9. Michel Boyer, Gilles Brassard, Peter Høyer, and Alain Tapp. Tight bounds on quantum searching. Fortschritte der Physik: Progress of Physics, 46(4-5):493-505, 1998. URL: https://doi.org/10.1002/(SICI)1521-3978(199806)46:4/5%3C493::AID-PROP493%3E3.0.CO;2-P.
  10. Jesper Makholm Byskov. Enumerating maximal independent sets with applications to graph colouring. Operations Research Letters, 32(6):547-556, 2004. URL: https://doi.org/10.1016/j.orl.2004.03.002.
  11. V. Chvátal and P. L. Hammer. Set-packing problem and threshold graphs. Technical report, University of Waterloo Research Report, 1973. CORR 73-21. Google Scholar
  12. D. G. Corneil, H. Lerchs, and L. Stewart Burlingham. Complement reducible graphs. Discrete Applied Mathematics, 3(3):163-174, 1981. URL: https://doi.org/10.1016/0166-218X(81)90013-5.
  13. Christoph Dürr and Peter Høyer. A quantum algorithm for finding the minimum. CoRR, quant-ph/9607014, 1996. URL: https://arxiv.org/abs/quant-ph/9607014.
  14. Stephan Földes and Peter L. Hammer. Split graphs. In Proceedings of the 8th Southeastern Conference on Combinatorics, Graph Theory and Computing, pages 311-315, 1977. Google Scholar
  15. Fedor V. Fomin, Serge Gaspers, Daniel Lokshtanov, and Saket Saurabh. Exact algorithms via monotone local search. Journal of the ACM, 66(2):8:1-8:23, 2019. URL: https://doi.org/10.1145/3284176.
  16. Fedor V. Fomin, Fabrizio Grandoni, Artem V. Pyatkin, and Alexey A. Stepanov. Combinatorial bounds via measure and conquer: Bounding minimal dominating sets and applications. ACM Transactions on Algorithms, 5(1):9:1-9:17, 2008. URL: https://doi.org/10.1145/1435375.1435384.
  17. Fedor V. Fomin and Dieter Kratsch. Exact Exponential Algorithms. Texts in Theoretical Computer Science. An EATCS Series. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-16533-7.
  18. Martin Fürer. Solving NP-complete problems with quantum search. In Proceedings of the 8th Latin American Symposium on Theoretical Informatics (LATIN 2008), volume 4957 of Lecture Notes in Computer Science, pages 784-792. Springer, 2008. URL: https://doi.org/10.1007/978-3-540-78773-0_67.
  19. Serge Gaspers and Edward J. Lee. Exact algorithms via multivariate subroutines. In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), volume 80 of LIPIcs, pages 69:1-69:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. URL: https://doi.org/10.4230/LIPIcs.ICALP.2017.69.
  20. Serge Gaspers and Jerry Zirui Li. Quantum algorithms for graph coloring and other partitioning, covering, and packing problems. CoRR, abs/2311.08042, 2023. URL: https://doi.org/10.48550/arXiv.2311.08042.
  21. Martin C. Golumbic. Trivially perfect graphs. Discrete Mathematics, 24(1):105-107, 1978. URL: https://doi.org/10.1016/0012-365X(78)90178-4.
  22. Lov K. Grover. A fast quantum mechanical algorithm for database search. In Gary L. Miller, editor, Proceedings of the 28th Annual ACM Symposium on the Theory of Computing (STOC 1996), pages 212-219. ACM, 1996. URL: https://doi.org/10.1145/237814.237866.
  23. Sushmita Gupta, Venkatesh Raman, and Saket Saurabh. Maximum r-regular induced subgraph problem: Fast exponential algorithms and combinatorial bounds. SIAM Journal on Discrete Mathematics, 26(4):1758-1780, 2012. URL: https://doi.org/10.1137/09077850X.
  24. David S. Johnson, Mihalis Yannakakis, and Christos H. Papadimitriou. On generating all maximal independent sets. Information Processing Letters, 27(3):119-123, 1988. URL: https://doi.org/10.1016/0020-0190(88)90065-8.
  25. Mikko Koivisto. An O^*(2ⁿ) algorithm for graph coloring and other partitioning problems via inclusion-exclusion. In Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), pages 583-590. IEEE Computer Society, 2006. URL: https://doi.org/10.1109/FOCS.2006.11.
  26. Kazuya Shimizu and Ryuhei Mori. Exponential-time quantum algorithms for graph coloring problems. Algorithmica, 84(12):3603-3621, 2022. URL: https://doi.org/10.1007/S00453-022-00976-2.
  27. F. Yates. The design and analysis of factorial experiments. Imperial Bureau of Soil Science, Harpenden, England, Technical Communication No. 35, 1937. Google Scholar