Skip to main content

Computing a Minimum Subset Feedback Vertex Set on Chordal Graphs Parameterized by Leafage

  • Conference paper
  • First Online:
Combinatorial Algorithms (IWOCA 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13270))

Included in the following conference series:

  • 611 Accesses

Abstract

Given a vertex-weighted graph \(G=(V,E)\) and a set \(S\subseteq V\), the Subset Feedback Vertex Set (SFVS) problem asks for a vertex set of minimum weight that intersects all cycles containing a vertex of S. SFVS is known to be polynomial-time solvable on interval graphs, whereas SFVS remains \(\mathsf {NP}\)-complete on split graphs and, consequently, on chordal graphs. Towards a better understanding of the complexity of SFVS on subclasses of chordal graphs, we exploit structural properties of a tree model in order to cope with the hardness of SFVS. Here we consider variants of the leafage that measures the minimum number of leaves in a tree model. We show that SFVS can be solved in polynomial time for every chordal graph with bounded leafage. In particular, given a chordal graph on n vertices with leafage \(\ell \), we provide an algorithm for SFVS with running time \(n^{O(\ell )}\), thus improving upon \(n^{O(\ell ^2)}\), the running time of the previously known algorithm obtained for graphs with bounded mim-width. We complement our result by showing that SFVS is \(\mathsf {W}\)[1]-hard parameterized by \(\ell \). Pushing further our positive result, it is natural to consider a slight generalization of leafage, the vertex leafage, which measures the minimum upper bound on the number of leaves of every subtree in a tree model. However, we show that it is unlikely to obtain a similar result, as we prove that SFVS remains \(\mathsf {NP}\)-complete on undirected path graphs, i.e., chordal graphs having vertex leafage at most two. Lastly, we provide a polynomial-time algorithm for SFVS on rooted path graphs, a proper subclass of undirected path graphs and graphs of mim-width one, which is faster than the previously known algorithm obtained for graphs with bounded mim-width.

Research supported by the Hellenic Foundation for Research and Innovation (H.F.R.I.) under the “First Call for H.F.R.I. Research Projects to support Faculty members and Researchers and the procurement of high-cost research grant”, Project FANTA (eFficient Algorithms for NeTwork Analysis), number HFRI-FM17-431.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    The host tree is also known as a clique tree, usually when we are concerned with the maximal cliques of a chordal graph [19].

  2. 2.

    In this extended abstract all proofs are omitted due to space constraints. See a preliminary full version [36] for all the details.

