Computing Complexity Measures of Degenerate Graphs

Authors Pål Grønås Drange , Patrick Greaves, Irene Muzi , Felix Reidl



PDF
Thumbnail PDF

File

LIPIcs.IPEC.2023.14.pdf
  • Filesize: 1 MB
  • 21 pages

Document Identifiers

Author Details

Pål Grønås Drange
  • University of Bergen, Norway
Patrick Greaves
  • Birkbeck, University of London, UK
Irene Muzi
  • Birkbeck, University of London, UK
Felix Reidl
  • Birkbeck, University of London, UK

Cite AsGet BibTex

Pål Grønås Drange, Patrick Greaves, Irene Muzi, and Felix Reidl. Computing Complexity Measures of Degenerate Graphs. In 18th International Symposium on Parameterized and Exact Computation (IPEC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 285, pp. 14:1-14:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.IPEC.2023.14

Abstract

We show that the VC-dimension of a graph can be computed in time n^{⌈log d+1⌉} d^{O(d)}, where d is the degeneracy of the input graph. The core idea of our algorithm is a data structure to efficiently query the number of vertices that see a specific subset of vertices inside of a (small) query set. The construction of this data structure takes time O(d2^dn), afterwards queries can be computed efficiently using fast Möbius inversion. This data structure turns out to be useful for a range of tasks, especially for finding bipartite patterns in degenerate graphs, and we outline an efficient algorithm for counting the number of times specific patterns occur in a graph. The largest factor in the running time of this algorithm is O(n^c), where c is a parameter of the pattern we call its left covering number. Concrete applications of this algorithm include counting the number of (non-induced) bicliques in linear time, the number of co-matchings in quadratic time, as well as a constant-factor approximation of the ladder index in linear time. Finally, we supplement our theoretical results with several implementations and run experiments on more than 200 real-world datasets - the largest of which has 8 million edges - where we obtain interesting insights into the VC-dimension of real-world networks.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Graph algorithms
Keywords
  • vc-dimension
  • datastructure
  • degeneracy
  • enumerating

Metrics

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

References

  1. Suman K. Bera, Noujan Pashanasangi, and C. Seshadhri. Linear time subgraph counting, graph degeneracy, and the chasm at size six. In Thomas Vidick, editor, 11th Innovations in Theoretical Computer Science Conference (ITCS 2020), volume 151, pages 38:1-38:20. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020. URL: https://doi.org/10.4230/LIPIcs.ITCS.2020.38.
  2. 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.
  3. Marco Bressan and Marc Roth. Exact and Approximate Pattern Counting in Degenerate Graphs: New Algorithms, Hardness Results, and Complexity Dichotomies. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), pages 276-285, 2022. URL: https://doi.org/10.1109/FOCS52979.2021.00036.
  4. Jianer Chen, Xiuzhen Huang, Iyad A. Kanj, and Ge Xia. On the computational hardness based on linear FPT-reductions. Journal of Combinatorial Optimization, 11(2):231-247, 2006. URL: https://doi.org/10.1007/s10878-006-7137-6.
  5. Jianer Chen, Xiuzhen Huang, Iyad A. Kanj, and Ge Xia. Strong computational lower bounds via parameterized complexity. Journal of Computer and System Sciences, 72(8):1346-1367, 2006. URL: https://doi.org/10.1016/j.jcss.2006.04.007.
  6. Norishige Chiba and Takao Nishizeki. Arboricity and Subgraph Listing Algorithms. SIAM Journal on Computing, 14(1):210-223, 1985. URL: https://doi.org/10.1137/0214017.
  7. Erik D. Demaine, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil, Somnath Sikdar, and Blair D. Sullivan. Structural sparsity of complex networks: Bounded expansion in random models and real-world graphs. Journal of Computer and System Sciences, 105:199-241, 2019. Google Scholar
  8. Rodney G. Downey, Patricia A. Evans, and Michael R. Fellows. Parameterized learning complexity. In Proceedings of the sixth annual conference on Computational learning theory, pages 51-57, 1993. Google Scholar
  9. Pål Grønås Drange, Patrick Greaves, Irene Muzi, and Felix Reidl. Computing complexity measures of degenerate graphs. CoRR, arXiv:2308.08868 [cs.DS], 2023. URL: https://doi.org/10.48550/arXiv.2308.08868.
  10. Eduard Eiben, Robert Ganian, Thekla Hamm, Lars Jaffke, and O-joung Kwon. A Unifying Framework for Characterizing and Computing Width Measures. In 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), volume 215, pages 63:1-63:23. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022. URL: https://doi.org/10.4230/LIPIcs.ITCS.2022.63.
  11. Kord Eickmeyer, Archontia C. Giannopoulou, Stephan Kreutzer, O-joung Kwon, Michał Pilipczuk, Roman Rabinovich, and Sebastian Siebertz. Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs. In 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), volume 80, pages 63:1-63:14. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2017. URL: https://doi.org/10.4230/LIPIcs.ICALP.2017.63.
  12. David Eppstein, Maarten Löffler, and Darren Strash. Listing all maximal cliques in large sparse real-world graphs. ACM Journal of Experimental Algorithmics, 18:3.1:3.1-3.1:3.21, 2013. URL: https://doi.org/10.1145/2543629.
  13. Grzegorz Fabiański, Michał Pilipczuk, Sebastian Siebertz, and Szymon Toruńczyk. Progressive algorithms for domination and independence. In 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), volume 126, pages 27:1-27:16. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2019. URL: https://doi.org/10.4230/LIPIcs.STACS.2019.27.
  14. Donald E. Knuth. Art of computer programming, volume 2: Seminumerical algorithms. Addison-Wesley Professional, 2014. Google Scholar
  15. David W. Matula and Leland L. Beck. Smallest-last ordering and clustering and graph coloring algorithms. Journal of the ACM, 30(3):417-427, 1983. URL: https://doi.org/10.1145/2402.322385.
  16. Christos H. Papadimitriou and Mihalis Yannakakis. On limited nondeterminism and the complexity of the VC dimension. Journal of Computer and System Sciences, 53(2):161-170, 1996. Google Scholar
  17. Robert Sedgewick and Kevin Wayne. Algorithms, 4th edition. Addison-Wesley, 2011. Google Scholar
  18. Frank Yates. The design and analysis of factorial experiments. Imperial Bureau of Soil Science, 1937. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail