Title :
Algebraic cell decomposition in NC
Author :
Kozen, Dexter ; Yap, Chee-Keng
Abstract :
We give an algorithm to construct a cell decomposition of Rd, including adjacency information, defined by any given set of rational polynomials in d variables. The algorithm runs in single exponential parallel time, and in NC for fixed d. The algorithm extends a recent algorithm of Ben-Or, Kozen, and Reif for deciding the theory of real closed fields.
Keywords :
Application software; Computational geometry; Computer displays; Computer graphics; Computer science; Motion planning; Motion-planning; Polynomials; Robots; Topology;
Conference_Titel :
Foundations of Computer Science, 1985., 26th Annual Symposium on
Conference_Location :
Portland, OR, USA
Print_ISBN :
0-8186-0644-4
DOI :
10.1109/SFCS.1985.4
