Abstract
We survey recent progress on determining consistency over the real numbers of a system of integral polynomial equations and inequalities. We briefly state some recent results on the computational complexity of this problem. We describe how the cylindrical algebraic decomposition (cad) algorithm [2] can be used to solve this problem. We describe improvements to the efficiency of the cad-based approach to the consistency problem, some being applicable also to cad-based approaches to more general quantifier elimination problems. We present a version of the cad algorithm which solves the consistency problem for conjunctions of strict inequalities, and which runs faster than the original method applied to this problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D. S. Arnon, Algorithms for the geometry of semialgebraic sets PhD Thesis, University of Wisconsin-Madison, Computer Sciences Department, Tech. Report. 436, 1981.
D. S. Arnon, G. E. Collins, S. McCallum, Cylindrical algebraic decomposition I: the basic algorithm SIAM J. Comput. 13 4 (1984), 865–877.
R. Benedetti, J.-J. Risler, Real algebraic and semi-algebraic sets, Paris: Hermann, 1990.
J. Bokowski, Aspects of computational synthetic geometry II. Combinatorial complexes and their geometric realization. An algorithmic approach. Technical University of Darmstadt, Faculty of Mathematics, Preprint 1044, 1987.
B. Buchberger, S. McCallum, Geometric modeling based on logic and algebra Tech. Report No. TR-CS-89–01, 1989, Department of Computer Science, Australian National University.
G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition Lecture Notes in Comput. Sci., 33, Berlin: Springer-Verlag, 1975, pp. 134–183.
G. E. Collins, Quantifier elimination by cylindrical algebraic decomposition — twenty years of progress, to appear in: B. Caviness and J. Johnson (eds.), Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, Springer-Verlag, 1994.
G. E. Collins, H. Hong, Partial cylindrical algebraic decomposition for quantifier elimination, J. Symbolic Comput. 12 (1991), 299–328.
G. E. Collins, R. G. K. Loos, Real zeros of polynomials, Computing, Supplementum 4: Computer Algebra — Symbolic and Algebraic Computation, Vienna: Springer-Verlag, 1982, pp. 83–94.
D. Y. Grigoriev, N. N. Vorobjov, Solving systems of polynomial inequalities in subexponential time., J. Symbolic Comp. 5 (1988), 37–64.
J. Heintz, M.-E Roy, P. Solerno, On the theoretical and practical complexity of the existential theory of the reals The Computer Journal 36 (1993), 427–431.
H. Hong, An improvement of the projection operator in cylindrical algebraic decomposition, in: Proceedings of the 1990 International Symposium on Symbolic and Algebraic Computation, 1990, pp. 261–264.
H. Hong, Improvements in CAD-based quantifier elimination, PhD Thesis, The Ohio State University, published as Technical report no. OSU-CISRC-10/90-TR29 of the Computer and Information Science Research Center, 1990.
H. Hong, Collision problems by an improved CAD-based quantifier elimination algorithm Technical report RISC-Linz series no. 91–05. 0, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, 1991.
H. Hong, Comparison of several decision algorithms for the existential theory of the reals, Technical Report RISC-Linz series no. 91–41. 0, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, 1991.
E. Kaltofen, Polynomial factorization, Computing, Supplementum 4: Computer Algebra — Symbolic and Algebraic Computation, Vienna: Springer-Verlag, 1982, pp. 95–113.
D. Lazard, Private communication to the author, 1992.
D. Lazard, An improved projection for cylindrical algebraic decomposition,in: C. L. Bajaj, (ed.), Algebraic Geometry and its Applications. Springer-Verlag. (The proof in this paper is false and it is not known if the main result is true or not — from D. Lazard, 4 May 1994.)
R. G. K. Loos, Computing in algebraic extensions, Computing, Supplementum 4: Computer Algebra — Symbolic and Algebraic Computation, Vienna: Springer-Verlag, 1982, pp. 173–187.
S. McCallum, An improved projection operation for cylindrical algebraic decomposition, PhD Thesis, University of Wisconsin-Madison, Computer Sciences Department, Tech. Report 578, 1984.
S. McCallum, An improved projection operation for cylindrical algebraic decomposition of three-dimensional space, J. Symbolic Comput. 5 (1988), 141–161.
S. McCallum, Solving polynomial strict inequalities using cylindrical algebraic decomposition, The Computer Journal 36 (1993), 432–438.
S. McCallum, An improved projection operation for cylindrical algebraic decomposition, to appear in: B. Caviness and J. Johnson (eds.), Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, Springer-Verlag, 1994.
J. Renegar, On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals, J. Symbolic Comput. 13 (1992), 255–299.
J. Schwartz, M. Sharir, On the `piano movers ’ problem II. General techniques for computing topological properties of real algebraic manifolds., Advances in Applied Mathematics 4 (1983), 298–351.
O. Zariski, On equimultiple subvarieties of algebroid hypersurfaces, Proceedings of the National Academy of Sciences, USA 72, 4 (1975), 1425–1426.
O. Zariski, Studies in equisingularity II, American Journal of Mathematics 87, 4 (1965), 972–1006.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
McCallum, S. (1995). Recent Progress on Consistency Testing for Polynomial Systems. In: Bosma, W., van der Poorten, A. (eds) Computational Algebra and Number Theory. Mathematics and Its Applications, vol 325. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1108-1_17
Download citation
DOI: https://doi.org/10.1007/978-94-017-1108-1_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4560-7
Online ISBN: 978-94-017-1108-1
eBook Packages: Springer Book Archive