- Tytuł:
- Proof Compression and NP Versus PSPACE II: Addendum
- Autorzy:
-
Gordeev, Lew
Haeusler, Edward Hermann - Powiązania:
- https://bibliotekanauki.pl/articles/2142754.pdf
- Data publikacji:
- 2022-01-07
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
graph theory
natural deduction
computational complexity - Opis:
- In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic (HSC) with the horizontal compressing in the corresponding minimal Prawitz-style natural deduction (ND). In this Addendum we show how to prove a weaker result NP = coNP without referring to HSC. The underlying idea (due to the second author) is to omit full minimal logic and compress only “naive” normal tree-like ND refutations of the existence of Hamiltonian cycles in given non-Hamiltonian graphs, since the Hamiltonian graph problem in NPcomplete. Thus, loosely speaking, the proof of NP = coNP can be obtained by HSC-elimination from our proof of NP = PSPACE.
- Źródło:
-
Bulletin of the Section of Logic; 2022, 51, 2; 197-205
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki