777 research outputs found
Approximate Distance Oracles for Planar Graphs with Improved Query Time-Space Tradeoff
We consider approximate distance oracles for edge-weighted n-vertex
undirected planar graphs. Given fixed epsilon > 0, we present a
(1+epsilon)-approximate distance oracle with O(n(loglog n)^2) space and
O((loglog n)^3) query time. This improves the previous best product of query
time and space of the oracles of Thorup (FOCS 2001, J. ACM 2004) and Klein
(SODA 2002) from O(n log n) to O(n(loglog n)^5).Comment: 20 pages, 9 figures of which 2 illustrate pseudo-code. This is the
SODA 2016 version but with the definition of C_i in Phase I fixed and the
analysis slightly modified accordingly. The main change is in the subsection
bounding query time and stretch for Phase
Faster Deterministic Fully-Dynamic Graph Connectivity
We give new deterministic bounds for fully-dynamic graph connectivity. Our
data structure supports updates (edge insertions/deletions) in
amortized time and connectivity queries in worst-case time, where is the number of vertices of the
graph. This improves the deterministic data structures of Holm, de Lichtenberg,
and Thorup (STOC 1998, J.ACM 2001) and Thorup (STOC 2000) which both have
amortized update time and worst-case query
time. Our model of computation is the same as that of Thorup, i.e., a pointer
machine with standard instructions.Comment: To appear at SODA 2013. 19 pages, 1 figur
Minimum Cycle Basis and All-Pairs Min Cut of a Planar Graph in Subquadratic Time
A minimum cycle basis of a weighted undirected graph is a basis of the
cycle space of such that the total weight of the cycles in this basis is
minimized. If is a planar graph with non-negative edge weights, such a
basis can be found in time and space, where is the size of . We
show that this is optimal if an explicit representation of the basis is
required. We then present an time and space
algorithm that computes a minimum cycle basis \emph{implicitly}. From this
result, we obtain an output-sensitive algorithm that explicitly computes a
minimum cycle basis in time and space,
where is the total size (number of edges and vertices) of the cycles in the
basis. These bounds reduce to and ,
respectively, when is unweighted. We get similar results for the all-pairs
min cut problem since it is dual equivalent to the minimum cycle basis problem
for planar graphs. We also obtain time and
space algorithms for finding, respectively, the weight vector and a Gomory-Hu
tree of . The previous best time and space bound for these two problems was
quadratic. From our Gomory-Hu tree algorithm, we obtain the following result:
with time and space for preprocessing, the
weight of a min cut between any two given vertices of can be reported in
constant time. Previously, such an oracle required quadratic time and space for
preprocessing. The oracle can also be extended to report the actual cut in time
proportional to its size
Faster Fully-Dynamic Minimum Spanning Forest
We give a new data structure for the fully-dynamic minimum spanning forest
problem in simple graphs. Edge updates are supported in
amortized time per operation, improving the amortized bound of
Holm et al. (STOC'98, JACM'01). We assume the Word-RAM model with standard
instructions.Comment: 13 pages, 2 figure
- …