Sopin的"${m PH} = {m PSPACE}$"的批评
摘要：批评Valerii Sopin的论文"${m PH} = {m PSPACE}" [Sop14]。该论文声称通过利用量化布尔公式的存在量词的Skolemization，证明了${QBF}$（一个众所周知的${PSPACE}$-完全问题）属于$Pi\_4^p$，从而得出${PH}={PSPACE}$。在这个批评中，我们指出了该论文存在的问题，并得出结论，它未能证明${PH}={PSPACE}$。
作者：Michael C. Chavrimootoo and Ian Clingerman and Quan Luu
论文ID：2301.03487
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-01-10