DSDMCOFeb 17

Exact and Heuristic Computation of the Scanwidth of Directed Acyclic Graphs

arXiv:2403.127345 citationsh-index: 20
Originality Incremental advance
AI Analysis

For researchers studying tree-likeness in directed acyclic graphs, particularly phylogenetic networks, this work provides the first exact computation method and a practical heuristic.

The paper presents the first exact algorithm for computing the scanwidth of general DAGs, achieving O(k·n^k·m) time for DAGs with one root and scanwidth k, and an FPT algorithm for phylogenetic networks. The heuristic achieves an average approximation ratio of 1.5 on synthetic networks.

To measure the tree-likeness of a directed acyclic graph (DAG), a new width parameter that considers the directions of the arcs was recently introduced: scanwidth. We present the first algorithm that efficiently computes the exact scanwidth of general DAGs. For DAGs with one root and scanwidth $k$ it runs in $O(k \cdot n^k \cdot m)$ time. The algorithm also functions as an FPT algorithm with complexity $O(2^{4 \ell - 1} \cdot \ell \cdot n + n^2)$ for phylogenetic networks of level-$\ell$, a type of DAG used to depict evolutionary relationships among species. Our algorithm performs well in practice, being able to compute the scanwidth of synthetic networks up to 30 reticulations and 100 leaves within 500 seconds. Furthermore, we propose a heuristic that obtains an average practical approximation ratio of 1.5 on these networks. While we prove that the scanwidth is bounded from below by the treewidth of the underlying undirected graph, experiments suggest that for networks the parameters are close in practice.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes