DAG-width is PSPACE-complete

• Main Authors: Amiri, Saeed Akhoondian, Kreutzer, Stephan, Rabinovich, Roman
• Format: Journal Article
• Language: English
• Published: 10-11-2014
• Subjects: Computer Science - Discrete Mathematics
• DOI: 10.48550/arxiv.1411.2438

Berwanger et al. show that for every graph $G$ of size $n$ and DAG-width $k$
there is a DAG decomposition of width $k$ and size $n^{O(k)}$. This gives a
polynomial time algorithm for determining the DAG-width of a graph for any
fixed $k$. However, if the DAG-width of the graphs from a class is not bounded,
such algorithms become exponential. This raises the question whether we can
always find a DAG decomposition of size polynomial in $n$ as it is the case for
tree width and all generalisations of tree width similar to DAG-width.
We show that there is an infinite class of graphs such that every DAG
decomposition of optimal width has size super-polynomial in $n$ and, moreover,
there is no polynomial size DAG decomposition which would approximate an
optimal decomposition up to an additive constant.
In the second part we use our construction to prove that deciding whether the
DAG-width of a given graph is at most a given constant is PSPACE-complete.