对林博士论文《关于 NP 与 coNP 以及 Frege 系统》的批评
计算复杂性
2025-05-12 v1
摘要
本文检阅林博士的论文《On NP versus coNP and Frege Systems》[Lin25]。林声称通过构造一种语言 证明 ，即 但 。我们指出林方法构造 （一个假定在多项式时间内识别 的非确定性图灵机）的缺陷。我们还提供了 的证明。通过这两种方式，我们表明林声称的 未由其论文所确立。此外，我们注意到林声称的若干进一步结果也未由其论文有效确立。
引用
@article{arxiv.2505.05658,
title = {A Critique of Lin's "On $\text{NP}$ versus $\text{coNP}$ and Frege Systems"},
author = {Nicholas DeJesse and Spencer Lyudovyk and Dhruv Pai and Michael Reidy},
journal= {arXiv preprint arXiv:2505.05658},
year = {2025}
}