arXiv Open Access 2023

Proofs of NP = coNP = PSPACE: Current upgrade

Lev Gordeev Edward Hermann Haeusler

Lihat Sumber

Abstrak

In this paper we present a more transparent upgrade of our proofs and comment on Jerabek's paper [8] that tried to refute our results by providing exponential lower bounds on the implicational minimal logic.

Topik & Kata Kunci

cs.CC

Penulis (2)

Lev Gordeev

Edward Hermann Haeusler

Format Sitasi

APA MLA BibTeX

Gordeev, L., Haeusler, E.H. (2023). Proofs of NP = coNP = PSPACE: Current upgrade. https://arxiv.org/abs/2311.17939

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