2,832 research outputs found
On the fixed-parameter tractability of the maximum connectivity improvement problem
In the Maximum Connectivity Improvement (MCI) problem, we are given a
directed graph and an integer and we are asked to find new
edges to be added to in order to maximize the number of connected pairs of
vertices in the resulting graph. The MCI problem has been studied from the
approximation point of view. In this paper, we approach it from the
parameterized complexity perspective in the case of directed acyclic graphs. We
show several hardness and algorithmic results with respect to different natural
parameters. Our main result is that the problem is -hard for parameter
and it is FPT for parameters and , the matching number of
. We further characterize the MCI problem with respect to other
complementary parameters.Comment: 15 pages, 1 figur
Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth
We give a fixed-parameter tractable algorithm that, given a parameter and
two graphs , either concludes that one of these graphs has treewidth
at least , or determines whether and are isomorphic. The running
time of the algorithm on an -vertex graph is ,
and this is the first fixed-parameter algorithm for Graph Isomorphism
parameterized by treewidth.
Our algorithm in fact solves the more general canonization problem. We namely
design a procedure working in time that, for a
given graph on vertices, either concludes that the treewidth of is
at least , or: * finds in an isomorphic-invariant way a graph
that is isomorphic to ; * finds an isomorphism-invariant
construction term --- an algebraic expression that encodes together with a
tree decomposition of of width .
Hence, the isomorphism test reduces to verifying whether the computed
isomorphic copies or the construction terms for and are equal.Comment: Full version of a paper presented at FOCS 201
Spatial networks with wireless applications
Many networks have nodes located in physical space, with links more common
between closely spaced pairs of nodes. For example, the nodes could be wireless
devices and links communication channels in a wireless mesh network. We
describe recent work involving such networks, considering effects due to the
geometry (convex,non-convex, and fractal), node distribution,
distance-dependent link probability, mobility, directivity and interference.Comment: Review article- an amended version with a new title from the origina
Bounded Search Tree Algorithms for Parameterized Cograph Deletion: Efficient Branching Rules by Exploiting Structures of Special Graph Classes
Many fixed-parameter tractable algorithms using a bounded search tree have
been repeatedly improved, often by describing a larger number of branching
rules involving an increasingly complex case analysis. We introduce a novel and
general search strategy that branches on the forbidden subgraphs of a graph
class relaxation. By using the class of -sparse graphs as the relaxed
graph class, we obtain efficient bounded search tree algorithms for several
parameterized deletion problems. We give the first non-trivial bounded search
tree algorithms for the cograph edge-deletion problem and the trivially perfect
edge-deletion problems. For the cograph vertex deletion problem, a refined
analysis of the runtime of our simple bounded search algorithm gives a faster
exponential factor than those algorithms designed with the help of complicated
case distinctions and non-trivial running time analysis [21] and computer-aided
branching rules [11].Comment: 23 pages. Accepted in Discrete Mathematics, Algorithms and
Applications (DMAA
On Directed Feedback Vertex Set parameterized by treewidth
We study the Directed Feedback Vertex Set problem parameterized by the
treewidth of the input graph. We prove that unless the Exponential Time
Hypothesis fails, the problem cannot be solved in time on general directed graphs, where is the treewidth of
the underlying undirected graph. This is matched by a dynamic programming
algorithm with running time .
On the other hand, we show that if the input digraph is planar, then the
running time can be improved to .Comment: 20
The Parameterized Complexity of Centrality Improvement in Networks
The centrality of a vertex v in a network intuitively captures how important
v is for communication in the network. The task of improving the centrality of
a vertex has many applications, as a higher centrality often implies a larger
impact on the network or less transportation or administration cost. In this
work we study the parameterized complexity of the NP-complete problems
Closeness Improvement and Betweenness Improvement in which we ask to improve a
given vertex' closeness or betweenness centrality by a given amount through
adding a given number of edges to the network. Herein, the closeness of a
vertex v sums the multiplicative inverses of distances of other vertices to v
and the betweenness sums for each pair of vertices the fraction of shortest
paths going through v. Unfortunately, for the natural parameter "number of
edges to add" we obtain hardness results, even in rather restricted cases. On
the positive side, we also give an island of tractability for the parameter
measuring the vertex deletion distance to cluster graphs
Levelable Sets and the Algebraic Structure of Parameterizations
Asking which sets are fixed-parameter tractable for a given parameterization
constitutes much of the current research in parameterized complexity theory.
This approach faces some of the core difficulties in complexity theory. By
focussing instead on the parameterizations that make a given set
fixed-parameter tractable, we circumvent these difficulties. We isolate
parameterizations as independent measures of complexity and study their
underlying algebraic structure. Thus we are able to compare parameterizations,
which establishes a hierarchy of complexity that is much stronger than that
present in typical parameterized algorithms races. Among other results, we find
that no practically fixed-parameter tractable sets have optimal
parameterizations
Typical solution time for a vertex-covering algorithm on finite-connectivity random graphs
In this letter, we analytically describe the typical solution time needed by
a backtracking algorithm to solve the vertex-cover problem on
finite-connectivity random graphs. We find two different transitions: The first
one is algorithm-dependent and marks the dynamical transition from linear to
exponential solution times. The second one gives the maximum computational
complexity, and is found exactly at the threshold where the system undergoes an
algorithm-independent phase transition in its solvability. Analytical results
are corroborated by numerical simulations.Comment: 4 pages, 2 figures, to appear in Phys. Rev. Let
- …