A $\frac{4}{3}$-Approximation for the Maximum Leaf Spanning Arborescence Problem in DAGs

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteur principal: Neuwohner, Meike
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866929410455633920
author Neuwohner, Meike
author_facet Neuwohner, Meike
contents The Maximum Leaf Spanning Arborescence problem (MLSA) is defined as follows: Given a directed graph $G$ and a vertex $r\in V(G)$ from which every other vertex is reachable, find a spanning arborescence rooted at $r$ maximizing the number of leaves (vertices with out-degree zero). The MLSA has applications in broadcasting, where a message needs to be transferred from a source vertex to all other vertices along the arcs of an arborescence in a given network. In doing so, it is desirable to have as many vertices as possible that only need to receive, but not pass on messages since they are inherently cheaper to build. We study polynomial-time approximation algorithms for the MLSA. For general digraphs, the state-of-the-art is a $\min\{\sqrt{\mathrm{OPT}},92\}$-approximation. In the (still APX-hard) special case where the input graph is acyclic, the best known approximation guarantee of $\frac{7}{5}$ is due to Fernandes and Lintzmayer: They prove that any $α$-approximation for the \emph{hereditary $3$-set packing problem}, a special case of weighted $3$-set packing, yields a $\max\{\frac{4}{3},α\}$-approximation for the MLSA in acyclic digraphs (dags), and provide a $\frac{7}{5}$-approximation for the hereditary $3$-set packing problem. In this paper, we obtain a $\frac{4}{3}$-approximation for the hereditary $3$-set packing problem, and, thus, also for the MLSA in dags. In doing so, we manage to leverage the full potential of the reduction provided by Fernandes and Lintzmayer. The algorithm that we study is a simple local search procedure considering swaps of size up to $10$. Its analysis relies on a two-stage charging argument.
format Preprint
id arxiv_https___arxiv_org_abs_2407_04342
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle A $\frac{4}{3}$-Approximation for the Maximum Leaf Spanning Arborescence Problem in DAGs
Neuwohner, Meike
Data Structures and Algorithms
The Maximum Leaf Spanning Arborescence problem (MLSA) is defined as follows: Given a directed graph $G$ and a vertex $r\in V(G)$ from which every other vertex is reachable, find a spanning arborescence rooted at $r$ maximizing the number of leaves (vertices with out-degree zero). The MLSA has applications in broadcasting, where a message needs to be transferred from a source vertex to all other vertices along the arcs of an arborescence in a given network. In doing so, it is desirable to have as many vertices as possible that only need to receive, but not pass on messages since they are inherently cheaper to build. We study polynomial-time approximation algorithms for the MLSA. For general digraphs, the state-of-the-art is a $\min\{\sqrt{\mathrm{OPT}},92\}$-approximation. In the (still APX-hard) special case where the input graph is acyclic, the best known approximation guarantee of $\frac{7}{5}$ is due to Fernandes and Lintzmayer: They prove that any $α$-approximation for the \emph{hereditary $3$-set packing problem}, a special case of weighted $3$-set packing, yields a $\max\{\frac{4}{3},α\}$-approximation for the MLSA in acyclic digraphs (dags), and provide a $\frac{7}{5}$-approximation for the hereditary $3$-set packing problem. In this paper, we obtain a $\frac{4}{3}$-approximation for the hereditary $3$-set packing problem, and, thus, also for the MLSA in dags. In doing so, we manage to leverage the full potential of the reduction provided by Fernandes and Lintzmayer. The algorithm that we study is a simple local search procedure considering swaps of size up to $10$. Its analysis relies on a two-stage charging argument.
title A $\frac{4}{3}$-Approximation for the Maximum Leaf Spanning Arborescence Problem in DAGs
topic Data Structures and Algorithms
url https://arxiv.org/abs/2407.04342