Oracle with P = NP ∩ coNP, but No Many-One Completeness in UP, DisjNP, and DisjCoNP

Authors Anton Ehrmanntraut , Fabian Egidy , Christian Glaßer

Thumbnail PDF


  • Filesize: 0.68 MB
  • 15 pages

Document Identifiers

Author Details

Anton Ehrmanntraut
  • Julius-Maximilians-Universität Würzburg, Germany
Fabian Egidy
  • Julius-Maximilians-Universität Würzburg, Germany
Christian Glaßer
  • Julius-Maximilians-Universität Würzburg, Germany

Cite AsGet BibTex

Anton Ehrmanntraut, Fabian Egidy, and Christian Glaßer. Oracle with P = NP ∩ coNP, but No Many-One Completeness in UP, DisjNP, and DisjCoNP. In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 241, pp. 45:1-45:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


We construct an oracle relative to which P = NP ∩ coNP, but there are no many-one complete sets in UP, no many-one complete disjoint NP-pairs, and no many-one complete disjoint coNP-pairs. This contributes to a research program initiated by Pudlák [P. Pudlák, 2017], which studies incompleteness in the finite domain and which mentions the construction of such oracles as open problem. The oracle shows that NP ∩ coNP is indispensable in the list of hypotheses studied by Pudlák. Hence one should consider stronger hypotheses, in order to find a universal one.

Subject Classification

