A fast and effective heuristic for the feedback arc set problem

Abstract

Let G=( V, A) denote a simple connected directed graph, and let n=| V|, m=| A|, where nt-1≤ m≤( n 2) A feedback arc set ( FAS) of G, denoted R( G), is a (possibly empty)set of arcs whose reversal makes G acyclic. A minimum feedback arc set of G, denoted R∗( G), is a FAS of minimum cardinality r∗( G); the computation of R∗( G) is called the FAS problem. Berger and Shor have recently published an algorithm which, for a given digraph G, computes a FAS whose cardinality is at most m/2t- c 1 m/Δ 1/2 where Δ is the maximum degree of G and c 1 is a constant. Further, they exhibited an infinite class G of graphs with the property that for every Gϵ G and some constant c 2, r∗( G)≥ m /2t- c 2 m/Δ 1/2. Thus the Berger-Shor algorithm provides, in a certain asymptotic sense, an optimal solution to the FAS problem. Unfortunately, the Berger-Shor algorithm is complicated and requires runni ng time O( mn). In this paper we present a simple FAS algorithm which guarantees a good (though not optimal) performance bound and executes in time O( m). Further, for the sparse graphs which arise frequently in graph drawing and other applications, our algorithm achieves the same asymptotic performance bound that Berger-Shor does.