Abstract
An implementation of a computational geometry algorithm is robust if the combinatorial output is correct for every input. Robustness is achieved by ensuring that the predicates in the algorithm are evaluated correctly. A predicate is the sign of an algebraic expression whose variables are input parameters. The hardest case is detecting degenerate predicates where the value of the expression equals zero. We encounter this case in constructing the free space of a polyhedron that rotates around a fixed axis and translates freely relative to a stationary polyhedron. Each predicate involved in the construction is expressible as the sign of a univariate polynomial f evaluated at a zero t of a univariate polynomial g, where the coefficients of f and g are polynomials in the coordinates of the polyhedron vertices. A predicate is degenerate when t is a zero of a common factor of f and g. We present an efficient degeneracy detection algorithm based on a one-time factoring of all the univariate polynomials over the ring of multivariate polynomials in the vertex coordinates. Our algorithm is 3500 times faster than the standard algorithm based on greatest common divisor computation. It reduces the share of degeneracy detection in our free space computations from 90% to 0.5% of the running time.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 219-237 |
| Number of pages | 19 |
| Journal | International Journal of Computational Geometry and Applications |
| Volume | 29 |
| Issue number | 3 |
| DOIs | |
| State | Published - Sep 1 2019 |
Fingerprint
Keywords
- configuration spaces
- multivariate polynomial factoring
- Robust computational geometry
ASJC Scopus subject areas
- Theoretical Computer Science
- Geometry and Topology
- Computational Theory and Mathematics
- Computational Mathematics
- Applied Mathematics
Cite this
Fast Detection of Degenerate Predicates in Free Space Construction. / Milenkovic, Victor; Sacks, Elisha; Butt, Nabeel.
In: International Journal of Computational Geometry and Applications, Vol. 29, No. 3, 01.09.2019, p. 219-237.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Fast Detection of Degenerate Predicates in Free Space Construction
AU - Milenkovic, Victor
AU - Sacks, Elisha
AU - Butt, Nabeel
PY - 2019/9/1
Y1 - 2019/9/1
N2 - An implementation of a computational geometry algorithm is robust if the combinatorial output is correct for every input. Robustness is achieved by ensuring that the predicates in the algorithm are evaluated correctly. A predicate is the sign of an algebraic expression whose variables are input parameters. The hardest case is detecting degenerate predicates where the value of the expression equals zero. We encounter this case in constructing the free space of a polyhedron that rotates around a fixed axis and translates freely relative to a stationary polyhedron. Each predicate involved in the construction is expressible as the sign of a univariate polynomial f evaluated at a zero t of a univariate polynomial g, where the coefficients of f and g are polynomials in the coordinates of the polyhedron vertices. A predicate is degenerate when t is a zero of a common factor of f and g. We present an efficient degeneracy detection algorithm based on a one-time factoring of all the univariate polynomials over the ring of multivariate polynomials in the vertex coordinates. Our algorithm is 3500 times faster than the standard algorithm based on greatest common divisor computation. It reduces the share of degeneracy detection in our free space computations from 90% to 0.5% of the running time.
AB - An implementation of a computational geometry algorithm is robust if the combinatorial output is correct for every input. Robustness is achieved by ensuring that the predicates in the algorithm are evaluated correctly. A predicate is the sign of an algebraic expression whose variables are input parameters. The hardest case is detecting degenerate predicates where the value of the expression equals zero. We encounter this case in constructing the free space of a polyhedron that rotates around a fixed axis and translates freely relative to a stationary polyhedron. Each predicate involved in the construction is expressible as the sign of a univariate polynomial f evaluated at a zero t of a univariate polynomial g, where the coefficients of f and g are polynomials in the coordinates of the polyhedron vertices. A predicate is degenerate when t is a zero of a common factor of f and g. We present an efficient degeneracy detection algorithm based on a one-time factoring of all the univariate polynomials over the ring of multivariate polynomials in the vertex coordinates. Our algorithm is 3500 times faster than the standard algorithm based on greatest common divisor computation. It reduces the share of degeneracy detection in our free space computations from 90% to 0.5% of the running time.
KW - configuration spaces
KW - multivariate polynomial factoring
KW - Robust computational geometry
UR - http://www.scopus.com/inward/record.url?scp=85074360864&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85074360864&partnerID=8YFLogxK
U2 - 10.1142/S0218195919500067
DO - 10.1142/S0218195919500067
M3 - Article
AN - SCOPUS:85074360864
VL - 29
SP - 219
EP - 237
JO - International Journal of Computational Geometry and Applications
JF - International Journal of Computational Geometry and Applications
SN - 0218-1959
IS - 3
ER -