Skip to main content

Undirected Feedback Vertex Set

  • Reference work entry
  • First Online:
Encyclopedia of Algorithms
  • 396 Accesses

Years and Authors of Summarized Original Work

  • 2005; Dehne, Fellows, Langston, Rosamond, Stevens Guo, Gramm, Hüffner, Niedermeier, Wernicke

Problem Definition

The Undirected Feedback Vertex Set (UFVS) problem is defined as follows:

Input: :

An undirected graph \( { G = (V, E) } \) and an integer \( { k\ge 0 } \).

Task: :

Find a feedback vertex set\( { F\subseteq V } \) with \( { |F| \leq k } \) such that each cycle in G contains at least one vertex from F. (The removal of all vertices in F from G results in a forest.)

Karp [11] showed that UFVS is NP-complete. Lund and Yannakakis [12] proved that there exists some constant \( { \epsilon > 0 } \) such that it is NP-hard to approximate the optimization version of UFVS to within a factor of \( { 1\,+\,\epsilon } \). The best-known polynomial-time approximation algorithm for UFVS has a factor of 2 [1, 4]. There is a simple and elegant randomized algorithm due to Becker et al. [3] which solves UFVS in O(c·4k·kn) time on an n-vertex and m-edg...

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

Recommended Reading

  1. Bafna V, Berman P, Fujito T (1999) A 2-approximation algorithm for the undirected feedback vertex set problem. SIAM J Discret Math 3(2):289–297

    Article  MathSciNet  MATH  Google Scholar 

  2. Bar-Yehuda R, Geiger D, Naor J, Roth RM (1998) Approximation algorithms for the feedback vertex set problem with applications to constraint satisfaction and Bayesian inference. SIAM J Comput 27(4):942–959

    Article  MathSciNet  MATH  Google Scholar 

  3. Becker A, Bar-Yehuda R, Geiger D (2000) Randomized algorithms for the loop cutset problem. J Artif Intell Res 12:219–234

    MathSciNet  MATH  Google Scholar 

  4. Becker A, Geiger D (1994) Approximation algorithms for the Loop Cutset problem. In: Proceedings of the 10th conference on uncertainty in artificial intelligence. Morgan Kaufman, San Fransisco, pp 60–68

    Google Scholar 

  5. Bodlaender HL (1994) On disjoint cycles. Int J Found Comput Sci 5(1):59–68

    Article  MATH  Google Scholar 

  6. Dehne F, Fellows MR, Langston MA, Rosamond F Stevens K (2005) An O(2O(k)n3) FPT algorithm for the undirected feedback vertex set problem. In: Proceedings of the 11th COCOON. LNCS, vol 3595. Springer, Berlin, pp 859–869. Long version to appear in: J Discret Algorithm

    Google Scholar 

  7. Downey RG, Fellows MR (1992) Fixed-parameter tractability and completeness. Congr Numerant 87:161–187

    MathSciNet  MATH  Google Scholar 

  8. Downey RG, Fellows MR (1999) Parameterized complexity. Springer, Heidelberg

    Book  MATH  Google Scholar 

  9. Fomin FV, Gaspers S, Pyatkin AV (2006) Finding a minimum feedback vertex set in time O(1.7548n). In: Proceedings of the 2th IWPEC. LNCS, vol 4196. Springer, Berlin, pp 184–191

    Google Scholar 

  10. Guo J, Gramm J, Hüffner F, Niedermeier R, Wernicke S (2006) Compression-based fixed-parameter algorithms for feedback vertex set and edge bipartization. J Comput Syst Sci 72(8):1386–1396

    Article  MathSciNet  MATH  Google Scholar 

  11. Karp R (1972) Reducibility among combinatorial problems. In: Miller R, Thatcher J (eds) Complexity of computer computations. Plenum Press, New York, pp 85–103

    Chapter  Google Scholar 

  12. Lund C, Yannakakis M (1993) The approximation of maximum subgraph problems. In: Proceedings of the 20th ICALP. LNCS, vol 700. Springer, Berlin, pp 40–51

    Google Scholar 

  13. Niedermeier R (2006) Invitation to fixed-parameter algorithms. Oxford University Press, Oxford

    Book  MATH  Google Scholar 

  14. Reed B, Smith K, Vetta A (2004) Finding odd cycle transversals. Oper Res Lett 32(4):299–301

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

Supported by the Deutsche Forschungsgemeinschaft, Emmy Noether research group PIAF (fixed-parameter algorithms), NI 369/4

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jiong Guo .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media New York

About this entry

Cite this entry

Guo, J. (2016). Undirected Feedback Vertex Set. In: Kao, MY. (eds) Encyclopedia of Algorithms. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-2864-4_450

Download citation

Publish with us

Policies and ethics