Results 1  10
of
29
Dynamic Generators of Topologically Embedded Graphs
, 2003
"... We provide a data structure for maintaining an embedding of a graph on a surface (represented combinatorially by a permutation of edges around each vertex) and computing generators of the fundamental group of the surface, in amortized time O(logn + logg(loglogg) 3) per update on a surface of genus g ..."
Abstract

Cited by 51 (1 self)
 Add to MetaCart
We provide a data structure for maintaining an embedding of a graph on a surface (represented combinatorially by a permutation of edges around each vertex) and computing generators of the fundamental group of the surface, in amortized time O(logn + logg(loglogg) 3) per update on a surface of genus g; we can also test orientability of the surface in the same time, and maintain the minimum and maximum spanning tree of the graph in time O(log n + log 4 g) per update. Our data structure allows edge insertion and deletion as well as the dual operations; these operations may implicitly change the genus of the embedding surface. We apply similar ideas to improve the constant factor in a separator theorem for lowgenus graphs, and to find in linear time a treedecomposition of lowgenus lowdiameter graphs.
Homology flows, cohomology cuts
 ACM SYMPOSIUM ON THEORY OF COMPUTING
, 2009
"... We describe the first algorithms to compute maximum flows in surfaceembedded graphs in nearlinear time. Specifically, given an undirected graph embedded on an orientable surface of genus g, with two specified vertices s and t, we can compute a maximum (s, t)flow in O(g 7 n log 2 n log 2 C) time fo ..."
Abstract

Cited by 30 (10 self)
 Add to MetaCart
(Show Context)
We describe the first algorithms to compute maximum flows in surfaceembedded graphs in nearlinear time. Specifically, given an undirected graph embedded on an orientable surface of genus g, with two specified vertices s and t, we can compute a maximum (s, t)flow in O(g 7 n log 2 n log 2 C) time for integer capacities that sum to C, or in (g log n) O(g) n time for real capacities. Except for the special case of planar graphs, for which an O(n log n)time algorithm has been known for 20 years, the best previous time bounds for maximum flows in surfaceembedded graphs follow from algorithms for general sparse graphs. Our key insight is to optimize the relative homology class of the flow, rather than directly optimizing the flow itself. A dual formulation of our algorithm computes the minimumcost cycle or circulation in a given (real or integer) homology class.
Transdichotomous Results in Computational Geometry, I: Point Location in Sublogarithmic Time
, 2008
"... Given a planar subdivision whose coordinates are integers bounded by U ≤ 2 w, we present a linearspace data structure that can answer point location queries in O(min{lg n / lg lg n, √ lg U/lg lg U}) time on the unitcost RAM with word size w. Thisisthe first result to beat the standard Θ(lg n) bou ..."
Abstract

Cited by 24 (4 self)
 Add to MetaCart
