Finding Degree-Constrained Acyclic Orientations

Conference Paper (2023)
Author(s)

Jaroslav Garvardt (Friedrich Schiller University Jena, Philipps-University Marburg)

Malte Renken (Technical University of Berlin)

J. Schestag (TU Delft - Discrete Mathematics and Optimization, Philipps-University Marburg, Friedrich Schiller University Jena)

Mathias Weller (Technical University of Berlin)

Research Group
Discrete Mathematics and Optimization
Copyright
© 2023 Jaroslav Garvardt, Malte Renken, J. Schestag, Mathias Weller
DOI related publication
https://doi.org/10.4230/LIPIcs.IPEC.2023.19
More Info
expand_more
Publication Year
2023
Language
English
Copyright
© 2023 Jaroslav Garvardt, Malte Renken, J. Schestag, Mathias Weller
Research Group
Discrete Mathematics and Optimization
ISBN (electronic)
9783959773058
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Abstract

We consider the problem of orienting a given, undirected graph into a (directed) acyclic graph such that the in-degree of each vertex ν is in a prescribed list λ(ν). 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 λ(ν) contains large "gaps" [Cornuejols, 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 ν for which |λ(ν)| ≥ 2, by the number of vertices ν for which the highest value in λ(ν) 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].