946 research outputs found
Parameterized Algorithms for Generalizations of Directed Feedback Vertex Set
The Directed Feedback Vertex Set (DFVS) problem takes as input a directed
graph~ and seeks a smallest vertex set~ that hits all cycles in . This
is one of Karp's 21 -complete problems. Resolving the
parameterized complexity status of DFVS was a long-standing open problem until
Chen et al. [STOC 2008, J. ACM 2008] showed its fixed-parameter tractability
via a -time algorithm, where .
Here we show fixed-parameter tractability of two generalizations of DFVS:
- Find a smallest vertex set such that every strong component of
has size at most~: we give an algorithm solving this problem in time
. This generalizes an algorithm by Xiao
[JCSS 2017] for the undirected version of the problem.
- Find a smallest vertex set such that every non-trivial strong component
of is 1-out-regular: we give an algorithm solving this problem in time
.
We also solve the corresponding arc versions of these problems by
fixed-parameter algorithms
Parameterized Directed -Chinese Postman Problem and Arc-Disjoint Cycles Problem on Euler Digraphs
In the Directed -Chinese Postman Problem (-DCPP), we are given a
connected weighted digraph and asked to find non-empty closed directed
walks covering all arcs of such that the total weight of the walks is
minimum. Gutin, Muciaccia and Yeo (Theor. Comput. Sci. 513 (2013) 124--128)
asked for the parameterized complexity of -DCPP when is the parameter.
We prove that the -DCPP is fixed-parameter tractable.
We also consider a related problem of finding arc-disjoint directed
cycles in an Euler digraph, parameterized by . Slivkins (ESA 2003) showed
that this problem is W[1]-hard for general digraphs. Generalizing another
result by Slivkins, we prove that the problem is fixed-parameter tractable for
Euler digraphs. The corresponding problem on vertex-disjoint cycles in Euler
digraphs remains W[1]-hard even for Euler digraphs
Parameterized Algorithms for Directed Maximum Leaf Problems
We prove that finding a rooted subtree with at least leaves in a digraph
is a fixed parameter tractable problem. A similar result holds for finding
rooted spanning trees with many leaves in digraphs from a wide family
that includes all strong and acyclic digraphs. This settles completely an open
question of Fellows and solves another one for digraphs in . Our
algorithms are based on the following combinatorial result which can be viewed
as a generalization of many results for a `spanning tree with many leaves' in
the undirected case, and which is interesting on its own: If a digraph of order with minimum in-degree at least 3 contains a rooted
spanning tree, then contains one with at least leaves
Parameterized Inapproximability of Target Set Selection and Generalizations
In this paper, we consider the Target Set Selection problem: given a graph
and a threshold value for any vertex of the graph, find a minimum
size vertex-subset to "activate" s.t. all the vertices of the graph are
activated at the end of the propagation process. A vertex is activated
during the propagation process if at least of its neighbors are
activated. This problem models several practical issues like faults in
distributed networks or word-to-mouth recommendations in social networks. We
show that for any functions and this problem cannot be approximated
within a factor of in time, unless FPT = W[P],
even for restricted thresholds (namely constant and majority thresholds). We
also study the cardinality constraint maximization and minimization versions of
the problem for which we prove similar hardness results
A Linear Time Parameterized Algorithm for Node Unique Label Cover
The optimization version of the Unique Label Cover problem is at the heart of
the Unique Games Conjecture which has played an important role in the proof of
several tight inapproximability results. In recent years, this problem has been
also studied extensively from the point of view of parameterized complexity.
Cygan et al. [FOCS 2012] proved that this problem is fixed-parameter tractable
(FPT) and Wahlstr\"om [SODA 2014] gave an FPT algorithm with an improved
parameter dependence. Subsequently, Iwata, Wahlstr\"om and Yoshida [2014]
proved that the edge version of Unique Label Cover can be solved in linear
FPT-time. That is, there is an FPT algorithm whose dependence on the input-size
is linear. However, such an algorithm for the node version of the problem was
left as an open problem. In this paper, we resolve this question by presenting
the first linear-time FPT algorithm for Node Unique Label Cover
Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms
We present two new combinatorial tools for the design of parameterized
algorithms. The first is a simple linear time randomized algorithm that given
as input a -degenerate graph and an integer , outputs an independent
set , such that for every independent set in of size at most ,
the probability that is a subset of is at least .The second is a new (deterministic) polynomial
time graph sparsification procedure that given a graph , a set of terminal pairs and an
integer , returns an induced subgraph of that maintains all
the inclusion minimal multicuts of of size at most , and does not
contain any -vertex connected set of size . In
particular, excludes a clique of size as a
topological minor. Put together, our new tools yield new randomized fixed
parameter tractable (FPT) algorithms for Stable - Separator, Stable Odd
Cycle Transversal and Stable Multicut on general graphs, and for Stable
Directed Feedback Vertex Set on -degenerate graphs, resolving two problems
left open by Marx et al. [ACM Transactions on Algorithms, 2013]. All of our
algorithms can be derandomized at the cost of a small overhead in the running
time.Comment: 35 page
- …