ACM Subject Classification
  • Theory of computation → Problems, reductions and completeness
  • Theory of computation → Oracles and decision trees
  • Theory of computation → Proof complexity
  • computational complexity
  • promise classes
  • proof complexity
  • complete sets
  • oracle construction


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. O. Beyersdorff. Representable disjoint NP-pairs. In Proceedings 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, volume 3328 of Lecture Notes in Computer Science, pages 122-134. Springer, 2004. URL:
  2. O. Beyersdorff. Disjoint NP-pairs from propositional proof systems. In Proceedings of Third International Conference on Theory and Applications of Models of Computation, volume 3959 of Lecture Notes in Computer Science, pages 236-247. Springer, 2006. URL:
  3. O. Beyersdorff. Classes of representable disjoint NP-pairs. Theoretical Computer Science, 377(1-3):93-109, 2007. URL:
  4. O. Beyersdorff. The deduction theorem for strong propositional proof systems. Theory of Computing Systems, 47(1):162-178, 2010. URL:
  5. O. Beyersdorff, J. Köbler, and J. Messner. Nondeterministic functions and the existence of optimal proof systems. Theoretical Computer Science, 410(38-40):3839-3855, 2009. URL:
  6. O. Beyersdorff and Z. Sadowski. Do there exist complete sets for promise classes? Mathematical Logic Quarterly, 57(6):535-550, 2011. URL:
  7. A. Blass and Y. Gurevich. Equivalence relations, invariants, and normal forms. SIAM Journal on Computing, 13(4):682-689, 1984. URL:
  8. S. Cook and R. Reckhow. The relative efficiency of propositional proof systems. Journal of Symbolic Logic, 44:36-50, 1979. URL:
  9. T. Dose. Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes. PhD thesis, Fakultät für Mathematik und Informatik, Universität Würzburg, 2020. URL:
  10. T. Dose. Further oracles separating conjectures about incompleteness in the finite domain. Theoretical Computer Science, 847:76-94, 2020. URL:
  11. T. Dose. An oracle separating conjectures about incompleteness in the finite domain. Theoretical Computer Science, 809:466-481, 2020. URL:
  12. T. Dose and C. Glaßer. NP-completeness, proof systems, and disjoint NP-pairs. In C. Paul and M. Bläser, editors, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France, volume 154 of LIPIcs, pages 9:1-9:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. URL:
  13. J. Edmonds. Minimum partition of a matroid into independent subsets. Journal of Research of the National Bureau of Standards, 69B:67-72, 1965. URL:
  14. S. Fenner, L. Fortnow, A. Naik, and J. Rogers. On inverting onto functions. In Proceedings 11th Conference on Computational Complexity, pages 213-223. IEEE Computer Society Press, 1996. Google Scholar
  15. S. A. Fenner, L. Fortnow, A. V. Naik, and J. D. Rogers. Inverting onto functions. Information and Computation, 186(1):90-103, 2003. URL:
  16. C. Glaßer, C. Reitwießner, and V. L. Selivanov. The shrinking property for NP and coNP. Theoretical Computer Science, 412(8-10):853-864, 2011. URL:
  17. C. Glaßer, A. L. Selman, and S. Sengupta. Reductions between disjoint NP-pairs. Information and Computation, 200:247-267, 2005. URL:
  18. C. Glaßer, A. L. Selman, S. Sengupta, and L. Zhang. Disjoint NP-pairs. SIAM Journal on Computing, 33(6):1369-1416, 2004. URL:
  19. C. Glaßer, A. L. Selman, and L. Zhang. Canonical disjoint NP-pairs of propositional proof systems. Theoretical Computer Science, 370:60-73, 2007. URL:
  20. C. Glaßer, A. L. Selman, and L. Zhang. The informational content of canonical disjoint NP-pairs. International Journal of Foundations of Computer Science, 20(3):501-522, 2009. URL:
  21. J. Grollmann and A. L. Selman. Complexity measures for public-key cryptosystems. SIAM Journal on Computing, 17(2):309-335, 1988. URL:
  22. J. Hartmanis and L. A. Hemachandra. Complexity classes without machines: On complete languages for UP. Theoretical Computer Science, 58:129-142, 1988. URL:
  23. Kannan, 1979. Sipser [M. Sipser, 1982] cites an unpublished work by Kannan for asking if there is a set complete for NP ∩ coNP. Google Scholar
  24. E. Khaniki. New relations and separations of conjectures about incompleteness in the finite domain. ArXiv preprint, 2019. URL:
  25. J. Köbler, J. Messner, and J. Torán. Optimal proof systems imply complete sets for promise classes. Information and Computation, 184(1):71-92, 2003. URL:
  26. J. Krajícek and P. Pudlák. Propositional proof systems, the consistency of first order theories and the complexity of computations. Journal of Symbolic Logic, 54:1063-1079, 1989. URL:
  27. N. Megiddo and C. H. Papadimitriou. On total functions, existence theorems and computational complexity. Theoretical Computer Science, 81(2):317-324, 1991. URL:
  28. J. Messner. On the Simulation Order of Proof Systems. PhD thesis, Universität Ulm, 2000. Google Scholar
  29. C. H. Papadimitriou. On the complexity of integer programming. Journal of the ACM, 28(4):765-768, 1981. URL:
  30. P. Pudlák. On the lengths of proofs of consistency. In Collegium Logicum, pages 65-86. Springer Vienna, 1996. URL:
  31. P. Pudlák. On reducibility and symmetry of disjoint NP pairs. Theoretical Computer Science, 295:323-339, 2003. URL:
  32. P. Pudlák. On some problems in proof complexity. In O. Beyersdorff, E. A. Hirsch, J. Krajícek, and R. Santhanam, editors, Optimal algorithms and proofs (Dagstuhl Seminar 14421), volume 4, pages 63-63, Dagstuhl, Germany, 2014. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL:
  33. P. Pudlák. Incompleteness in the finite domain. The Bulletin of Symbolic Logic, 23(4):405-441, 2017. URL:
  34. A. Razborov. On provably disjoint NP-pairs. BRICS Report Series, 36, 1994. URL:
  35. A. L. Selman. Promise problems complete for complexity classes. Information and Computation, 78:87-98, 1988. URL:
  36. M. Sipser. On relativization and the existence of complete sets. In Proceedings 9th ICALP, volume 140 of Lecture Notes in Computer Science, pages 523-531. Springer Verlag, 1982. URL:
  37. L. G. Valiant. Relative complexity of checking and evaluation. Information Processing Letters, 5:20-23, 1976. URL:
  38. O. V. Verbitskii. Optimal algorithms for coNP-sets and the EXP=?NEXP problem. Mathematical notes of the Academy of Sciences of the USSR, 50(2):796-801, 1991. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail