Results 1  10
of
38
Towards Exact Geometric Computation
, 1994
"... Exact computation is assumed in most algorithms in computational geometry. In practice, implementors perform computation in some fixedprecision model, usually the machine floatingpoint arithmetic. Such implementations have many wellknown problems, here informally called "robustness issues&quo ..."
Abstract

Cited by 92 (6 self)
 Add to MetaCart
Exact computation is assumed in most algorithms in computational geometry. In practice, implementors perform computation in some fixedprecision model, usually the machine floatingpoint arithmetic. Such implementations have many wellknown problems, here informally called "robustness issues". To reconcile theory and practice, authors have suggested that theoretical algorithms ought to be redesigned to become robust under fixedprecision arithmetic. We suggest that in many cases, implementors should make robustness a nonissue by computing exactly. The advantages of exact computation are too many to ignore. Many of the presumed difficulties of exact computation are partly surmountable and partly inherent with the robustness goal. This paper formulates the theoretical framework for exact computation based on algebraic numbers. We then examine the practical support needed to make the exact approach a viable alternative. It turns out that the exact computation paradigm encomp...
Robust Geometric Computation
, 1997
"... Nonrobustness refers to qualitative or catastrophic failures in geometric algorithms arising from numerical errors. Section... ..."
Abstract

Cited by 73 (11 self)
 Add to MetaCart
Nonrobustness refers to qualitative or catastrophic failures in geometric algorithms arising from numerical errors. Section...
Static analysis yields efficient exact integer arithmetic for computational geometry
 In: ACM Transactions on Graphics
, 1996
"... ..."
(Show Context)
Evaluating Signs of Determinants Using SinglePrecision Arithmetic
, 1994
"... We propose a method to evaluate signs of 2 x 2 and 3 x 3 determinants with bbit integer entries using only b and (b + 1)bit arithmetic respectively. This algorithm has numerous applications in geometric computation and provides a general and practical approach to robustness. The algorithm has been ..."
Abstract

Cited by 41 (5 self)
 Add to MetaCart
We propose a method to evaluate signs of 2 x 2 and 3 x 3 determinants with bbit integer entries using only b and (b + 1)bit arithmetic respectively. This algorithm has numerous applications in geometric computation and provides a general and practical approach to robustness. The algorithm has been implemented and experimental results show that it slows down the computing time by only a small factor with respect to floatingpoint calculation.
Classroom examples of robustness problems in geometric computations
 In Proc. 12th European Symposium on Algorithms, volume 3221 of Lecture Notes Comput. Sci
, 2004
"... ..."
Snap Rounding Line Segments Efficiently in Two and Three Dimensions
, 1997
"... We study the problem of robustly rounding a set S of n line segments in R 2 using the snap rounding paradigm. In this paradigm each pixel containing an endpoint or intersection point is called "hot," and all segments intersecting a hot pixel are rerouted to pass through its center. We s ..."
Abstract

Cited by 30 (4 self)
 Add to MetaCart
We study the problem of robustly rounding a set S of n line segments in R 2 using the snap rounding paradigm. In this paradigm each pixel containing an endpoint or intersection point is called "hot," and all segments intersecting a hot pixel are rerouted to pass through its center. We show that a snaprounded approximation to the arrangement defined by S can be built in an outputsensitive fashion, and that this can be done without first determining all the intersecting pairs of segments in S. Specifically, we give a deterministic planesweep algorithm running in time O(n log n + P h2H jhj log n), where H is the set of hot pixels and jhj is the number of segments intersecting a hot pixel h 2 H. We also give a simple randomized incremental construction whose expected running time matches that of our deterministic algorithm. The complexity of these algorithms is optimal up to polylogarithmic factors. This research is supported by NSF grant CCR9625289 and by U.S. ARO grant DAAH04...
Efficient exact evaluation of signs of determinants
 IN PROC. 13TH ANNU. ACM SYMPOS. COMPUT. GEOM
, 1997
"... This paper presents a theoretical and experimental study on two different methods to evaluate the sign of a determinant with integer entries. The first one is a method based on the GramSchmidt orthogonalisation process which has been proposed by Clarkson [5]. We review the analysis of Clarkson an ..."
Abstract

Cited by 30 (2 self)
 Add to MetaCart
This paper presents a theoretical and experimental study on two different methods to evaluate the sign of a determinant with integer entries. The first one is a method based on the GramSchmidt orthogonalisation process which has been proposed by Clarkson [5]. We review the analysis of Clarkson and propose a variant of his method. The second method is an extension to n \Theta n determinants of the ABDPY method [1] which works only for 2 \Theta 2 and 3 \Theta 3 determinants. Both methods compute the signs of a n \Theta n determinants whose entries are integers on b bits, by using an exact arithmetic on only b + O(n) bits. Furthermore, both methods are adaptive, dealing quickly with easy cases and resorting to the fulllength computation only for null determinants.
Sign Determination in Residue Number Systems
, 1997
"... Sign determination is a fundamental problem in algebraic as well as geometric computing. It is the critical operation when using real algebraic numbers and exact geometric predicates. We propose an exact and efficient method that determines the sign of a multivariate polynomial expression with ra ..."
Abstract

Cited by 22 (8 self)
 Add to MetaCart
Sign determination is a fundamental problem in algebraic as well as geometric computing. It is the critical operation when using real algebraic numbers and exact geometric predicates. We propose an exact and efficient method that determines the sign of a multivariate polynomial expression with rational coefficients. Exactness is achieved by using modular computation. Although this usually requires some multiprecision computation, our novel techniques of recursive relaxation of the moduli and their variants enable us to carry out sign determination and comparisons by using only single precision. Moreover, to exploit modern day hardware, we exclusively rely on floating point arithmetic, which leads us to a hybrid symbolicnumeric approach to exact arithmetic. We show how our method can be used to generate robust and efficient implementations of real algebraic and geometric algorithms including Sturm sequences, algebraic representation of points and curves, convex hull and Voronoi...