ProV Logo
0
DAG-width is PSPACE-complete
Amiri, Saeed Akhoond...

Free

DAG-width is PSPACE-complete by Amiri, Saeed Akhoondian ( Author )
Lemonjar Open Access
N.A
10-11-2014
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 nO(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.
-
Article
pdf
36.88 KB
English
-
MYR 0.01
-
http://arxiv.org/abs/1411.2438
Share this eBook