Exploiting Spanning Trees for Directed Acyclicity

2026-07-08

AI Summary

This study addresses the problem of finding a maximum-weight acyclic subgraph in edge-weighted directed graphs, aiming to surpass classical lower bounds such as the maximum spanning tree bound MaxST(G). By uncovering a structural relationship between MaxST of the underlying undirected graph and directed cycles, the authors design two parameterized algorithms: for integer weights, the running time is $2^{k^{O(1)}} \cdot |I|^{O(1)}$, and for rational weights at least 1, it is $n^{k^{O(1)}} \cdot |I|^{O(1)}$. This work presents the first efficient algorithm for rational weights that provably exceeds the MaxST lower bound, achieving a rare “beyond-guarantee” positive result by effectively deciding whether an acyclic subgraph of weight at least MaxST(G) + k exists.

Abstract

We study the weighted case of the \textsc{Maximum Acyclic Subgraph (MAS)} problem, where each edge of a given directed graph has a positive weight assigned, and the task is to find a maximum-weight acyclic edge set. The famous and well-studied random ordering lower bound guarantees the existence of an acyclic set that gives at least the half of the total edge weight. The maximum spanning tree (MaxST) guarantee, which is the weight of a maximum-weight acyclic subgraph of the underlying undirected graph of $G$, is another natural lower bound for the weight of an acyclic subgraph. A solution of this weight dominates the random ordering solution on instances where MaxST spans the most of the total edge weight. Our main contribution are two parameterized algorithms that find acyclic subgraphs of total weight larger than the weight of the MaxST of $G$. Both our algorithms find a solution of total weight at least $MaxST(G)+k$, for a given integer $k\ge 0$, or report that it does not exist, and first of our algorithms runs in time $2^{k^{\mathcal{O}(1)}}\cdot \mathcal{I}^{\mathcal{O}(1)}$ and works when all weights are integers; our second algorithm handles rational weights not less than $1$, and its running time is upper-bounded by $n^{k^{\mathcal{O}(1)}}\cdot \mathcal{I}^{\mathcal{O}(1)}$. This positive result is rather surprising since solving \textsc{MAS} above the random ordering lower bound is \classNP-hard in the same rational weights scenario, when $k=1$. Our findings unravel intricate connections between structure of MaxSTs and directed cycles, use perfect graph theorem to tackle rational weights, and raise graph-theoretic questions that are interesting on their own. Of another importance, this is one of the few examples of positive ``above guarantee'' results for a weighted problem on directed graphs, especially for rational weights.

Problem

• Maximum Acyclic Subgraph
• Directed Acyclic Graph
• Maximum Spanning Tree
• Weighted Graph
• Above Guarantee

Innovation

• Maximum Acyclic Subgraph
• Maximum Spanning Tree
• Parameterized Algorithm
• Above Guarantee
• Directed Graph