2,265 research outputs found
Single Source - All Sinks Max Flows in Planar Digraphs
Let G = (V,E) be a planar n-vertex digraph. Consider the problem of computing
max st-flow values in G from a fixed source s to all sinks t in V\{s}. We show
how to solve this problem in near-linear O(n log^3 n) time. Previously, no
better solution was known than running a single-source single-sink max flow
algorithm n-1 times, giving a total time bound of O(n^2 log n) with the
algorithm of Borradaile and Klein.
An important implication is that all-pairs max st-flow values in G can be
computed in near-quadratic time. This is close to optimal as the output size is
Theta(n^2). We give a quadratic lower bound on the number of distinct max flow
values and an Omega(n^3) lower bound for the total size of all min cut-sets.
This distinguishes the problem from the undirected case where the number of
distinct max flow values is O(n).
Previous to our result, no algorithm which could solve the all-pairs max flow
values problem faster than the time of Theta(n^2) max-flow computations for
every planar digraph was known.
This result is accompanied with a data structure that reports min cut-sets.
For fixed s and all t, after O(n^{3/2} log^{3/2} n) preprocessing time, it can
report the set of arcs C crossing a min st-cut in time roughly proportional to
the size of C.Comment: 25 pages, 4 figures; extended abstract appeared in FOCS 201
Minimum cycle and homology bases of surface embedded graphs
We study the problems of finding a minimum cycle basis (a minimum weight set
of cycles that form a basis for the cycle space) and a minimum homology basis
(a minimum weight set of cycles that generates the -dimensional
()-homology classes) of an undirected graph embedded on a
surface. The problems are closely related, because the minimum cycle basis of a
graph contains its minimum homology basis, and the minimum homology basis of
the -skeleton of any graph is exactly its minimum cycle basis.
For the minimum cycle basis problem, we give a deterministic
-time algorithm for graphs embedded on an orientable
surface of genus . The best known existing algorithms for surface embedded
graphs are those for general graphs: an time Monte Carlo
algorithm and a deterministic time algorithm. For the
minimum homology basis problem, we give a deterministic -time algorithm for graphs embedded on an orientable or non-orientable
surface of genus with boundary components, assuming shortest paths are
unique, improving on existing algorithms for many values of and . The
assumption of unique shortest paths can be avoided with high probability using
randomization or deterministically by increasing the running time of the
homology basis algorithm by a factor of .Comment: A preliminary version of this work was presented at the 32nd Annual
International Symposium on Computational Geometr
A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection
Given an undirected graph with edge costs and node weights, the minimum
bisection problem asks for a partition of the nodes into two parts of equal
weight such that the sum of edge costs between the parts is minimized. We give
a polynomial time bicriteria approximation scheme for bisection on planar
graphs.
Specifically, let be the total weight of all nodes in a planar graph .
For any constant , our algorithm outputs a bipartition of the
nodes such that each part weighs at most and the total cost
of edges crossing the partition is at most times the total
cost of the optimal bisection. The previously best known approximation for
planar minimum bisection, even with unit node weights, was . Our
algorithm actually solves a more general problem where the input may include a
target weight for the smaller side of the bipartition.Comment: To appear in STOC 201
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
- …