6,406 research outputs found
Structurally Parameterized d-Scattered Set
In -Scattered Set we are given an (edge-weighted) graph and are asked to
select at least vertices, so that the distance between any pair is at least
, thus generalizing Independent Set. We provide upper and lower bounds on
the complexity of this problem with respect to various standard graph
parameters. In particular, we show the following:
- For any , an -time algorithm, where
is the treewidth of the input graph.
- A tight SETH-based lower bound matching this algorithm's performance. These
generalize known results for Independent Set.
- -Scattered Set is W[1]-hard parameterized by vertex cover (for
edge-weighted graphs), or feedback vertex set (for unweighted graphs), even if
is an additional parameter.
- A single-exponential algorithm parameterized by vertex cover for unweighted
graphs, complementing the above-mentioned hardness.
- A -time algorithm parameterized by tree-depth
(), as well as a matching ETH-based lower bound, both for
unweighted graphs.
We complement these mostly negative results by providing an FPT approximation
scheme parameterized by treewidth. In particular, we give an algorithm which,
for any error parameter , runs in time
and returns a
-scattered set of size , if a -scattered set of the same
size exists
Approximate Turing Kernelization for Problems Parameterized by Treewidth
We extend the notion of lossy kernelization, introduced by Lokshtanov et al.
[STOC 2017], to approximate Turing kernelization. An -approximate
Turing kernel for a parameterized optimization problem is a polynomial-time
algorithm that, when given access to an oracle that outputs -approximate
solutions in time, obtains an -approximate solution to
the considered problem, using calls to the oracle of size at most for
some function that only depends on the parameter.
Using this definition, we show that Independent Set parameterized by
treewidth has a -approximate Turing kernel with
vertices, answering an open question posed by
Lokshtanov et al. [STOC 2017]. Furthermore, we give
-approximate Turing kernels for the following graph problems
parameterized by treewidth: Vertex Cover, Edge Clique Cover, Edge-Disjoint
Triangle Packing and Connected Vertex Cover.
We generalize the result for Independent Set and Vertex Cover, by showing
that all graph problems that we will call "friendly" admit
-approximate Turing kernels of polynomial size when
parameterized by treewidth. We use this to obtain approximate Turing kernels
for Vertex-Disjoint -packing for connected graphs , Clique Cover,
Feedback Vertex Set and Edge Dominating Set
Tight Lower Bounds for Problems Parameterized by Rank-Width
We show that there is no 2o(k2)nO(1) time algorithm for Independent Set on n-vertex graphs with rank-width k, unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the 2O(k2)nO(1) time algorithm given by Bui-Xuan, Telle, and Vatshelle [Discret. Appl. Math., 2010] and it answers the open question of Bergougnoux and Kanté [SIAM J. Discret. Math., 2021]. We also show that the known 2O(k2)nO(1) time algorithms for Weighted Dominating Set, Maximum Induced Matching and Feedback Vertex Set parameterized by rank-width k are optimal assuming ETH. Our results are the first tight ETH lower bounds parameterized by rank-width that do not follow directly from lower bounds for n-vertex graphs
Improved Algorithms and Combinatorial Bounds for Independent Feedback Vertex Set
In this paper we study the "independent" version of the classic Feedback Vertex Set problem in the realm of parameterized algorithms and moderately exponential time algorithms. More precisely, we study the Independent Feedback Vertex Set problem, where we are given an undirected graph G on n vertices and a positive integer k, and the objective is to check if there is an independent feedback vertex set of size at most k. A set S subseteq V(G) is called an independent feedback vertex set (ifvs) if S is an independent set and GS is a forest. In this paper we design two deterministic exact algorithms for Independent Feedback Vertex Set with running times O*(4.1481^k) and O*(1.5981^n). In fact, the algorithm with O*(1.5981^n) running time finds the smallest sized ifvs, if an ifvs exists. Both the algorithms are based on interesting measures and improve the best known algorithms for the problem in their respective domains. In particular, the algorithm with running time O*(4.1481^k) is an improvement over the previous algorithm that ran in time O*(5^k). On the other hand, the algorithm with running time O*(1.5981^n) is the first moderately exponential time algorithm that improves over the naive algorithm that enumerates all the subsets of V(G). Additionally, we show that the number of minimal ifvses in any graph on n vertices is upper bounded by 1.7485^n
Linear-Time Kernelization for Feedback Vertex Set
In this paper, we give an algorithm that, given an undirected graph G of m edges and an integer k, computes a graph G\u27 and an integer k\u27 in O(k^4 m) time such that (1) the size of the graph G\u27 is O(k^2), (2) k\u27 leq k, and (3) G has a feedback vertex set of size at most k if and only if G\u27 has a feedback vertex set of size at most k\u27. This is the first linear-time polynomial-size kernel for Feedback Vertex Set. The size of our kernel is 2k^2+k vertices and 4k^2 edges, which is smaller than the previous best of 4k^2 vertices and 8k^2 edges. Thus, we improve the size and the running time simultaneously. We note that under the assumption of NP notsubseteq coNP/poly, Feedback Vertex Set does not admit an O(k^{2-epsilon})-size kernel for any epsilon>0.
Our kernel exploits k-submodular relaxation, which is a recently developed technique for obtaining efficient FPT algorithms for various problems. The dual of k-submodular relaxation of Feedback Vertex Set can be seen as a half-integral variant of A-path packing, and to obtain the linear-time complexity, we give an efficient augmenting-path algorithm for this problem. We believe that this combinatorial algorithm is of independent interest.
A solver based on the proposed method won first place in the 1st Parameterized Algorithms and Computational Experiments (PACE) challenge
Parameterized Complexity of Graph Constraint Logic
Graph constraint logic is a framework introduced by Hearn and Demaine, which
provides several problems that are often a convenient starting point for
reductions. We study the parameterized complexity of Constraint Graph
Satisfiability and both bounded and unbounded versions of Nondeterministic
Constraint Logic (NCL) with respect to solution length, treewidth and maximum
degree of the underlying constraint graph as parameters. As a main result we
show that restricted NCL remains PSPACE-complete on graphs of bounded
bandwidth, strengthening Hearn and Demaine's framework. This allows us to
improve upon existing results obtained by reduction from NCL. We show that
reconfiguration versions of several classical graph problems (including
independent set, feedback vertex set and dominating set) are PSPACE-complete on
planar graphs of bounded bandwidth and that Rush Hour, generalized to boards, is PSPACE-complete even when is at most a constant
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
Dynamic Parameterized Problems and Algorithms
Fixed-parameter algorithms and kernelization are two powerful methods to solve NP-hard problems. Yet, so far those algorithms have been largely restricted to static inputs. In this paper we provide fixed-parameter algorithms and kernelizations for fundamental NP-hard problems with dynamic inputs. We consider a variety of parameterized graph and hitting set problems which are known to have f(k)n^{1+o(1)} time algorithms on inputs of size n, and we consider the question of whether there is a data structure that supports small updates (such as edge/vertex/set/element insertions and deletions) with an update time of g(k)n^{o(1)}; such an update time would be essentially optimal. Update and query times independent of n are particularly desirable. Among many other results, we show that Feedback Vertex Set and k-Path admit dynamic algorithms with f(k)log O(1) n update and query times for some function f depending on the solution size k only.
We complement our positive results by several conditional and unconditional lower bounds. For example, we show that unlike their undirected counterparts, Directed Feedback Vertex Set and Directed k-Path do not admit dynamic algorithms with n^{o(1) } update and query times even for constant solution sizes k <= 3, assuming popular hardness hypotheses. We also show that unconditionally, in the cell probe model, Directed Feedback Vertex Set cannot be solved with update time that is purely a function of k
Finding secluded places of special interest in graphs.
Finding a vertex subset in a graph that satisfies a certain property is one of the most-studied topics
in algorithmic graph theory. The focus herein is often on minimizing or maximizing the size
of the solution, that is, the size of the desired vertex set. In several applications, however, we also
want to limit the âexposureâ of the solution to the rest of the graph. This is the case, for example,
when the solution represents persons that ought to deal with sensitive information or a segregated
community. In this work, we thus explore the (parameterized) complexity of finding such secluded
vertex subsets for a wide variety of properties that they shall fulfill. More precisely, we study the
constraint that the (open or closed) neighborhood of the solution shall be bounded by a parameter
and the influence of this constraint on the complexity of minimizing separators, feedback vertex
sets, F-free vertex deletion sets, dominating sets, and the maximization of independent sets
- âŠ