In terms of laymen
Sometimes the connections of an undirected network need to be assigned directions while obeying local restrictions on how many connections may point into each vertex, and without creating any directed cycles. This paper shows that this task is difficult in general but can be solved efficiently in important cases arising from evolutionary networks when the underlying structure or the number of ambiguous choices is sufficiently simple.
In Laiensprache (German translation)
Manchmal müssen den Verbindungen eines ungerichteten Netzwerks Richtungen zugewiesen werden, wobei für jeden Knoten Einschränkungen gelten, wie viele Verbindungen auf ihn zeigen dürfen, und gleichzeitig keine gerichteten Kreise entstehen sollen. Diese Arbeit zeigt, dass diese Aufgabe im Allgemeinen schwierig ist, sich aber in wichtigen Fällen aus dem Bereich evolutionärer Netzwerke effizient lösen lässt, wenn die zugrundeliegende Struktur oder die Anzahl mehrdeutiger Entscheidungen hinreichend einfach ist.
Abstract
We consider the problem of orienting a given, undirected graph into a (directed) acyclic graph such that the in-degree of each vertex \(v\) is in a prescribed list \(\lambda(v)\). Variants of this problem have been studied for a long time and with various applications, but mostly without the requirement for acyclicity. Without this requirement, the problem is closely related to the classical General Factor problem, which is known to be NP-hard in general, but polynomial-time solvable if no list \(\lambda(v)\) contains large “gaps” [Cornuéjols, J. Comb. Theory B, 1988]. In contrast, we show that deciding if an acyclic orientation exists is NP-hard even in the absence of such “gaps”.
On the positive side, we design parameterized algorithms for various, natural parameterizations of the acyclic orientation problem. A special case of the orientation problem with degree constraints recently came up in the context of reconstructing evolutionary histories (that is, phylogenetic networks). This phylogenetic setting imposes additional structure onto the problem that can be exploited algorithmically, allowing us to show fixed-parameter tractability when parameterized by either the treewidth of \(G\) (a smaller parameter than the frequently employed “level”), by the number of vertices \(v\) for which \(|\lambda(v)| \geq 2\), by the number of vertices \(v\) for which the highest value in \(\lambda(v)\) is at least 2. While the latter result can be extended to the general degree-constraint acyclic orientation problem, we show that the former cannot unless FPT=W[1].
@inproceedings{garvardt2023finding,
title = {{Finding Degree-Constrained Acyclic Orientations}},
author = {Garvardt, Jaroslav and Renken, Malte and Schestag, Jannik and Weller, Mathias},
booktitle = {Proceedings of the 18th International Symposium on Parameterized and Exact Computation (IPEC 2023)},
pages = {19:1--19:14},
year = {2023},
organization = {Schloss-Dagstuhl-Leibniz Zentrum f{\"u}r Informatik},
doi = {10.4230/LIPIcs.IPEC.2023.19}
}