Algorithmica

, Volume 19, Issue 1–2, pp 219–242

Efficient Perturbations for Handling Geometric Degeneracies

  • I. Z. Emiris
  • J. F. Canny
  • R. Seidel

DOI: 10.1007/PL00014417

Cite this article as:
Emiris, I., Canny, J. & Seidel, R. Algorithmica (1997) 19: 219. doi:10.1007/PL00014417

Abstract.

This article defines input perturbations so that an algorithm designed under certain restrictions on the input can execute on arbitrary instances. A syntactic definition of perturbations is proposed and certain properties are specified under which an algorithm executed on perturbed input produces an output from which the exact answer can be recovered. A general framework is adopted for linear perturbations, which are efficient from the point of view of worst-case complexity. The deterministic scheme of Emiris and Canny [1] was the first efficient scheme and is extended in a consistent manner, most notably to the InSphere primitive. We introduce a variant scheme, applicable to a restricted class of algorithms, which is almost optimal in terms of algebraic as well as bit complexity. Neither scheme requires any symbolic computation and both are simple to use as illustrated by our implementation of a convex hull algorithm in arbitrary dimension. Empirical results and a concrete application in robotics are presented.

Key words. Input degeneracy, Efficient perturbations, Algorithm implementation, General-dimensional convex hulls. 

Copyright information

© 1997 Springer-Verlag New York Inc.

Authors and Affiliations

  • I. Z. Emiris
    • 1
  • J. F. Canny
    • 2
  • R. Seidel
    • 3
  1. 1.Project SAFIR, I.N.R.I.A., B.P. 93, 06902 Sophia-Antipolis, France. emiris@sophia.inria.fr.FR
  2. 2.Computer Science Division, University of California, Berkeley, CA 94720, USA. jfc@cs.Berkeley.edu.US
  3. 3.Universität des Saarlandes, FB 14, Informatik, Geb. 36, Postfach 151150, 66041 Saarbrücken, Germany. seidel@cs.uni-sb.de.DE

Personalised recommendations