Abstract:Given a directed graph, the Minimal Feedback Arc Set (FAS) problem asks for a minimal set of arcs in a directed graph, which, when removed, results in an acyclic graph. Equivalently, the FAS problem asks to find an ordering of the vertices that minimizes the number of feedback arcs. This is considered an algorithmic problem of central importance in discrete mathematics, with varied applications to problems in computer science and operations research. Berger and Shor, in 1990, developed upper bounds for the FAS problem in general directed graphs. Here we find asymptotic lower bounds for the FAS problem in a class of random graphs given by the Erdős-Rényi model G(n,M), with n vertices and M (undirected) edges, the latter randomly chosen. Each edge is then randomly given a direction to form our directed graph. Our interest is in developing a $\textit{lower}$ bound for the minimal feedback arc set that holds with probability 1 as $n\rightarrow \infty$. We show that $$Pr\left(\textbf{Y}^* \le M \left( \frac{1}{2} -\sqrt{\frac{\log n}{2\Delta_{av}}}\right)\right)$$ approaches zero exponentially in $n$, with $\textbf{Y}^*$ the (random) size of the minimal feedback set and $\Delta_{av}=M/n$ the average vertex degree. We subsequently apply our lower bounds to a set of experimental FAS data on related random graphs, as developed by Kathrin Hanauer. Not only does our formula provide a reasonably close lower bound for the minimal set, but the approximation that lies midway between our lower bound and the obvious upper bound of $M/2$ is remarkably close to the computed FAS data over a range of experiments, suggesting that this approximation may in fact be asymptotic to the minimal number of feedback arcs, for large $n$, and an excellent estimate even for moderate values.

A Quadratic Vertex Kernel for Feedback Arc Set in Bipartite Tournaments

Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Bipartite Tournaments

Dynamic Parameterized Feedback Problems in Tournaments

Exact and Parameterized Algorithms for Restricted Subset Feedback Vertex Set in Chordal Graphs

A New Linear Kernel for Undirected Planar Feedback Vertex Set: Smaller and Simpler.

An Approximation Algorithm for Feedback Vertex Sets in Tournaments

Feedback Vertex Set for pseudo-disk graphs in subexponential FPT time

Faster Algorithms for Feedback Arc Set Tournament, Kemeny Rank Aggregation and Betweenness Tournament

Tractable Feedback Vertex Sets in Restricted Bipartite Graphs

A Simplified Parameterized Algorithm for Directed Feedback Vertex Set

A Min-Max Theorem on Feedback Vertex Sets

Circular Convex Bipartite Graphs: Feedback Vertex Sets

Feedback Vertex Sets on Restricted Bipartite Graphs

Fixed Parameterized Algorithms for Generalized Feedback Vertex Set Problems

An Improved Exact Algorithm for Undirected Feedback Vertex Set

Structural Parameterizations of the Biclique-Free Vertex Deletion Problem

Finding small feedback arc sets on large graphs

FPT algorithms for generalized feedback vertex set problems

Directed Feedback Vertex Set is Fixed-Parameter Tractable

A Naive Algorithm for Feedback Vertex Set

Asymptotic Lower Bounds for the Feedback Arc Set Problem in Random Graphs