Perfect Forests in Graphs and Their Extensions

Authors Gregory Gutin, Anders Yeo



PDF
Thumbnail PDF

File

LIPIcs.MFCS.2021.54.pdf
  • Filesize: 0.69 MB
  • 13 pages

Document Identifiers

Author Details

Gregory Gutin
  • Royal Holloway, University of London, UK
Anders Yeo
  • University of Southern Denmark, Odense, Denmark
  • University of Johannesburg, South Africa

Cite As Get BibTex

Gregory Gutin and Anders Yeo. Perfect Forests in Graphs and Their Extensions. In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 202, pp. 54:1-54:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021) https://doi.org/10.4230/LIPIcs.MFCS.2021.54

Abstract

Let G be a graph on n vertices. For i ∈ {0,1} and a connected graph G, a spanning forest F of G is called an i-perfect forest if every tree in F is an induced subgraph of G and exactly i vertices of F have even degree (including zero). An i-perfect forest of G is proper if it has no vertices of degree zero. Scott (2001) showed that every connected graph with even number of vertices contains a (proper) 0-perfect forest. We prove that one can find a 0-perfect forest with minimum number of edges in polynomial time, but it is NP-hard to obtain a 0-perfect forest with maximum number of edges. We also prove that for a prescribed edge e of G, it is NP-hard to obtain a 0-perfect forest containing e, but we can find a 0-perfect forest not containing e in polynomial time. It is easy to see that every graph with odd number of vertices has a 1-perfect forest. It is not the case for proper 1-perfect forests. We give a characterization of when a connected graph has a proper 1-perfect forest.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Graph theory
Keywords
  • graphs
  • odd degree subgraphs
  • perfect forests
  • polynomial algorithms

Metrics

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

References

  1. Jørgen Bang-Jensen, Eduard Eiben, Gregory Z. Gutin, Magnus Wahlström, and Anders Yeo. Component order connectivity in directed graphs. In Yixin Cao and Marcin Pilipczuk, editors, 15th International Symposium on Parameterized and Exact Computation, IPEC 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference), volume 180 of LIPIcs, pages 2:1-2:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  2. Daniel Bienstock. On the complexity of testing for odd holes and induced odd paths. Discrete Mathematics, 90(1):85-92, 1991. URL: https://doi.org/10.1016/0012-365X(91)90098-M.
  3. Yair Caro, Josef Lauri, and Christina Zarb. Two short proofs of the perfect forest theorem. Theory and Applications of Graphs, 4(1), 2017. article 4. Google Scholar
  4. Robert Crowston, Mark Jones, and Matthias Mnich. Max-cut parameterized above the Edwards-Erdős bound. Algorithmica, 72(3):734-757, 2015. Google Scholar
  5. Reinhard Diestel. Graph Theory, 4th Edition, volume 173 of Graduate texts in mathematics. Springer, 2012. Google Scholar
  6. Jörg Flum and Martin Grohe. Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series. Springer, 2006. Google Scholar
  7. Gregory Gutin and Anders Yeo. Lower bounds for Maximum Weighted Cut, 2021. URL: http://arxiv.org/abs/2104.05536.
  8. Gregory Gutin and Anders Yeo. Perfect forests in graphs and their extensions, 2021. URL: http://arxiv.org/abs/2105.00254v1.
  9. Gregory Z. Gutin. Note on perfect forests. J. Graph Theory, 82(3):233-235, 2016. Google Scholar
  10. Gregory Z. Gutin and Anders Yeo. Constraint satisfaction problems parameterized above or below tight bounds: A survey. In Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, and Dániel Marx, editors, The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday, volume 7370 of Lecture Notes in Computer Science, pages 257-286. Springer, 2012. Google Scholar
  11. Gregory Z. Gutin and Anders Yeo. Note on perfect forests in digraphs. J. Graph Theory, 85(2):372-377, 2017. Google Scholar
  12. John E. Hopcroft and Robert Endre Tarjan. Efficient algorithms for graph manipulation [H] (algorithm 447). Communications of ACM, 16(6):372-378, 1973. Google Scholar
  13. Daniel Lokshtanov, N. S. Narayanaswamy, Venkatesh Raman, M. S. Ramanujan, and Saket Saurabh. Faster parameterized algorithms using linear programming. ACM Transactions on Algorithms, 11(2):15:1-15:31, 2014. Google Scholar
  14. Daniel Lokshtanov, Saket Saurabh, Roohani Sharma, and Meirav Zehavi. Balanced judicious bipartition is fixed-parameter tractable. SIAM J. Discrete Mathematics, 33(4):1878-1911, 2019. Google Scholar
  15. László Lovász and Michael D. Plummer. Matching Theory. Akadémiai Kiadó, 1986. Google Scholar
  16. Thomas J. Schaefer. The complexity of satisfiability problems. In Richard J. Lipton, Walter A. Burkhard, Walter J. Savitch, Emily P. Friedman, and Alfred V. Aho, editors, Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1-3, 1978, San Diego, California, USA, pages 216-226. ACM, 1978. Google Scholar
  17. Alex D. Scott. On induced subgraphs with all degrees odd. Graphs & Combinatorics, 17(3):539-553, 2001. Google Scholar
  18. Roded Sharan and Avi Wigderson. A new NCalgorithm for perfect matching in bipartite cubic graphs. In Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings, pages 202-207. IEEE Computer Society, 1996. 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