90 research outputs found
Parameterized Complexity of Secluded Connectivity Problems
The Secluded Path problem models a situation where a sensitive information
has to be transmitted between a pair of nodes along a path in a network. The
measure of the quality of a selected path is its exposure, which is the total
weight of vertices in its closed neighborhood. In order to minimize the risk of
intercepting the information, we are interested in selecting a secluded path,
i.e. a path with a small exposure. Similarly, the Secluded Steiner Tree problem
is to find a tree in a graph connecting a given set of terminals such that the
exposure of the tree is minimized. The problems were introduced by Chechik et
al. in [ESA 2013]. Among other results, Chechik et al. have shown that Secluded
Path is fixed-parameter tractable (FPT) on unweighted graphs being
parameterized by the maximum vertex degree of the graph and that Secluded
Steiner Tree is FPT parameterized by the treewidth of the graph. In this work,
we obtain the following results about parameterized complexity of secluded
connectivity problems.
We give FPT-algorithms deciding if a graph G with a given cost function
contains a secluded path and a secluded Steiner tree of exposure at most k with
the cost at most C.
We initiate the study of "above guarantee" parameterizations for secluded
problems, where the lower bound is given by the size of a Steiner tree.
We investigate Secluded Steiner Tree from kernelization perspective and
provide several lower and upper bounds when parameters are the treewidth, the
size of a vertex cover, maximum vertex degree and the solution size. Finally,
we refine the algorithmic result of Chechik et al. by improving the exponential
dependence from the treewidth of the input graph.Comment: Minor corrections are don
Secluded Connectivity Problems
Consider a setting where possibly sensitive information sent over a path in a
network is visible to every {neighbor} of the path, i.e., every neighbor of
some node on the path, thus including the nodes on the path itself. The
exposure of a path can be measured as the number of nodes adjacent to it,
denoted by . A path is said to be secluded if its exposure is small. A
similar measure can be applied to other connected subgraphs, such as Steiner
trees connecting a given set of terminals. Such subgraphs may be relevant due
to considerations of privacy, security or revenue maximization. This paper
considers problems related to minimum exposure connectivity structures such as
paths and Steiner trees. It is shown that on unweighted undirected -node
graphs, the problem of finding the minimum exposure path connecting a given
pair of vertices is strongly inapproximable, i.e., hard to approximate within a
factor of for any (under an
appropriate complexity assumption), but is approximable with ratio
, where is the maximum degree in the graph. One of
our main results concerns the class of bounded-degree graphs, which is shown to
exhibit the following interesting dichotomy. On the one hand, the minimum
exposure path problem is NP-hard on node-weighted or directed bounded-degree
graphs (even when the maximum degree is 4). On the other hand, we present a
polynomial algorithm (based on a nontrivial dynamic program) for the problem on
unweighted undirected bounded-degree graphs. Likewise, the problem is shown to
be polynomial also for the class of (weighted or unweighted) bounded-treewidth
graphs
Finding Connected Secluded Subgraphs
Problems related to finding induced subgraphs satisfying given properties form one of the most studied areas within graph algorithms. Such problems have given rise to breakthrough results and led to development of new techniques both within the traditional P vs NP dichotomy and within parameterized complexity. The Pi-Subgraph problem asks whether an input graph contains an induced subgraph on at least k vertices satisfying graph property Pi. For many applications, it is desirable that the found subgraph has as few connections to the rest of the graph as possible, which gives rise to the Secluded Pi-Subgraph problem. Here, input k is the size of the desired subgraph, and input t is a limit on the number of neighbors this subgraph has in the rest of the graph. This problem has been studied from a parameterized perspective, and unfortunately it turns out to be W[1]-hard for many graph properties Pi, even when parameterized by k+t. We show that the situation changes when we are looking for a connected induced subgraph satisfying Pi. In particular, we show that the Connected Secluded Pi-Subgraph problem is FPT when parameterized by just t for many important graph properties Pi
Parameterized Algorithms and Data Reduction for Safe Convoy Routing
We study a problem that models safely routing a convoy through a transportation network, where any vertex adjacent to the travel path of the convoy requires additional precaution: Given a graph G=(V,E), two vertices s,t in V, and two integers k,l, we search for a simple s-t-path with at most k vertices and at most l neighbors. We study the problem in two types of transportation networks: graphs with small crossing number, as formed by road networks, and tree-like graphs, as formed by waterways. For graphs with constant crossing number, we provide a subexponential 2^O(sqrt n)-time algorithm and prove a matching lower bound. We also show a polynomial-time data reduction algorithm that reduces any problem instance to an equivalent instance (a so-called problem kernel) of size polynomial in the vertex cover number of the input graph. In contrast, we show that the problem in general graphs is hard to preprocess. Regarding tree-like graphs, we obtain a 2^O(tw) * l^2 * n-time algorithm for graphs of treewidth tw, show that there is no problem kernel with size polynomial in tw, yet show a problem kernel with size polynomial in the feedback edge number of the input graph
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
Single-Exponential FPT Algorithms for Enumerating Secluded -Free Subgraphs and Deleting to Scattered Graph Classes
The celebrated notion of important separators bounds the number of small
-separators in a graph which are 'farthest from ' in a technical
sense. In this paper, we introduce a generalization of this powerful
algorithmic primitive that is phrased in terms of -secluded vertex sets:
sets with an open neighborhood of size at most .
In this terminology, the bound on important separators says that there are at
most maximal -secluded connected vertex sets containing but
disjoint from . We generalize this statement significantly: even when we
demand that avoids a finite set of forbidden induced
subgraphs, the number of such maximal subgraphs is and they can be
enumerated efficiently. This allows us to make significant improvements for two
problems from the literature.
Our first application concerns the 'Connected -Secluded -free
subgraph' problem, where is a finite set of forbidden induced
subgraphs. Given a graph in which each vertex has a positive integer weight,
the problem asks to find a maximum-weight connected -secluded vertex set such that does not contain an induced subgraph
isomorphic to any . The parameterization by is known to
be solvable in triple-exponential time via the technique of recursive
understanding, which we improve to single-exponential.
Our second application concerns the deletion problem to scattered graph
classes. Here, the task is to find a vertex set of size at most whose
removal yields a graph whose each connected component belongs to one of the
prescribed graph classes . We obtain a single-exponential
algorithm whenever each class is characterized by a finite number of
forbidden induced subgraphs. This generalizes and improves upon earlier results
in the literature.Comment: To appear at ISAAC'2
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
Finding k-secluded trees faster
We revisit the k-SECLUDED TREE problem. Given a vertex-weighted undirected graph G, its objective is to find a maximum-weight induced subtree T whose open neighborhood has size at most k. We present a fixed-parameter tractable algorithm that solves the problem in time 2 O(klogk)⋅n O(1), improving on a double-exponential running time from earlier work by Golovach, Heggernes, Lima, and Montealegre. Starting from a single vertex, our algorithm grows a k-secluded tree by branching on vertices in the open neighborhood of the current tree T. To bound the branching depth, we prove a structural result that can be used to identify a vertex that belongs to the neighborhood of any k-secluded supertree T ′⊇T once the open neighborhood of T becomes sufficiently large. We extend the algorithm to enumerate compact descriptions of all maximum-weight k-secluded trees, which allows us to count them as well.</p
Finding k-secluded trees faster
We revisit the k-SECLUDED TREE problem. Given a vertex-weighted undirected graph G, its objective is to find a maximum-weight induced subtree T whose open neighborhood has size at most k. We present a fixed-parameter tractable algorithm that solves the problem in time 2 O(klogk)⋅n O(1), improving on a double-exponential running time from earlier work by Golovach, Heggernes, Lima, and Montealegre. Starting from a single vertex, our algorithm grows a k-secluded tree by branching on vertices in the open neighborhood of the current tree T. To bound the branching depth, we prove a structural result that can be used to identify a vertex that belongs to the neighborhood of any k-secluded supertree T ′⊇T once the open neighborhood of T becomes sufficiently large. We extend the algorithm to enumerate compact descriptions of all maximum-weight k-secluded trees, which allows us to count them as well.</p
- …