Inverse Problems Have Inverse Complexity

  • Tobias Berg
  • Harald Hempel
Conference paper
Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 273)

abstract

In this paper we show that inverting problems of higher complexity is easier than inverting problems of lower complexity. While inverting Σpi3CNFSAT is known to be coNP-complete sideri for i=1 we prove that it remains coNP-complete for i=2 and is in P for all i⩾ 3. Relatedly, we show that inverting Σpi3DNFSAT is in P for all i⩾ 1.

References

  1. 1.
    Tobias Berg and Harald Hempel. Inverse problems have inverse complexity, 2008. Technical Report, FSU Jena.Google Scholar
  2. 2.
    Hubie Chen. Inverse NP problems. In Mathematical foundations of computer science 2003, volume 2747 of Lecture Notes in Comput. Sci., pages 338–347. Springer, Berlin, 2003.Google Scholar
  3. 3.
    Michael R. Garey and David S. Johnson. Computers and intractability. W. H. Freeman and Co., San Francisco, Calif., 1979. A guide to the theory of NP-completeness, A Series of Books in the Mathematical Sciences.Google Scholar
  4. 4.
    Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel. All superlinear inverse schemes are co NP-hard. Theoret. Comput. Sci., 345(2-3):345–358, 2005.MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Lane A. Hemaspaandra and Mitsunori Ogihara. The complexity theory companion. Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag, Berlin, 2002.Google Scholar
  6. 6.
    Dimitris Kavvadias and Martha Sideri. The inverse satisfiability problem. SIAM J. Comput., 28(1):152–163 (electronic), 1999.MathSciNetMATHGoogle Scholar
  7. 7.
    Michael Krüger and Harald Hempel. Inverse Hamiltonian cycle and inverse 3-D matching are co NP-complete. In Algorithms and computation, volume 4288 of Lecture Notes in Comput. Sci., pages 243–252. Springer, Berlin, 2006.MATHGoogle Scholar
  8. 8.
    Albert R. Meyer and Larry J. Stockmeyer. The equivalence problem for regular expressions with squaring requires exponential space. In FOCS, pages 125–129. IEEE, 1972.Google Scholar
  9. 9.
    Christos H. Papadimitriou. Computational complexity. Addison-Wesley Publishing Company, Reading, MA, 1994.Google Scholar
  10. 10.
    Larry J. Stockmeyer. The polynomial-time hierarchy. Theoret. Comput. Sci., 3(1):1–22 (1977), 1976.MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2008

Authors and Affiliations

  • Tobias Berg
    • 1
  • Harald Hempel
    • 1
  1. 1.Fakultät für Mathematik und InformatikFriedrich-Schiller-Universität JenaGermany

Personalised recommendations