Abstract
This paper generalizes the multidimensional searching scheme of Dobkin and Lipton [SIAM J. Comput. 5(2), pp. 181–186, 1976] for the case of arbitrary (as opposed to linear) real algebraic varieties. Let d,r be two positive constants and let P 1,...,P n be n rational r-variate polynomials of degree ≤d. Our main result is an \(O(n^{2^{r + 6} } )\) data structure for computing the predicate [∃i (1≤i≤n)|P i (x)=0] in O(log n) time, for any x∈E r . The method is intimately based on a decomposition technique due to Collins [Proc. 2nd GI Conf. on Automata Theory and Formal Languages, pp. 134–183, 1975]. The algorithm can be used to solve problems in computational geometry via a locus approach. We illustrate this point by deriving an o(n 2) algorithm for computing the time at which the convex hull of n (algebraically) moving points in E 2 reaches a steady state.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.