Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra

A feedback vertex set of a graph is a subset of vertices containing at least one vertex from every cycle of the graph. Given a directed graph by its adjacency relation, we develop a relational algorithm for computing a feedback vertex set of minimum size. In combination with a BDD-implementation of relations, it allows to exactly solve this NP-hard problem for medium-sized graphs.

[1]  Rudolf Berghammer,et al.  Modeling Sequences within the RelView System , 2001, J. Univers. Comput. Sci..

[2]  Piotr Berman,et al.  A 2-Approximation Algorithm for the Undirected Feedback Vertex Set Problem , 1999, SIAM J. Discret. Math..

[3]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[4]  Alexander Fronk.  Using relation algebra for the analysis of Petri nets in a CASE tool based approach , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[5]  Rudolf Berghammer,et al.  Implementation of Relational Algebra Using Binary Decision Diagrams , 2001, RelMiCS.

[6]  Aram K. Kevorkian,et al.  The Principal Maxmin Matrix Transversal Strategy , 1979, Math. Oper. Res..

[7]  Joseph Naor,et al.  Approximating Minimum Feedback Sets and Multi-Cuts in Directed Graphs , 1995, IPCO.

[8]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[9]  Reuven Bar-Yehuda,et al.  Approximation Algorithms for the Feedback Vertex Set Problem with Applications to Constraint Satisfaction and Bayesian Inference , 1998, SIAM J. Comput..

[10]  M. Courvoisier,et al.  A note on minimal and quasi-minimal essential sets in complex directed graphs , 1972 .

[11]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[12]  W Emde.  GRUNDLAGEN UND ANWENDUNGEN DER RAS-W , 1991 .

[13]  Gunther Schmidt,et al.  Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.

[14]  Sundaram Seshu,et al.  Linear Graphs and Electrical Networks , 1961 .

[15]  Ralf Behnke,et al.  RELVIEW - A System for Calculating With Relations and Relational Programming , 1998, FASE.

[16]  Manuel Silva Suárez,et al.  Circuits, handles, bridges and nets , 1991, Applications and Theory of Petri Nets.