There is a conjecture on $\mathcal{NP}\overset{?}{=}\mathcal{PSPACE}$ in computational complexity. It is a widespread belief that $\mathcal{NP}\neq \mathcal{PSPACE}$. In this paper, we show that $\mathcal{NP}\neq \mathcal{PSPACE}$ via the premise of $NTIME[S(n)]\subseteq DSPACE[S(n)]$, and then by diagonalization over all polynomial-time nondeterministic Turing machines via universal nondeterministic Turing machine $M_0$ running in $O(n^k)$ space for any $k\in \mathbb{N}_1$. Thus we obtain a language $L_d$ not accepted by any polynomial-time nondeterministic Turing machines, but accepted by $M_0$. We further prove that $L_d\in \mathcal{PSPACE}$ hence the result $\mathcal{NP}\neq \mathcal{PSPACE}$ follows.


翻译:在计算复杂度方面有一个关于$mathcal{NP{NP_overset{?\\\\ mathcal{pscal{PSPCE}$的猜想。 人们普遍认为,$mathcal{NP{neq\mathcal{PSPACE}$。 在本文中, 我们显示,$mathcal{NP ⁇ nq \ mathcal{pscal{PSPACE}$, 前提是$NTIME[S(n)]\Subseteq DSPACE[S(n)]$, 然后通过通用的非非定义性涡轮机对所有多边- 时间非定型涡轮机进行二进化。 我们进一步证明, $L_d\ mathcal{PSACE} 美元, 美元运行于此结果。 因此,我们得到了任何非定时非定型涡轮机所不接受的1美元。 我们进一步证明, $L_d\ mathal{PAC_Q} 美元。

0
下载
关闭预览

相关内容

可靠深度异常检测,34页ppt,Google Balaji Lakshminarayanan讲解
【UAI2021教程】贝叶斯最优学习,65页ppt
专知会员服务
64+阅读 · 2021年8月7日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
智慧交通的高精度定位技术(PPT)
智能交通技术
29+阅读 · 2019年5月1日
已删除
将门创投
3+阅读 · 2019年1月29日
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
保序最优传输:Order-preserving Optimal Transport
我爱读PAMI
6+阅读 · 2018年9月16日
条件GAN重大改进!cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
Arxiv
0+阅读 · 2022年2月22日
VIP会员
相关主题
相关VIP内容
可靠深度异常检测,34页ppt,Google Balaji Lakshminarayanan讲解
【UAI2021教程】贝叶斯最优学习,65页ppt
专知会员服务
64+阅读 · 2021年8月7日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
相关资讯
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
智慧交通的高精度定位技术(PPT)
智能交通技术
29+阅读 · 2019年5月1日
已删除
将门创投
3+阅读 · 2019年1月29日
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
保序最优传输:Order-preserving Optimal Transport
我爱读PAMI
6+阅读 · 2018年9月16日
条件GAN重大改进!cGANs with Projection Discriminator
CreateAMind
8+阅读 · 2018年2月7日
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
Top
微信扫码咨询专知VIP会员