PACE Solver Description: A Heuristic Directed Feedback Vertex Set Problem Algorithm
Andrei Arhire, Paul Diac

TL;DR
This paper presents a heuristic algorithm for finding minimum directed feedback vertex sets, implemented in the _UAIC_ANDREIARHIRE_ solver, aimed at solving the directed feedback vertex set problem efficiently.
Contribution
It introduces a heuristic algorithm specifically designed for the directed feedback vertex set problem, used in a solver submitted to the 2022 PACE challenge.
Findings
Solver effectively finds minimum feedback vertex sets.
Algorithm performs well on benchmark instances.
Contributes a new heuristic approach for the problem.
Abstract
A feedback vertex set of a graph is a set of nodes with the property that every cycle contains at least one vertex from the set i.e. the removal of all vertices from a feedback vertex set leads to an acyclic graph. In this short paper, we describe the algorithm for finding a minimum directed feedback vertex set used by the _UAIC_ANDREIARHIRE_ solver, submitted to the heuristic track of the 2022 PACE challenge.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · Formal Methods in Verification · Constraint Satisfaction and Optimization
