Results 1  10
of
66
Voronoi diagrams  a survey of a fundamental geometric data structure
 ACM COMPUTING SURVEYS
, 1991
"... This paper presents a survey of the Voronoi diagram, one of the most fundamental data structures in computational geometry. It demonstrates the importance and usefulness of the Voronoi diagram in a wide variety of fields inside and outside computer science and surveys the history of its development. ..."
Abstract

Cited by 560 (5 self)
 Add to MetaCart
This paper presents a survey of the Voronoi diagram, one of the most fundamental data structures in computational geometry. It demonstrates the importance and usefulness of the Voronoi diagram in a wide variety of fields inside and outside computer science and surveys the history of its development. The paper puts particular emphasis on the unified exposition of its mathematical and algorithmic properties. Finally, the paper provides the first comprehensive bibliography on Voronoi diagrams and related structures.
Polynomial time approximation schemes for Euclidean TSP and other geometric problems
 In Proceedings of the 37th IEEE Symposium on Foundations of Computer Science (FOCS’96
, 1996
"... Abstract. We present a polynomial time approximation scheme for Euclidean TSP in fixed dimensions. For every fixed c � 1 and given any n nodes in � 2, a randomized version of the scheme finds a (1 � 1/c)approximation to the optimum traveling salesman tour in O(n(log n) O(c) ) time. When the nodes a ..."
Abstract

Cited by 320 (3 self)
 Add to MetaCart
Abstract. We present a polynomial time approximation scheme for Euclidean TSP in fixed dimensions. For every fixed c � 1 and given any n nodes in � 2, a randomized version of the scheme finds a (1 � 1/c)approximation to the optimum traveling salesman tour in O(n(log n) O(c) ) time. When the nodes are in � d, the running time increases to O(n(log n) (O(�dc))d�1). For every fixed c, d the running time is n � poly(log n), that is nearly linear in n. The algorithm can be derandomized, but this increases the running time by a factor O(n d). The previous best approximation algorithm for the problem (due to Christofides) achieves a 3/2approximation in polynomial time. We also give similar approximation schemes for some other NPhard Euclidean problems: Minimum Steiner Tree, kTSP, and kMST. (The running times of the algorithm for kTSP and kMST involve an additional multiplicative factor k.) The previous best approximation algorithms for all these problems achieved a constantfactor approximation. We also give efficient approximation schemes for Euclidean MinCost Matching, a problem that can be solved exactly in polynomial time. All our algorithms also work, with almost no modification, when distance is measured using any geometric norm (such as �p for p � 1 or other Minkowski norms). They also have simple parallel (i.e., NC) implementations.
ON THE COMPLEXITY OF SOME COMMON GEOMETRIC LOCATION PROBLEMS
 SIAM J. COMPUTING
, 1984
"... Given n demand points in the plane, the pcenter problem is to find p supply points (anywhere in the plane) so as to minimize the maximum distance from a demo & point to its respective nearest supply point. The pmedian problem is to minimize the sum of distances from demand points to their respecti ..."
Abstract

Cited by 117 (1 self)
 Add to MetaCart
Given n demand points in the plane, the pcenter problem is to find p supply points (anywhere in the plane) so as to minimize the maximum distance from a demo & point to its respective nearest supply point. The pmedian problem is to minimize the sum of distances from demand points to their respective nearest supply points. We prove that the pcenter and the pmedia problems relative to both the Euclidean and the rectilinear metrics are NPhard. In fact, we prove that it is NPhard even to approximate the pcenter problems sufficiently closely. The reductions are from 3satisfiability.
Nearly Linear Time Approximation Schemes for Euclidean TSP and other Geometric Problems
, 1997
"... We present a randomized polynomial time approximation scheme for Euclidean TSP in ! 2 that is substantially more efficient than our earlier scheme in [2] (and the scheme of Mitchell [21]). For any fixed c ? 1 and any set of n nodes in the plane, the new scheme finds a (1+ 1 c )approximation to ..."
Abstract

Cited by 91 (4 self)
 Add to MetaCart
We present a randomized polynomial time approximation scheme for Euclidean TSP in ! 2 that is substantially more efficient than our earlier scheme in [2] (and the scheme of Mitchell [21]). For any fixed c ? 1 and any set of n nodes in the plane, the new scheme finds a (1+ 1 c )approximation to the optimum traveling salesman tour in O(n(log n) O(c) ) time. (Our earlier scheme ran in n O(c) time.) For points in ! d the algorithm runs in O(n(log n) (O( p dc)) d\Gamma1 ) time. This time is polynomial (actually nearly linear) for every fixed c; d. Designing such a polynomialtime algorithm was an open problem (our earlier algorithm in [2] ran in superpolynomial time for d 3). The algorithm generalizes to the same set of Euclidean problems handled by the previous algorithm, including Steiner Tree, kTSP, kMST, etc, although for kTSP and kMST the running time gets multiplied by k. We also use our ideas to design nearlylinear time approximation schemes for Euclidean vers...
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
 IN STACS
, 2005
"... We define Recursive Markov Chains (RMCs), a class of finitely presented denumerable Markov chains, and we study algorithms for their analysis. Informally, an RMC consists of a collection of finitestate Markov chains with the ability to invoke each other in a potentially recursive manner. RMCs offer ..."
Abstract

Cited by 67 (11 self)
 Add to MetaCart
We define Recursive Markov Chains (RMCs), a class of finitely presented denumerable Markov chains, and we study algorithms for their analysis. Informally, an RMC consists of a collection of finitestate Markov chains with the ability to invoke each other in a potentially recursive manner. RMCs offer a natural abstract model for probabilistic programs with procedures. They generalize, in a precise sense, a number of well studied stochastic models, including Stochastic ContextFree Grammars (SCFG) and MultiType Branching Processes (MTBP). We focus on algorithms for reachability and termination analysis for RMCs: what is the probability that an RMC started from a given state reaches another target state, or that it terminates? These probabilities are in general irrational, and they arise as (least) fixed point solutions to certain (monotone) systems of nonlinear equations associated with RMCs. We address both the qualitative problem of determining whether the probabilities are 0, 1 or inbetween, and
Approximation Algorithms For The Geometric Covering Salesman Problem
 Discrete Applied Mathematics
, 1995
"... We introduce a geometric version of the Covering Salesman Problem: Each of the n salesman's clients specifies a neighborhood in which they are willing to meet the salesman. Identifying a tour of minimum length that visits all neighborhoods is an NPhard problem, since it is a generalization of the T ..."
Abstract

Cited by 64 (4 self)
 Add to MetaCart
We introduce a geometric version of the Covering Salesman Problem: Each of the n salesman's clients specifies a neighborhood in which they are willing to meet the salesman. Identifying a tour of minimum length that visits all neighborhoods is an NPhard problem, since it is a generalization of the Traveling Salesman Problem. We present simple heuristic procedures for constructing tours, for a variety of neighborhood types, whose length is guaranteed to be within a constant factor of the length of an optimal tour. The neighborhoods we consider include, parallel unit segments, translates of a polygonal region, and circles. y Partially supported by NSF Grants DMS 8903304 and ECSE8857642. 1 Introduction A salesman wants to meet a set of potential buyers. Each buyer specifies a compact set in the plane, his neighborhood, within which he is willing to meet. For example, the neighborhoods may be disks centered at the buyers locations, and each disk's radius specifies the distance that a ...
Distance Measures for Point Sets and Their Computation
 Acta Informatica
, 1997
"... We consider the problem of measuring the similarity or distance between two finite sets of points in a metric space, and computing the measure. This problem has applications in, e.g., computational geometry, philosophy of science, updating or changing theories, and machine learning. We review some o ..."
Abstract

Cited by 50 (2 self)
 Add to MetaCart
We consider the problem of measuring the similarity or distance between two finite sets of points in a metric space, and computing the measure. This problem has applications in, e.g., computational geometry, philosophy of science, updating or changing theories, and machine learning. We review some of the distance functions proposed in the literature, among them the minimum distance link measure, the surjection measure, and the fair surjection measure, and supply polynomial time algorithms for the computation of these measures. Furthermore, we introduce the minimum link measure, a new distance function which is more appealing than the other distance functions mentioned. We also present a polynomial time algorithm for computing this new measure. We further address the issue of defining a metric on point sets. We present the metric infimum method that constructs a metric from any distance functions on point sets. In particular, the metric infimum of the minimum link measure is a quite int...
On the complexity of numerical analysis
 IN PROC. 21ST ANN. IEEE CONF. ON COMPUTATIONAL COMPLEXITY (CCC ’06
, 2006
"... We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis: • The BlumShubSmale model of computation over the reals. • A problem we call the “Generic Task of Numerical Computation, ” which captures an aspect of doing numerical computation ..."
Abstract

Cited by 48 (7 self)
 Add to MetaCart
We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis: • The BlumShubSmale model of computation over the reals. • A problem we call the “Generic Task of Numerical Computation, ” which captures an aspect of doing numerical computation in floating point, similar to the “long exponent model ” that has been studied in the numerical computing community. We show that both of these approaches hinge on the question of understanding the complexity of the following problem, which we call PosSLP: Given a divisionfree straightline program producing an integer N, decide whether N> 0. • In the BlumShubSmale model, polynomial time computation over the reals (on discrete inputs) is polynomialtime equivalent to PosSLP, when there are only algebraic constants. We conjecture that using transcendental constants provides no additional power, beyond nonuniform reductions to PosSLP, and we present some preliminary results supporting this conjecture. • The Generic Task of Numerical Computation is also polynomialtime equivalent to PosSLP. We prove that PosSLP lies in the counting hierarchy. Combining this with work of Tiwari, we obtain that the Euclidean Traveling Salesman Problem lies in the counting hierarchy – the previous best upper bound for this important problem (in terms of classical complexity classes) being PSPACE. In the course of developing the context for our results on arithmetic circuits, we present some new observations on the complexity of ACIT: the Arithmetic Circuit Identity Testing problem. In particular, we show that if n! is not ultimately easy, then ACIT has subexponential complexity.
Approximation schemes for NPhard geometric optimization problems: A survey
 Mathematical Programming
, 2003
"... NPhard geometric optimization problems arise in many disciplines. Perhaps the most famous one is the traveling salesman problem (TSP): given n nodes in ℜ 2 (more generally, in ℜ d), find the minimum length path that visits each node exactly once. If distance is computed using the Euclidean norm (di ..."
Abstract

Cited by 42 (2 self)
 Add to MetaCart
NPhard geometric optimization problems arise in many disciplines. Perhaps the most famous one is the traveling salesman problem (TSP): given n nodes in ℜ 2 (more generally, in ℜ d), find the minimum length path that visits each node exactly once. If distance is computed using the Euclidean norm (distance between nodes (x1, y1) and (x2, y2) is ((x1−x2) 2 +(y1−y2) 2) 1/2) then the problem is called Euclidean TSP. More generally the distance could be defined using other norms, such as ℓp norms for any p> 1. All these are subcases of the more general notion of a geometric norm or Minkowski norm. We will refer to the version of the problem with a general geometric norm as geometric TSP. Some other NPhard geometric optimization problems are Minimum Steiner Tree (“Given n points, find the smallest network connecting them,”), kTSP(“Given n points and a number k, find the shortest salesman tour that visits k points”), kMST (“Given n points and a number k, find the shortest tree that contains k points”), vehicle routing, degree restricted minimum
When Hamming Meets Euclid: The Approximability of Geometric TSP and MST (Extended Abstract)
, 1997
"... We prove that the Traveling Salesperson Problem (MIN TSP) and the Minimum Steiner Tree Problem (MIN ST) are Max SNPhard (and thus NPhard to approximate within some constant r ? 1) even if all cities (respectively, points) lie in the geometric space R n (n is the number of cities/points) and ..."
Abstract

Cited by 41 (2 self)
 Add to MetaCart
We prove that the Traveling Salesperson Problem (MIN TSP) and the Minimum Steiner Tree Problem (MIN ST) are Max SNPhard (and thus NPhard to approximate within some constant r ? 1) even if all cities (respectively, points) lie in the geometric space R n (n is the number of cities/points) and distances are computed with respect to the l 1 (rectilinear) metric. The TSP hardness results also hold for any l p metric, including the Euclidean metric, and in R logn . The running time of Arora's approximation scheme for geometric MIN TSP in R d is doubly exponential in d. Our results imply that this dependance is necessary unless NP has subexponential algorithms. We also prove, as an intermediate step, the hardness of approximating MIN TSP and MIN ST in Hamming spaces. The reduction for MIN TSP uses errorcorrecting codes and random sampling; the reduction for MIN ST uses the integrality property of MINCUT. The only previous nonapproximability results for ...