MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A performance comparison of interval arithmetic and error analysis in geometric predicates (2000) [2 citations — 1 self]

Download:
Download as a PDF | Download as a PS
by S. A. Seshia, G. E. Blelloch, R. W. Harper
http://www.cs.cmu.edu/~rwh/papers/perfcomp/tr172.ps
Add To MetaCart

Abstract:

notwithstanding any copyright annotation thereon. The views and conclusions contained in this document are those of the authors, and should not be interpreted as necessarily representing the ocial policies or endorsements, either expressed or implied, of the Department of Defense or the U.S. Government. Exact arithmetic is used to build robust implementations of geometric algorithms. However, it is slow, and computing to arbitrary precision is unnecessary most of the time. Floatingpoint lters, which are commonly used instead, are fast self-checking computations that fall back on exact arithmetic when the check indicates that the fast calculation is incorrect. The use of interval arithmetic in oating-point lters is attractive because they can be used to build geometric software that does not assume error-free inputs. However, the use of interval arithmetic might impose a penalty on performance. In this report, we study the performance impact of using interval arithmetic based lters in the line-side and in-circle geometric predicates. We report results obtained with implementations of two commonly used geometric algorithms: Delaunay triangulation and convex hull computation, and for a range of point distributions. Our results indicate that interval arithmetic imposes a performance penalty of at most 2 in the worst case, and even improves performance in some cases.

Citations

550 LEDA: A Platform for Combinatorial and Geometric Computing – Mehlhorn, Näher - 2000
544 Interval Analysis – Moore - 1966
81 Adaptive precision floating-point arithmetic and fast robust geometric predicates – Shewchuk - 1997
70 The exact computation paradigm – Yap - 1995
57 Static analysis yields efficient exact integer arithmetic for computational geometry – Fortune, VanWyk - 1996
50 Evaluating Signs of Determinants using Single-Precision Arithmetic. Algorithmica 17 – Avnaim, Boissonnat, et al. - 1997
37 Exact Geometric Computation in LEDA – Burnikel, Konemann, et al. - 1995
29 Interval Arithmetic Yields Efficient Dynamic Filters for Computational Geometry – Bronnimann, Burnikel, et al. - 1998
21 Exact Arithmetic using Cascaded Computations – Burnikel, Funke, et al. - 1998
15 LOOK: A Lazy Object-oriented Kernel for Geometric Computation – Funke, Mehlhorn
14 Static analysis yields ecient exact integer arithmetic for computational geometry – Fortune, Wyk - 1996
12 Interval Analysis. Prentice-Hall – Moore, R - 1966
10 PROFIL/BIAS - A Fast Interval Library – Knueppel
8 Interval arithmetic yields ecient dynamic for computational geometry – Bronnimann, Burnikel, et al. - 1998
1 http ://www. swox. com/gmp – PACKAGE
1 Qhull package. http://www.geom.umn.edu/software/qhull – Minnesota