8,613 research outputs found
A LP approximation for the Tree Augmentation Problem
In the Tree Augmentation Problem (TAP) the goal is to augment a tree by a
minimum size edge set from a given edge set such that is
-edge-connected. The best approximation ratio known for TAP is . In the
more general Weighted TAP problem, should be of minimum weight. Weighted
TAP admits several -approximation algorithms w.r.t. to the standard cut
LP-relaxation, but for all of them the performance ratio of is tight even
for TAP. The problem is equivalent to the problem of covering a laminar set
family. Laminar set families play an important role in the design of
approximation algorithms for connectivity network design problems. In fact,
Weighted TAP is the simplest connectivity network design problem for which a
ratio better than is not known. Improving this "natural" ratio is a major
open problem, which may have implications on many other network design
problems. It seems that achieving this goal requires finding an LP-relaxation
with integrality gap better than , which is a long time open problem even
for TAP. In this paper we introduce such an LP-relaxation and give an algorithm
that computes a feasible solution for TAP of size at most times the
optimal LP value. This gives some hope to break the ratio for the weighted
case. Our algorithm computes some initial edge set by solving a partial system
of constraints that form the integral edge-cover polytope, and then applies
local search on -leaf subtrees to exchange some of the edges and to add
additional edges. Thus we do not need to solve the LP, and the algorithm runs
roughly in time required to find a minimum weight edge-cover in a general
graph.Comment: arXiv admin note: substantial text overlap with arXiv:1507.0279
Parallel Batch-Dynamic Graph Connectivity
In this paper, we study batch parallel algorithms for the dynamic
connectivity problem, a fundamental problem that has received considerable
attention in the sequential setting. The most well known sequential algorithm
for dynamic connectivity is the elegant level-set algorithm of Holm, de
Lichtenberg and Thorup (HDT), which achieves amortized time per
edge insertion or deletion, and time per query. We
design a parallel batch-dynamic connectivity algorithm that is work-efficient
with respect to the HDT algorithm for small batch sizes, and is asymptotically
faster when the average batch size is sufficiently large. Given a sequence of
batched updates, where is the average batch size of all deletions, our
algorithm achieves expected amortized work per
edge insertion and deletion and depth w.h.p. Our algorithm
answers a batch of connectivity queries in expected
work and depth w.h.p. To the best of our knowledge, our algorithm
is the first parallel batch-dynamic algorithm for connectivity.Comment: This is the full version of the paper appearing in the ACM Symposium
on Parallelism in Algorithms and Architectures (SPAA), 201
- …