Computer Science – Computational Geometry
Scientific paper
2012-03-29
Computer Science
Computational Geometry
90 pages, 30 figures
Scientific paper
The implementation of reliable and efficient geometric algorithms is a challenging task. The reason is the following conflict: On the one hand, computing with rounded arithmetic may question the reliability of programs while, on the other hand, computing with exact arithmetic may be too expensive and hence inefficient. One solution is the implementation of controlled perturbation algorithms which combine the speed of floating-point arithmetic with a protection mechanism that guarantees reliability, nonetheless. This paper is concerned with the performance analysis of controlled perturbation algorithms in theory. We answer this question with the presentation of a general analysis tool box. This tool box is separated into independent components which are presented individually with their interfaces. This way, the tool box supports alternative approaches for the derivation of the most crucial bounds. We present three approaches for this task. Furthermore, we have thoroughly reworked the concept of controlled perturbation in order to include rational function based predicates into the theory; polynomial based predicates are included anyway. Even more we introduce object-preserving perturbations. Moreover, the tool box is designed such that it reflects the actual behavior of the controlled perturbation algorithm at hand without any simplifying assumptions.
No associations
LandOfFree
General Analysis Tool Box for Controlled Perturbation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with General Analysis Tool Box for Controlled Perturbation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and General Analysis Tool Box for Controlled Perturbation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-57367