论文
·
In this paper, we discuss the $\mathcal{NP}$ problem using the Henkin's Theory and the Herbrand Theory in the first-order logic, and prove that $\mathcal{P}$ is a proper subset of $\mathcal{NP}$.
翻译：在本文中,我们用汉金理论和Herbrand理论的逻辑逻辑来讨论$mathcal{NP}$问题, 并证明$\mathcal{P}$是$\mathcal{NP}$的适当子集。
相关内容
Arxiv
15+阅读 · 2020年4月3日
相关主题
相关VIP内容
相关资讯
相关论文
Arxiv
15+阅读 · 2020年4月3日
微信扫码咨询专知VIP会员