Given a directed graph \(G=(V,A)\) , we tackle the Minimum Feedback Arc Set (MFAS) Problem by designing an efficient algorithm to search for minimal and stable Feedback Arc Sets, i.e. such that none of the arcs can be reintroduced in the graph without disrupting acyclicity and such that for each vertex the number of eliminated outgoing (resp. incoming) arcs is not bigger than the number of remaining incoming (resp. outgoing) arcs. Our algorithm has a good polynomial upper bound and can therefore be applied even on large graphs. We also introduce an algorithm to generate strongly connected graphs with a known upper bound on their feedback arc set, and on such graphs we test our algorithm.