References

  1. Benjamin, B., Papadopoulos, C., Telle, J.A.: Node multiway cut and subset feedback vertex set on graphs of bounded mim-width. In: Adler, I., Müller, H. (eds.) Graph-Theoretic Concepts in Computer Science, WG 2020. LNCS, vol. 12301, pp. 388–400. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-60440-0_31

  2. Bertossi, A.A., Bonuccelli, M.A.: Hamiltonian circuits in interval graph generalizations. Inf. Process. Lett. 23(4), 195–200 (1986)

    Article  MathSciNet  Google Scholar 

  3. Bodlaender, H.L., Jansen, K.: On the complexity of the maximum cut problem. Nord. J. Comput. 7(1), 14–31 (2000)

    MathSciNet  MATH  Google Scholar 

  4. Bondy, J.A., Murty, U.S.R.: Graph Theory. Springer, Cham (2008)

    Google Scholar 

  5. Booth, K.S., Johnson, J.H.: Dominating sets in chordal graphs. SIAM J. Comput. 11, 191–199 (1982)

    Article  MathSciNet  Google Scholar 

  6. Brettell, N., Johnson, M., Paesani, G., Paulusma, D.: Computing subset transversals in H-free graphs. In: Adler, I., Müller, H. (eds.) Graph-Theoretic Concepts in Computer Science, WG 2020. LNCS, vol. 12301, pp. 187–199. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-60440-0_15

  7. Brettell, N., Johnson, M., Paulusma, D.: Computing weighted subset transversals in H-free graphs. In: Lubiw, A., Salavatipour, M. (eds.) Algorithms and Data Structures, WADS 2021. LNCS, vol. 12808, pp. 229–242. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-83508-8_17

  8. Buneman, P.: A characterization of rigid circuit graphs. Discret. Math. 9, 205–212 (1974)

    Article  MathSciNet  Google Scholar 

  9. Chaplick, S.: Intersection graphs of non-crossing paths. In: Sau, I., Thilikos, D.M. (eds.) Graph-Theoretic Concepts in Computer Science, WG 2019. LNCS, vol. 11789, pp. 311–324. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30786-8_24

  10. Chaplick, S., Stacho, J.: The vertex leafage of chordal graphs. Discret. Appl. Math. 168, 14–25 (2014)

    Article  MathSciNet  Google Scholar 

  11. Corneil, D.G., Fonlupt, J.: The complexity of generalized clique covering. Discret Appl. Math. 22(2), 109–118 (1988)

    Article  MathSciNet  Google Scholar 

  12. Corneil, D.G., Perl, Y.: Clustering and domination in perfect graphs. Discret. Appl. Math. 9(1), 27–39 (1984)

    Article  MathSciNet  Google Scholar 

  13. Cygan, M., et al.: Parameterized Algorithms. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21275-3

  14. Cygan, M., Pilipczuk, M., Pilipczuk, M., Wojtaszczyk, J.O.: Subset feedback vertex set is fixed-parameter tractable. SIAM J. Discret. Math. 27(1), 290–309 (2013)

    Article  MathSciNet  Google Scholar 

  15. Dietz, P.: Intersection graph algorithms. Ph.D. Thesis, Cornell University (1984)

    Google Scholar 

  16. Fomin, F.V., Heggernes, P., Kratsch, D., Papadopoulos, C., Villanger, Y.: Enumerating minimal subset feedback vertex sets. Algorithmica 69(1), 216–231 (2014). https://doi.org/10.1007/s00453-012-9731-6

    Article  MathSciNet  MATH  Google Scholar 

  17. Fomin, F.V., Golovach, P.A., Raymond, J.: On the tractability of optimization problems on h-graphs. Algorithmica 82(9), 2432–2473 (2020). https://doi.org/10.1007/s00453-020-00692-9

    Article  MathSciNet  MATH  Google Scholar 

  18. Garey, M.R., Johnson, D.S.: Computers and Intractability. W.H. Freeman and Co, New York (1978)

    Google Scholar 

  19. Gavril, F.: The intersection graphs of subtrees of trees are exactly the chordal graphs. J. Comb. Theory Ser. B 16, 47–56 (1974)

    Article  MathSciNet  Google Scholar 

  20. Gavril, F.: A recognition algorithm for the intersection graphs of directed paths in directed trees. Discret. Math. 13(3), 237–249 (1975)

    Article  MathSciNet  Google Scholar 

  21. Golovach, P.A., Heggernes, P., Kratsch, D., Saei, R.: Subset feedback vertex sets in chordal graphs. J. Discret. Algorithms 26, 7–15 (2014)

    Article  MathSciNet  Google Scholar 

  22. Habib, M., Stacho, J.: Polynomial-time algorithm for the leafage of chordal graphs. In: Fiat, A., Sanders, P. (eds.) Algorithms - ESA 2009. LNCS, vol. 5757, pp. 290–300. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04128-0_27

  23. Heggernes, P., van’t Hof, P., van Leeuwen, E.J., Saei, R.: Finding disjoint paths in split graphs. Theory Comput. Syst. 57(1), 140–159 (2015)

    Google Scholar 

  24. Hols, E.C., Kratsch, S.: A randomized polynomial kernel for subset feedback vertex set. Theory Comput. Syst. 62, 54–65 (2018). https://doi.org/10.1007/s00224-017-9805-6

    Article  MathSciNet  MATH  Google Scholar 

  25. Ioannidou, K., Mertzios, G.B., Nikolopoulos, S.D.: The longest path problem has a polynomial solution on interval graphs. Algorithmica 61(2), 320–341 (2011). https://doi.org/10.1007/s00453-010-9411-3

    Article  MathSciNet  MATH  Google Scholar 

  26. Jaffke, L., Kwon, O., Strømme, T.J.F., Telle, J.A.: Mim-width III. Graph powers and generalized distance domination problems. Theor. Comput. Sci. 796, 216–236 (2019)

    Article  MathSciNet  Google Scholar 

  27. Jaffke, L., Kwon, O., Telle, J.A.: Mim-width II. The feedback vertex set problem. Algorithmica 82(1), 118–145 (2020)

    Article  MathSciNet  Google Scholar 

  28. Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W. (eds.) Complexity of Computer Computations, pp. 85–103. Plenum Press (1972)

    Google Scholar 

  29. Kawarabayashi, K., Kobayashi, Y.: Fixed-parameter tractability for the subset feedback set problem and the s-cycle packing problem. J. Comb. Theory Ser. B 102(4), 1020–1034 (2012)

    Article  MathSciNet  Google Scholar 

  30. Lin, I., McKee, T.A., West, D.B.: The leafage of a chordal graph. Discuss. Math. Graph Theory 18(1), 23–48 (1998)

    Article  MathSciNet  Google Scholar 

  31. Monma, C.L., Wei, V.K.: Intersection graphs of paths in a tree. J. Comb. Theory Ser. B 41(2), 141–181 (1986)

    Article  MathSciNet  Google Scholar 

  32. Natarajan, S., Sprague, A.P.: Disjoint paths in circular arc graphs. Nord. J. Comput. 3(3), 256–270 (1996)

    MathSciNet  Google Scholar 

  33. Panda, B.S.: The separator theorem for rooted directed vertex graphs. J. Comb. Theory Ser. B 81(1), 156–162 (2001)

    Article  MathSciNet  Google Scholar 

  34. Papadopoulos, C., Tzimas, S.: Polynomial-time algorithms for the subset feedback vertex set problem on interval graphs and permutation graphs. Discret. Appl. Math. 258, 204–221 (2019)

    Article  MathSciNet  Google Scholar 

  35. Papadopoulos, C., Tzimas, S.: Subset feedback vertex set on graphs of bounded independent set size. Theor. Comput. Sci. 814, 177–188 (2020)

    Article  MathSciNet  Google Scholar 

  36. Papadopoulos, C., Tzimas, S.: Computing subset feedback vertex set via leafage. CoRR abs/2103.03035 arXiv:2103.03035 (2021)

  37. Philip, G., Rajan, V., Saurabh, S., Tale, P.: Subset feedback vertex set in chordal and split graphs. Algorithmica 81(9), 3586–3629 (2019). https://doi.org/10.1007/s00453-019-00590-9

    Article  MathSciNet  MATH  Google Scholar 

  38. Spinrad, J.P.: Efficient Graph Representations. American Mathematical Society, Fields Institute Monograph Series 19 (2003)

    Google Scholar 

  39. Yannakakis, M.: Node-deletion problems on bipartite graphs. SIAM J. Comput. 10(2), 310–327 (1981)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Spyridon Tzimas .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Papadopoulos, C., Tzimas, S. (2022). Computing a Minimum Subset Feedback Vertex Set on Chordal Graphs Parameterized by Leafage. In: Bazgan, C., Fernau, H. (eds) Combinatorial Algorithms. IWOCA 2022. Lecture Notes in Computer Science, vol 13270. Springer, Cham. https://doi.org/10.1007/978-3-031-06678-8_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-06678-8_34

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-06677-1

  • Online ISBN: 978-3-031-06678-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics