50 research outputs found
Kernel Bounds for Structural Parameterizations of Pathwidth
Assuming the AND-distillation conjecture, the Pathwidth problem of
determining whether a given graph G has pathwidth at most k admits no
polynomial kernelization with respect to k. The present work studies the
existence of polynomial kernels for Pathwidth with respect to other,
structural, parameters. Our main result is that, unless NP is in coNP/poly,
Pathwidth admits no polynomial kernelization even when parameterized by the
vertex deletion distance to a clique, by giving a cross-composition from
Cutwidth. The cross-composition works also for Treewidth, improving over
previous lower bounds by the present authors. For Pathwidth, our result rules
out polynomial kernels with respect to the distance to various classes of
polynomial-time solvable inputs, like interval or cluster graphs. This leads to
the question whether there are nontrivial structural parameters for which
Pathwidth does admit a polynomial kernelization. To answer this, we give a
collection of graph reduction rules that are safe for Pathwidth. We analyze the
success of these results and obtain polynomial kernelizations with respect to
the following parameters: the size of a vertex cover of the graph, the vertex
deletion distance to a graph where each connected component is a star, and the
vertex deletion distance to a graph where each connected component has at most
c vertices.Comment: This paper contains the proofs omitted from the extended abstract
published in the proceedings of Algorithm Theory - SWAT 2012 - 13th
Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 201
TREEWIDTH and PATHWIDTH parameterized by vertex cover
After the number of vertices, Vertex Cover is the largest of the classical
graph parameters and has more and more frequently been used as a separate
parameter in parameterized problems, including problems that are not directly
related to the Vertex Cover. Here we consider the TREEWIDTH and PATHWIDTH
problems parameterized by k, the size of a minimum vertex cover of the input
graph. We show that the PATHWIDTH and TREEWIDTH can be computed in O*(3^k)
time. This complements recent polynomial kernel results for TREEWIDTH and
PATHWIDTH parameterized by the Vertex Cover
Exponential Time Paradigms Through the Polynomial Time Lens
We propose a general approach to modelling algorithmic paradigms for the exact solution of NP-hard problems. Our approach is based on polynomial time reductions to succinct versions of problems solvable in polynomial time. We use this viewpoint to explore and compare the power of paradigms such as branching and dynamic programming, and to shed light on the true complexity of various problems.
As one instantiation, we model branching using the notion of witness compression, i.e., reducibility to the circuit satisfiability problem parameterized by the number of variables of the circuit. We show this is equivalent to the previously studied notion of `OPP-algorithms\u27, and provide a technique for proving conditional lower bounds for witness compressions via a constructive variant of AND-composition, which is a notion previously studied in theory of preprocessing. In the context of parameterized complexity we use this to show that problems such as Pathwidth and Treewidth and Independent Set parameterized by pathwidth do not have witness compression, assuming NP subseteq coNP/poly. Since these problems admit fast fixed parameter tractable algorithms via dynamic programming, this shows that dynamic programming can be stronger than branching, under a standard complexity hypothesis. Our approach has applications outside parameterized complexity as well: for example, we show if a polynomial time algorithm outputs a maximum independent set of a given planar graph on n vertices with probability exp(-n^{1-epsilon}) for some epsilon>0, then NP subseteq coNP/poly. This negative result dims the prospects for one very natural approach to sub-exponential time algorithms for problems on planar graphs.
As two other illustrations (more exploratory) of our approach, we model algorithms based on inclusion-exclusion or group algebras via the notion of "parity compression", and we model a subclass of dynamic programming algorithms with the notion of "disjunctive dynamic programming". These models give us a way to naturally classify various parameterized problems with FPT algorithms. In the case of the dynamic programming model, we show that Independent Set parameterized by pathwidth is complete for this model