18,720 research outputs found
Walking Through Waypoints
We initiate the study of a fundamental combinatorial problem: Given a
capacitated graph , find a shortest walk ("route") from a source to a destination that includes all vertices specified by a set
: the \emph{waypoints}. This waypoint routing problem
finds immediate applications in the context of modern networked distributed
systems. Our main contribution is an exact polynomial-time algorithm for graphs
of bounded treewidth. We also show that if the number of waypoints is
logarithmically bounded, exact polynomial-time algorithms exist even for
general graphs. Our two algorithms provide an almost complete characterization
of what can be solved exactly in polynomial-time: we show that more general
problems (e.g., on grid graphs of maximum degree 3, with slightly more
waypoints) are computationally intractable
Distributed Connectivity Decomposition
We present time-efficient distributed algorithms for decomposing graphs with
large edge or vertex connectivity into multiple spanning or dominating trees,
respectively. As their primary applications, these decompositions allow us to
achieve information flow with size close to the connectivity by parallelizing
it along the trees. More specifically, our distributed decomposition algorithms
are as follows:
(I) A decomposition of each undirected graph with vertex-connectivity
into (fractionally) vertex-disjoint weighted dominating trees with total weight
, in rounds.
(II) A decomposition of each undirected graph with edge-connectivity
into (fractionally) edge-disjoint weighted spanning trees with total
weight , in
rounds.
We also show round complexity lower bounds of
and
for the above two decompositions,
using techniques of [Das Sarma et al., STOC'11]. Moreover, our
vertex-connectivity decomposition extends to centralized algorithms and
improves the time complexity of [Censor-Hillel et al., SODA'14] from
to near-optimal .
As corollaries, we also get distributed oblivious routing broadcast with
-competitive edge-congestion and -competitive
vertex-congestion. Furthermore, the vertex connectivity decomposition leads to
near-time-optimal -approximation of vertex connectivity: centralized
and distributed . The former moves
toward the 1974 conjecture of Aho, Hopcroft, and Ullman postulating an
centralized exact algorithm while the latter is the first distributed vertex
connectivity approximation
Finding Disjoint Paths on Edge-Colored Graphs: More Tractability Results
The problem of finding the maximum number of vertex-disjoint uni-color paths
in an edge-colored graph (called MaxCDP) has been recently introduced in
literature, motivated by applications in social network analysis. In this paper
we investigate how the complexity of the problem depends on graph parameters
(namely the number of vertices to remove to make the graph a collection of
disjoint paths and the size of the vertex cover of the graph), which makes
sense since graphs in social networks are not random and have structure. The
problem was known to be hard to approximate in polynomial time and not
fixed-parameter tractable (FPT) for the natural parameter. Here, we show that
it is still hard to approximate, even in FPT-time. Finally, we introduce a new
variant of the problem, called MaxCDDP, whose goal is to find the maximum
number of vertex-disjoint and color-disjoint uni-color paths. We extend some of
the results of MaxCDP to this new variant, and we prove that unlike MaxCDP,
MaxCDDP is already hard on graphs at distance two from disjoint paths.Comment: Journal version in JOC
- …