359 research outputs found
Fully polynomial FPT algorithms for some classes of bounded clique-width graphs
Parameterized complexity theory has enabled a refined classification of the
difficulty of NP-hard optimization problems on graphs with respect to key
structural properties, and so to a better understanding of their true
difficulties. More recently, hardness results for problems in P were achieved
using reasonable complexity theoretic assumptions such as: Strong Exponential
Time Hypothesis (SETH), 3SUM and All-Pairs Shortest-Paths (APSP). According to
these assumptions, many graph theoretic problems do not admit truly
subquadratic algorithms, nor even truly subcubic algorithms (Williams and
Williams, FOCS 2010 and Abboud, Grandoni, Williams, SODA 2015). A central
technique used to tackle the difficulty of the above mentioned problems is
fixed-parameter algorithms for polynomial-time problems with polynomial
dependency in the fixed parameter (P-FPT). This technique was introduced by
Abboud, Williams and Wang in SODA 2016 and continued by Husfeldt (IPEC 2016)
and Fomin et al. (SODA 2017), using the treewidth as a parameter. Applying this
technique to clique-width, another important graph parameter, remained to be
done. In this paper we study several graph theoretic problems for which
hardness results exist such as cycle problems (triangle detection, triangle
counting, girth, diameter), distance problems (diameter, eccentricities, Gromov
hyperbolicity, betweenness centrality) and maximum matching. We provide
hardness results and fully polynomial FPT algorithms, using clique-width and
some of its upper-bounds as parameters (split-width, modular-width and
-sparseness). We believe that our most important result is an -time algorithm for computing a maximum matching where
is either the modular-width or the -sparseness. The latter generalizes
many algorithms that have been introduced so far for specific subclasses such
as cographs, -lite graphs, -extendible graphs and -tidy
graphs. Our algorithms are based on preprocessing methods using modular
decomposition, split decomposition and primeval decomposition. Thus they can
also be generalized to some graph classes with unbounded clique-width
Solving Problems on Graphs of High Rank-Width
A modulator of a graph G to a specified graph class H is a set of vertices
whose deletion puts G into H. The cardinality of a modulator to various
tractable graph classes has long been used as a structural parameter which can
be exploited to obtain FPT algorithms for a range of hard problems. Here we
investigate what happens when a graph contains a modulator which is large but
"well-structured" (in the sense of having bounded rank-width). Can such
modulators still be exploited to obtain efficient algorithms? And is it even
possible to find such modulators efficiently?
We first show that the parameters derived from such well-structured
modulators are strictly more general than the cardinality of modulators and
rank-width itself. Then, we develop an FPT algorithm for finding such
well-structured modulators to any graph class which can be characterized by a
finite set of forbidden induced subgraphs. We proceed by showing how
well-structured modulators can be used to obtain efficient parameterized
algorithms for Minimum Vertex Cover and Maximum Clique. Finally, we use
well-structured modulators to develop an algorithmic meta-theorem for deciding
problems expressible in Monadic Second Order (MSO) logic, and prove that this
result is tight in the sense that it cannot be generalized to LinEMSO problems.Comment: Accepted at WADS 201
Parameterized Approximation Schemes using Graph Widths
Combining the techniques of approximation algorithms and parameterized
complexity has long been considered a promising research area, but relatively
few results are currently known. In this paper we study the parameterized
approximability of a number of problems which are known to be hard to solve
exactly when parameterized by treewidth or clique-width. Our main contribution
is to present a natural randomized rounding technique that extends well-known
ideas and can be used for both of these widths. Applying this very generic
technique we obtain approximation schemes for a number of problems, evading
both polynomial-time inapproximability and parameterized intractability bounds
Parameterized Edge Hamiltonicity
We study the parameterized complexity of the classical Edge Hamiltonian Path
problem and give several fixed-parameter tractability results. First, we settle
an open question of Demaine et al. by showing that Edge Hamiltonian Path is FPT
parameterized by vertex cover, and that it also admits a cubic kernel. We then
show fixed-parameter tractability even for a generalization of the problem to
arbitrary hypergraphs, parameterized by the size of a (supplied) hitting set.
We also consider the problem parameterized by treewidth or clique-width.
Surprisingly, we show that the problem is FPT for both of these standard
parameters, in contrast to its vertex version, which is W-hard for
clique-width. Our technique, which may be of independent interest, relies on a
structural characterization of clique-width in terms of treewidth and complete
bipartite subgraphs due to Gurski and Wanke
Faster Existential FO Model Checking on Posets
We prove that the model checking problem for the existential fragment of
first-order (FO) logic on partially ordered sets is fixed-parameter tractable
(FPT) with respect to the formula and the width of a poset (the maximum size of
an antichain). While there is a long line of research into FO model checking on
graphs, the study of this problem on posets has been initiated just recently by
Bova, Ganian and Szeider (CSL-LICS 2014), who proved that the existential
fragment of FO has an FPT algorithm for a poset of fixed width. We improve upon
their result in two ways: (1) the runtime of our algorithm is
O(f(|{\phi}|,w).n^2) on n-element posets of width w, compared to O(g(|{\phi}|).
n^{h(w)}) of Bova et al., and (2) our proofs are simpler and easier to follow.
We complement this result by showing that, under a certain
complexity-theoretical assumption, the existential FO model checking problem
does not have a polynomial kernel.Comment: Paper as accepted to the LMCS journal. An extended abstract of an
earlier version of this paper has appeared at ISAAC'14. Main changes to the
previous version are improvements in the Multicoloured Clique part (Section
4
Computations by fly-automata beyond monadic second-order logic
We present logically based methods for constructing XP and FPT graph
algorithms, parametrized by tree-width or clique-width. We will use
fly-automata introduced in a previous article. They make possible to check
properties that are not monadic second-order expressible because their states
may include counters, so that their sets of states may be infinite. We equip
these automata with output functions, so that they can compute values
associated with terms or graphs. Rather than new algorithmic results we present
tools for constructing easily certain dynamic programming algorithms by
combining predefined automata for basic functions and properties.Comment: Accepted for publication in Theoretical Computer Scienc
Oriented coloring on recursively defined digraphs
Coloring is one of the most famous problems in graph theory. The coloring
problem on undirected graphs has been well studied, whereas there are very few
results for coloring problems on directed graphs. An oriented k-coloring of an
oriented graph G=(V,A) is a partition of the vertex set V into k independent
sets such that all the arcs linking two of these subsets have the same
direction. The oriented chromatic number of an oriented graph G is the smallest
k such that G allows an oriented k-coloring. Deciding whether an acyclic
digraph allows an oriented 4-coloring is NP-hard. It follows, that finding the
chromatic number of an oriented graph is an NP-hard problem. This motivates to
consider the problem on oriented co-graphs. After giving several
characterizations for this graph class, we show a linear time algorithm which
computes an optimal oriented coloring for an oriented co-graph. We further
prove how the oriented chromatic number can be computed for the disjoint union
and order composition from the oriented chromatic number of the involved
oriented co-graphs. It turns out that within oriented co-graphs the oriented
chromatic number is equal to the length of a longest oriented path plus one. We
also show that the graph isomorphism problem on oriented co-graphs can be
solved in linear time.Comment: 14 page
- …