Given a planar subdivision whose coordinates are integers bounded by U ≤ 2 w, we present a linearspace data structure that can answer point location queries in O(min{lg n / lg lg n, √ lg U/lg lg U}) time on the unitcost RAM with word size w. Thisisthe first result to beat the standard Θ(lg n) bound for infinite precision models. As a consequence, we obtain the first o(n lg n) (randomized) algorithms for many fundamental problems in computational geometry for arbitrary integer input on the word RAM, including: constructing the convex hull of a threedimensional point set, computing the Voronoi diagram or the Euclidean minimum spanning tree of a planar point set, triangulating a polygon with holes, and finding intersections among a set of line segments. Higherdimensional extensions and applications are also discussed. Though computational geometry with bounded precision input has been investigated for a long time, improvements have been limited largely to problems of an orthogonal flavor. Our results surpass this longstanding limitation, answering, for example, a question of Willard (SODA’92).
Improved Algorithms for Dynamic Shortest Paths
, 2000
"... We describe algorithms for finding shortest paths and distances in outerplanar and planar digraphs that exploit the particular topology of the input graph. An important feature of our algorithms is that they can work in a dynamic environment, where the cost of any edge can be changed or the edge ca ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
(Show Context)
We describe algorithms for finding shortest paths and distances in outerplanar and planar digraphs that exploit the particular topology of the input graph. An important feature of our algorithms is that they can work in a dynamic environment, where the cost of any edge can be changed or the edge can be deleted. In the case of outerplanar digraphs, our data structures can be updated after any such change in only logarithmic time. A distance query is also answered in logarithmic time. In the case of planar digraphs, we give an interesting tradeoff between preprocessing, query, and update times depending on the value of a certain topological parameter of the graph. Our results can be extended to nvertex digraphs of genus O(n1−ε) for any ε>0.
Persistent Predecessor Search and Orthogonal Point Location on the Word RAM
"... We answer a basic data structuring question (for example, raised by Dietz and Raman back in SODA 1991): can van Emde Boas trees be made persistent, without changing their asymptotic query/update time? We present a (partially) persistent data structure that supports predecessor search in a set of int ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
(Show Context)
We answer a basic data structuring question (for example, raised by Dietz and Raman back in SODA 1991): can van Emde Boas trees be made persistent, without changing their asymptotic query/update time? We present a (partially) persistent data structure that supports predecessor search in a set of integers in {1,..., U} under an arbitrary sequence of n insertions and deletions, with O(log log U) expected query time and expected amortized update time, and O(n) space. The query bound is optimal in U for linearspace structures and improves previous nearO((log log U) 2) methods. The same method solves a fundamental problem from computational geometry: point location in orthogonal planar subdivisions (where edges are vertical or horizontal). We obtain the first static data structure achieving O(log log U) worstcase query time and linear space. This result is again optimal in U for linearspace structures and improves the previous O((log log U) 2) method by de Berg, Snoeyink, and van Kreveld (1992). The same result also holds for higherdimensional subdivisions that are orthogonal binary space partitions, and for certain nonorthogonal planar subdivisions such as triangulations without small angles. Many geometric applications follow, including improved query times for orthogonal range reporting for dimensions ≥ 3 on the RAM. Our key technique is an interesting new vanEmdeBoas–style recursion that alternates between two strategies, both quite simple.
Succinct Geometric Indexes Supporting Point Location Queries
"... We propose to design data structures called succinct geometric indexes of negligible space (more precisely, o(n) bits) that support geometric queries in optimal time, by taking advantage of the n points in the data set permuted and stored elsewhere as a sequence. Our first and main result is a succi ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
(Show Context)
We propose to design data structures called succinct geometric indexes of negligible space (more precisely, o(n) bits) that support geometric queries in optimal time, by taking advantage of the n points in the data set permuted and stored elsewhere as a sequence. Our first and main result is a succinct geometric index that can answer point location queries, a fundamental problem in computational geometry, on planar triangulations in O(lg n) time1. We also design three variants of this index. The first supports point location using lg n +2 √ lg n + O(lg 1/4 n) pointline comparisons. The second supports point location in o(lg n) time when the coordinates are integers bounded by U. The last variant can answer point location queries in O(H +1) expected time, where H is the entropy of the query distribution. These results match the query efficiency of previous point location structures that occupy O(n) words or O(n lg n) bits, while saving drastic amounts of space. We generalize our succinct geometric index to planar subdivisions, and design indexes for other types of queries. Finally, we apply our techniques to design the first implicit data structures that support point location in O(lg² n) time.
Counting Models for 2SAT and 3SAT Formulae
"... We here present algorithms for counting models and maxweight models for 2sat and 3sat formulae. They use polynomial space and run in O(1.2561^n) and O(1.6737^n) time, respectively, where n is the number of variables. This is faster than the previously best algorithms for counting nonweighted model ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
We here present algorithms for counting models and maxweight models for 2sat and 3sat formulae. They use polynomial space and run in O(1.2561^n) and O(1.6737^n) time, respectively, where n is the number of variables. This is faster than the previously best algorithms for counting nonweighted models for 2sat and 3sat, which run in O(1.3247^n) and O(1.6894^n) time, respectively. In order to prove these time bounds, we develop new measures of formula complexity, allowing us to conveniently analyze the eoeects of certain factors with a large impact on the total running time. We also provide an algorithm for the restricted case of separable 2sat formulae, with fast running times for wellstudied input classes. For all three algorithms we present interesting applications, such as computing the permanent of sparse 0/1 matrices.
Approximate Shortest Path Queries on Weighted Polyhedral Surfaces
"... We consider the classical geometric problem of determining shortest paths between pairs of points lying on a weighted polyhedral surface P consisting of n triangular faces. We present query algorithms that compute approximate distances and/or approximate (weighted) shortest paths. Our algorithm take ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
(Show Context)
We consider the classical geometric problem of determining shortest paths between pairs of points lying on a weighted polyhedral surface P consisting of n triangular faces. We present query algorithms that compute approximate distances and/or approximate (weighted) shortest paths. Our algorithm takes as input an approximation parameter ε ∈ (0, 1) and a query time parameter q and builds a data structure which is then used for answering ǫapproximate distance queries in O(q) time. This algorithm is source point independent and improves significantly on the best previous solution. For the case where one of the query points is fixed we build a data structure that can answer ǫapproximate distance queries to any query point in P in O(log 1) time. This is an improveε ment upon the previously known solution for the Euclidean fixed source query problem. Our algorithm also generalizes the setting from previously studied unweighted polyhedral to weighted polyhedral surfaces of arbitrary genus. Our solutions are based on a novel graph separator algorithm introduced here which extends and generalizes previously known separator algorithms.
Algorithms for Approximate Shortest Path Queries on Weighted Polyhedral Surfaces
, 2008
"... We consider the well known geometric problem of determining shortest paths between pairs of points on a polyhedral surface P, where P consists of triangular faces with positive weights assigned to them. The cost of a path in P is defined to be the weighted sum of Euclidean lengths of the subpaths w ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
(Show Context)
We consider the well known geometric problem of determining shortest paths between pairs of points on a polyhedral surface P, where P consists of triangular faces with positive weights assigned to them. The cost of a path in P is defined to be the weighted sum of Euclidean lengths of the subpaths within each face of P. We present query algorithms that compute approximate distances and/or approximate shortest paths on P. Our allpairs query algorithms take as input an approximation parameter ε ∈ (0,1) and a query time parameter q, in a certain range, and builds a data structure APQ(P,ε;q), which is then used for answering εapproximate distance queries in O(q) time. As a building block of the APQ(P,ε;q) data structure, we develop a single source query data structure SSQ(a;P,ε) that can answer εapproximate distance queries from a fixed point a to any query point on P in logarithmic time. Our algorithms answer shortest path queries in weighted surfaces, which is an important extension, both theoretically and practically, to the extensively studied Euclidean distance case. In addition, our algorithms improve upon previously known query algorithms for shortest paths on surfaces. The algorithms are based on a novel graph separator algorithm introduced and analyzed here, which extends and generalizes previously known separator algorithms.