Bibliografske podrobnosti
| Naslov: |
A Critique of Lin's 'On $\text{NP}$ versus $\text{coNP}$ and Frege Systems' |
| Authors: |
DeJesse, Nicholas, Lyudovyk, Spencer, Pai, Dhruv, Reidy, Michael |
| Publication Year: |
2025 |
| Collection: |
Computer Science |
| Subject Terms: |
Computer Science - Computational Complexity |
| Opis: |
In this paper, we examine Lin's "On NP versus coNP and Frege Systems" [Lin25]. Lin claims to prove that $\text{NP} \neq \text{coNP}$ by constructing a language $L_d$ such that $L_d \in \text{NP}$ but $L_d \notin \text{coNP}$. We present a flaw in Lin's construction of $D$ (a nondeterministic Turing machine that supposedly recognizes $L_d$ in polynomial time). We also provide a proof that $L_d \not\in \text{NP}$. In doing so, we demonstrate that Lin's claim that $\text{NP} \neq \text{coNP}$ is not established by his paper. In addition, we note that a number of further results that Lin claims are not validly established by his paper. |
| Document Type: |
Working Paper |
| Access URL: |
http://arxiv.org/abs/2505.05658 |
| Accession Number: |
edsarx.2505.05658 |
| Database: |
arXiv |