Advertisement

Lower Bounds Are Not Easier over the Reals: Inside PH

  • Hervé Fournier
  • Pascal Koiran
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1853)

Abstract

We prove that all NP problems over the reals with addition and order can be solved in polynomial time with the help of a boolean NP oracle. As a consequence, the “P = NP?” question over the reals with addition and order is equivalent to the classical question. For the reals with addition and equality only, the situation is quite different since P is known to be different from NP. Nevertheless, we prove similar transfer theorems for the polynomial hierarchy.

Keywords

Polynomial Time Turing Machine Polynomial Size Polynomial Hierarchy Transfer Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    L. Blum, F. Cucker, M. Shub, and S. Smale. Complexity and Real Computation. Springer-Verlag, 1998.Google Scholar
  2. 2.
    F. Cucker and P. Koiran. Computing over the reals with addition and order: Higher complexity classes. Journal of Complexity, 11:358–376, 1995.zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    H. Fournier and P. Koiran. Are lower bounds easier over the reals? In Proc. 30th ACM Symposium on Theory of Computing, pages 507–513, 1998.Google Scholar
  4. 4.
    H. Fournier and P. Koiran. Lower bounds are not easier over the reals: Inside PH. LIP Research Report 99-21, Ecole Normale Supérieure de Lyon, 1999.Google Scholar
  5. 5.
    P. Koiran. Computing over the reals with addition and order. Theoretical Computer Science, 133(1):35–48, 1994.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    K. Meer. A note on a P≠NP result for a restricted class of real machines. Journal of Complexity, 8:451–453, 1992.zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    F. Meyer auf der Heide. A polynomial linear search algorithm for the n-dimensional knapsack problem. Journal of the ACM, 31(3):668–676, 1984.zbMATHCrossRefGoogle Scholar
  8. 8.
    F. Meyer auf der Heide. Fast algorithms for n-dimensional restrictions of hard problems. Journal of the ACM, 35(3):740–747, 1988.CrossRefGoogle Scholar
  9. 9.
    B. Poizat. Les Petits Cailloux. Nur Al-Mantiq Wal-Ma’rifah 3. Aléas, Lyon, 1995.Google Scholar
  10. 10.
    A. Schrijver. Theory of Linear and Integer Programming. Wiley, New-York, 1986.zbMATHGoogle Scholar
  11. 11.
    M. Shub and S. Smale. On the intractability of Hilbert’s Nullstellensatz and an algebraic version of “P=NP”. Duke Mathematical Journal, 81(1):47–54, 1996.CrossRefMathSciNetGoogle Scholar
  12. 12.
    S. Smale. On the P=NP problem over the complex numbers. Lecture given at the MSRI workshop on Complexity of Continuous and Algebraic Mathematics, November 1998. Lecture on video at http://www.msri.org.
  13. 13.
    L. G. Valiant. Completeness classes in algebra. In Proc. 11th ACM Symposium on Theory of Computing, pages 249–261, 1979.Google Scholar
  14. 14.
    L. G. Valiant. Reducibility by algebraic projections. In Logic and Algorithmic (an International Symposium held in honour of Ernst Specker), pages 365–380. Monographie n o 30 de L’Enseignement Mathématique, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Hervé Fournier
    • 1
  • Pascal Koiran
    • 1
  1. 1.Laboratoire de l’Informatique du ParallélismeEcole Normale Supérieure de LyonLyon Cedex 07France

Personalised recommendations