274 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
Brief Announcement: Treewidth Modulator: Emergency Exit for DFVS
In the Directed Feedback Vertex Set (DFVS) problem, we are given as input a directed graph D and an integer k, and the objective is to check whether there exists a set S of at most k vertices such that F=D-S is a directed acyclic graph (DAG). Determining whether DFVS admits a polynomial kernel (parameterized by the solution size) is one of the most important open problems in parameterized complexity. In this article, we give a polynomial kernel for DFVS parameterized by the solution size plus the size of any treewidth-eta modulator, for any positive integer eta. We also give a polynomial kernel for the problem, which we call Vertex Deletion to treewidth-eta DAG, where given as input a directed graph D and a positive integer k, the objective is to decide whether there exists a set of at most k vertices, say S, such that D-S is a DAG and the treewidth of D-S is at most eta
- …