对 Keum-Bae Cho 关于 $\mathrm{P} \subsetneq \mathrm{NP}$ 证明的批判
计算复杂性
2022-05-16 v1
摘要
在本文中，我们批判 Keum-Bae Cho 关于 的证明。该证明将 3-SAT 的实例与不可区分二项决策树相关联，并声称不存在多项式时间算法能求解由这些树表示的 3-SAT 实例。我们指出其证明未能论证一个关键步骤，因此该证明并未确立 。
引用
@article{arxiv.2104.01736,
title = {A Critique of Keum-Bae Cho's Proof that $\mathrm{P} \subsetneq \mathrm{NP}$},
author = {Benjamin Carleton and Michael C. Chavrimootoo and Conor Taliancich},
journal= {arXiv preprint arXiv:2104.01736},
year = {2022}
}