4,506 research outputs found
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
Algorithmic Aspects of Switch Cographs
This paper introduces the notion of involution module, the first
generalization of the modular decomposition of 2-structure which has a unique
linear-sized decomposition tree. We derive an O(n^2) decomposition algorithm
and we take advantage of the involution modular decomposition tree to state
several algorithmic results. Cographs are the graphs that are totally
decomposable w.r.t modular decomposition. In a similar way, we introduce the
class of switch cographs, the class of graphs that are totally decomposable
w.r.t involution modular decomposition. This class generalizes the class of
cographs and is exactly the class of (Bull, Gem, Co-Gem, C_5)-free graphs. We
use our new decomposition tool to design three practical algorithms for the
maximum cut, vertex cover and vertex separator problems. The complexity of
these problems was still unknown for this class of graphs. This paper also
improves the complexity of the maximum clique, the maximum independant set, the
chromatic number and the maximum clique cover problems by giving efficient
algorithms, thanks to the decomposition tree. Eventually, we show that this
class of graphs has Clique-Width at most 4 and that a Clique-Width expression
can be computed in linear time
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
- …