对Keum-Bae Cho关于$\mathrm{P} \subsetneq \mathrm{NP}$的证明的批判
摘要：对于Keum-Bae Cho关于P⊆NP的证明，本文进行了批评。该证明将3-SAT问题与不可区分的二项式决策树联系起来，并声称没有多项式时间算法可以解决由这些树表示的3-SAT实例。我们认为他们的证明未能证明一个关键步骤，因此不能证明P⊆NP。
作者：Benjamin Carleton, Michael C. Chavrimootoo, Conor Taliancich
论文ID：2104.01736
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-05-16