101 research outputs found
Meta-Kernelization with Structural Parameters
Meta-kernelization theorems are general results that provide polynomial
kernels for large classes of parameterized problems. The known
meta-kernelization theorems, in particular the results of Bodlaender et al.
(FOCS'09) and of Fomin et al. (FOCS'10), apply to optimization problems
parameterized by solution size. We present the first meta-kernelization
theorems that use a structural parameters of the input and not the solution
size. Let C be a graph class. We define the C-cover number of a graph to be a
the smallest number of modules the vertex set can be partitioned into, such
that each module induces a subgraph that belongs to the class C. We show that
each graph problem that can be expressed in Monadic Second Order (MSO) logic
has a polynomial kernel with a linear number of vertices when parameterized by
the C-cover number for any fixed class C of bounded rank-width (or
equivalently, of bounded clique-width, or bounded Boolean width). Many graph
problems such as Independent Dominating Set, c-Coloring, and c-Domatic Number
are covered by this meta-kernelization result. Our second result applies to MSO
expressible optimization problems, such as Minimum Vertex Cover, Minimum
Dominating Set, and Maximum Clique. We show that these problems admit a
polynomial annotated kernel with a linear number of vertices
Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width
We provide a parameterized polynomial algorithm for the propositional model counting problem #SAT, the runtime of which is single-exponential in the rank-width of a formula. Previously, analogous algorithms have been known --e.g. [Fischer, Makowsky, and Ravve]-- with a single-exponential dependency on the clique-width of a formula. Our algorithm thus presents an exponential runtime improvement (since clique-width reaches up to exponentially higher values than rank-width), and can be of practical interest for small values of rank-width. We also provide an algorithm for the MAX-SAT problem along the same lines
Quantified Conjunctive Queries on Partially Ordered Sets
We study the computational problem of checking whether a quantified
conjunctive query (a first-order sentence built using only conjunction as
Boolean connective) is true in a finite poset (a reflexive, antisymmetric, and
transitive directed graph). We prove that the problem is already NP-hard on a
certain fixed poset, and investigate structural properties of posets yielding
fixed-parameter tractability when the problem is parameterized by the query.
Our main algorithmic result is that model checking quantified conjunctive
queries on posets of bounded width is fixed-parameter tractable (the width of a
poset is the maximum size of a subset of pairwise incomparable elements). We
complement our algorithmic result by complexity results with respect to classes
of finite posets in a hierarchy of natural poset invariants, establishing its
tightness in this sense.Comment: Accepted at IPEC 201
Using Neighborhood Diversity to Solve Hard Problems
Parameterized algorithms are a very useful tool for dealing with NP-hard
problems on graphs. Yet, to properly utilize parameterized algorithms it is
necessary to choose the right parameter based on the type of problem and
properties of the target graph class. Tree-width is an example of a very
successful graph parameter, however it cannot be used on dense graph classes
and there also exist problems which are hard even on graphs of bounded
tree-width. Such problems can be tackled by using vertex cover as a parameter,
however this places severe restrictions on admissible graph classes.
Michael Lampis has recently introduced neighborhood diversity, a new graph
parameter which generalizes vertex cover to dense graphs. Among other results,
he has shown that simple parameterized algorithms exist for a few problems on
graphs of bounded neighborhood diversity. Our article further studies this area
and provides new algorithms parameterized by neighborhood diversity for the
p-Vertex-Disjoint Paths, Graph Motif and Precoloring Extension problems -- the
latter two being hard even on graphs of bounded tree-width
Meta-Kernelization using Well-Structured Modulators
Kernelization investigates exact preprocessing algorithms with performance
guarantees. The most prevalent type of parameters used in kernelization is the
solution size for optimization problems; however, also structural parameters
have been successfully used to obtain polynomial kernels for a wide range of
problems. Many of these parameters can be defined as the size of a smallest
modulator of the given graph into a fixed graph class (i.e., a set of vertices
whose deletion puts the graph into the graph class). Such parameters admit the
construction of polynomial kernels even when the solution size is large or not
applicable. This work follows up on the research on meta-kernelization
frameworks in terms of structural parameters.
We develop a class of parameters which are based on a more general view on
modulators: instead of size, the parameters employ a combination of rank-width
and split decompositions to measure structure inside the modulator. This allows
us to lift kernelization results from modulator-size to more general
parameters, hence providing smaller kernels. We show (i) how such large but
well-structured modulators can be efficiently approximated, (ii) how they can
be used to obtain polynomial kernels for any graph problem expressible in
Monadic Second Order logic, and (iii) how they allow the extension of previous
results in the area of structural meta-kernelization
On Covering Segments with Unit Intervals
We study the problem of covering a set of segments on a line with the minimum number of unit-length intervals, where an interval covers a segment if at least one of the two endpoints of the segment falls in the unit interval. We also study several variants of this problem.
We show that the restrictions of the aforementioned problems to the set of instances in which all the segments have the same length are NP-hard. This result implies several NP-hardness results in the literature for variants and generalizations of the problems under consideration.
We then study the parameterized complexity of the aforementioned problems. We provide tight results for most of them by showing that they are fixed-parameter tractable for the restrictions in which all the segments have the same length, and are W[1]-complete otherwise
- …