Abstract
This paper reports our effort to parallelize on a network of workstations the partial cylindrical algebraic decomposition based quantifier elimination algorithm over the reals, which was devised by Collins and improved by the author. We have parallelized the lifting phase of the algorithm, so that cylinders are constructed in parallel. An interesting feature is that the algorithm sometimes appears to produce super-linear speedups, due to speculative parallelism. Thus it suggests a possible further improvement of the sequential algorithm via simulating parallelism.
This research was carried out in the framework of the Austrian science foundation (FWF) project S5302-PHY (Parallel Algebraic Computation) and the European project (ESPRIT II) POSSO (Polynomial Systems Solving).
I thank for the anonymous referees for their many valuable suggestions for improving the paper. I also would like to thank Dan Teodosiu for implementing the underlying communication primitives.
Preview
Unable to display preview. Download preview PDF.
References
D. S. Arnon. Algorithms for the geometry of semi-algebraic sets. Technical Report 436, Computer Sciences Dept, Univ. of Wisconsin-Madison, 1981. Ph.D. Thesis.
D. S. Arnon, G. E. Collins, and S. McCallum. Cylindrical algebraic decomposition I: The basic algorithm. SIAM J. Comp., 13:865–877, 1984.
M. Ben-Or, D. Kozen, and J. H. Reif. The complexity of elementary algebra and geometry. J. Comput. System Sci., 32(2):251–264, 1986.
J. Canny. Some algebraic and geometric computations in PSPACE. In Proceedings of the 20th annual ACM symposium on the theory of computing, pages 460–467, 1988.
G. E. Collins. Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In Lecture Notes In Computer Science, pages 134–183. Springer-Verlag, Berlin, 1975. Vol. 33.
G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12(3):299–328, September 1991.
G. E. Collins and R. Loos. The SAC-2 Computer Algebra System. Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria A-4040.
N. Fitchas, A. Galligo, and J. Morgenstern. Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields. Journal of Pure and Applied Algebra, (67):1–14, 1990.
D. Yu. Grigor'ev. The complexity of deciding Tarski algebra. Journal of Symbolic Computation, 5(1,2):65–108, 1988.
J. Heintz, M-F. Roy, and T. Recio. Algorithms in real algebraic geometry and applications to computational geometry. DIMACS, 6, 1991.
J. Heintz, M-F. Roy, and P. Solernó. On the complexity of semialgebraic sets. In Proc. IFIP, pages 293–298, 1989.
J. Heintz, M-F. Roy, and P. Solernó. Single exponential path finding in semi-algebraic sets I: The case of smooth compact hypersurface. In Proceedings of AAECC-8, 1990.
J. Heintz, M-F. Roy, and P. Solernó. Single exponential path finding in semi-algebraic sets II: The general case. In Abhyankar's conference proceedings, 1990.
H. Hong. An improvement of the projection operator in cylindrical algebraic decomposition. In International Symposium of Symbolic and Algebraic Computation ISSAC-90, pages 261–264, 1990.
H. Hong. Improvements in CAD-based Quantifier Elimination. PhD thesis, The Ohio State University, 1990.
H. Hong. Comparison of several decision algorithms for the existential theory of the reals. Technical Report 91-41.0, Research Institute for Symbolic Computation, Johannes Kepler University A-4040 Linz, Austria, 1991.
H. Hong. Parallelization of quantifier elimination on workstation network. Technical Report 91-55.0, Research Institute for Symbolic Computation, Johannes Kepler University A-4040 Linz, Austria, 1991.
H. Hong. Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In International Conference on Symbolic and Algebraic Computation ISSAC-92, pages 177–188, 1992.
L. Langemyr. The cylindrical algebraic decomposition algorithm and multiple algebraic extensions. In Proc. 9th IMA Conference on the Mathematics of Surfaces, September 1990.
R. G. K. Loos. The algorithm description language ALDES (Report). ACM SIG-SAM Bull., 10(1):15–39, 1976.
S. McCallum. An Improved Projection Operator for Cylindrical Algebraic Decomposition. PhD thesis, University of Wisconsin-Madison, 1984.
J. Renegar. On the computational complexity and geometry of the first-order theory of the reals (part III). Journal of Symbolic Computation, 13(3):329–352, 1992.
B. D. Saunders, H. R. Lee, and S. K. Abdali. A parallel implementation of the cylindrical algebraic decomposition algorithm. In International Symposium of Symbolic and Algebraic Computation, pages 298–307, 1990.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. Univ. of California Press, Berkeley, second edition, 1951.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hong, H. (1993). Parallelization of quantifier elimination on a workstation network. In: Cohen, G., Mora, T., Moreno, O. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1993. Lecture Notes in Computer Science, vol 673. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56686-4_42
Download citation
DOI: https://doi.org/10.1007/3-540-56686-4_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56686-1
Online ISBN: 978-3-540-47630-6
eBook Packages: Springer Book Archive