论文信息 - Real Addition and the Polynomial Hierarchy - 字舞流文

Real Addition and the Polynomial Hierarchy

Abstract The k th alternation level of the theory of real numbers under addition and order is log-complete for the k th level of the polynomial hierarchy.

Eduardo D. Sontag | Eduardo Sontag

[1] John H. Reif,et al. The complexity of elementary algebra and geometry , 1984, STOC '84.

[2] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[3] Eduardo Sontag. Nonlinear regulation: The piecewise linear approach , 1981 .

[4] Albert R. Meyer,et al. On Time-Space Classes and their Relation to the Theory of Real Addition , 1980, Theor. Comput. Sci..

[5] Larry J. Stockmeyer,et al. The Polynomial-Time Hierarchy , 1976, Theor. Comput. Sci..

[6] Eduardo Sontag. Remarks on piecewise-linear algebra , 1982, Pacific Journal of Mathematics.

[7] Jeanne Ferrante,et al. A Decision Procedure for the First Order Theory of Real Addition with Order , 1975, SIAM J. Comput..

[8] V. Klee. Some characterizations of convex polyhedra , 1959 .

[9] G. C. Shephard,et al. Convex Polytopes , 1969, The Mathematical Gazette.