22 research outputs found
Kernels for Feedback Arc Set In Tournaments
A tournament T=(V,A) is a directed graph in which there is exactly one arc
between every pair of distinct vertices. Given a digraph on n vertices and an
integer parameter k, the Feedback Arc Set problem asks whether the given
digraph has a set of k arcs whose removal results in an acyclic digraph. The
Feedback Arc Set problem restricted to tournaments is known as the k-Feedback
Arc Set in Tournaments (k-FAST) problem. In this paper we obtain a linear
vertex kernel for k-FAST. That is, we give a polynomial time algorithm which
given an input instance T to k-FAST obtains an equivalent instance T' on O(k)
vertices. In fact, given any fixed e>0, the kernelized instance has at most
(2+e)k vertices. Our result improves the previous known bound of O(k^2) on the
kernel size for k-FAST. Our kernelization algorithm solves the problem on a
subclass of tournaments in polynomial time and uses a known polynomial time
approximation scheme for k-FAST
Parameterized Algorithms for Modular-Width
It is known that a number of natural graph problems which are FPT
parameterized by treewidth become W-hard when parameterized by clique-width. It
is therefore desirable to find a different structural graph parameter which is
as general as possible, covers dense graphs but does not incur such a heavy
algorithmic penalty.
The main contribution of this paper is to consider a parameter called
modular-width, defined using the well-known notion of modular decompositions.
Using a combination of ILPs and dynamic programming we manage to design FPT
algorithms for Coloring and Partitioning into paths (and hence Hamiltonian path
and Hamiltonian cycle), which are W-hard for both clique-width and its recently
introduced restriction, shrub-depth. We thus argue that modular-width occupies
a sweet spot as a graph parameter, generalizing several simpler notions on
dense graphs but still evading the "price of generality" paid by clique-width.Comment: to appear in IPEC 2013. arXiv admin note: text overlap with
arXiv:1304.5479 by other author
Polynomial Kernels for Deletion to Classes of Acyclic Digraphs
We consider the problem to find a set X of vertices (or arcs) with |X| <= k in a given digraph G such that D = G-X is an acyclic digraph. In its generality, this is DIRECTED FEEDBACK VERTEX SET or DIRECTED FEEDBACK ARC SET respectively. The existence of a polynomial kernel for these problems is a notorious open problem in the field of kernelization, and little progress has been made.
In this paper, we consider both deletion problems with an additional restriction on D, namely that D must be an out-forest, an out-tree, or a (directed) pumpkin. Our main results show that for each of these three restrictions the vertex deletion problem remains NP-hard, but we can obtain a kernel with k^{O(1)} vertices on general digraphs G. We also show that, in contrast to the vertex deletion problem, the arc deletion problem with each of the above restrictions can be solved in polynomial time
Feedback Vertex Sets in Tournaments
We study combinatorial and algorithmic questions around minimal feedback
vertex sets in tournament graphs.
On the combinatorial side, we derive strong upper and lower bounds on the
maximum number of minimal feedback vertex sets in an n-vertex tournament. We
prove that every tournament on n vertices has at most 1.6740^n minimal feedback
vertex sets, and that there is an infinite family of tournaments, all having at
least 1.5448^n minimal feedback vertex sets. This improves and extends the
bounds of Moon (1971).
On the algorithmic side, we design the first polynomial space algorithm that
enumerates the minimal feedback vertex sets of a tournament with polynomial
delay. The combination of our results yields the fastest known algorithm for
finding a minimum size feedback vertex set in a tournament
A survey on algorithmic aspects of modular decomposition
The modular decomposition is a technique that applies but is not restricted
to graphs. The notion of module naturally appears in the proofs of many graph
theoretical theorems. Computing the modular decomposition tree is an important
preprocessing step to solve a large number of combinatorial optimization
problems. Since the first polynomial time algorithm in the early 70's, the
algorithmic of the modular decomposition has known an important development.
This paper survey the ideas and techniques that arose from this line of
research