P诉NP (P vs NP) - 专知论文

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}$的适当子集。

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授

专知会员服务

73+阅读 · 2022年6月28日

【硬核书】矩阵代数基础，248页pdf

专知会员服务

85+阅读 · 2021年12月9日

INRIA最新「机器学习理论」新书，229页pdf原理性阐述机器学习

专知会员服务

67+阅读 · 2021年3月27日

INRIA 最新《机器学习理论》课程笔记，176页pdf

专知会员服务

50+阅读 · 2020年12月14日

UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf

专知会员服务

161+阅读 · 2020年1月16日

强化学习最新教程，17页pdf

专知会员服务

174+阅读 · 2019年10月11日

【新书】Python编程基础，669页pdf

专知会员服务

194+阅读 · 2019年10月10日

[综述]深度学习下的场景文本检测与识别

专知会员服务

77+阅读 · 2019年10月10日

机器学习入门的经验与建议

专知会员服务

92+阅读 · 2019年10月10日

【哈佛大学商学院课程Fall 2019】机器学习可解释性

专知会员服务

103+阅读 · 2019年10月9日

ACM MM 2022 Call for Papers

CCF多媒体专委会

5+阅读 · 2022年3月29日

【ICIG2021】Latest News & Announcements of the Plenary Talk2

中国图象图形学学会CSIG

0+阅读 · 2021年11月2日

【ICIG2021】Latest News & Announcements of the Industry Talk1

中国图象图形学学会CSIG

0+阅读 · 2021年7月28日

A Technical Overview of AI & ML in 2018 & Trends for 2019

待字闺中

17+阅读 · 2018年12月24日

【论文推荐】最新七篇强化学习相关论文—逻辑约束、综述、多任务深度强化学习、参数服务器、事件抽取、分层强化学习、过拟合研究

专知

25+阅读 · 2018年4月29日

【推荐】深度学习情感分析综述

机器学习研究会

58+阅读 · 2018年1月26日

【推荐】深度学习目标检测全面综述

机器学习研究会

21+阅读 · 2017年9月13日

【推荐】RNN/LSTM时序预测

机器学习研究会

25+阅读 · 2017年9月8日

【推荐】深度学习目标检测概览

机器学习研究会

10+阅读 · 2017年9月1日

【推荐】SVM实例教程

机器学习研究会

17+阅读 · 2017年8月26日

基于Amalgam空间的Hardy空间实变理论及其应用

国家自然科学基金

0+阅读 · 2017年12月31日

与微分算子相关的加权Hardy型空间实变理论及应用

国家自然科学基金

0+阅读 · 2014年12月31日

奇性空间上的几何分析

国家自然科学基金

0+阅读 · 2013年12月31日

小波阈值估计的收敛性及密度函数估计问题的研究

国家自然科学基金

0+阅读 · 2013年12月31日

煤矿安全管理风险测度及预警理论研究

国家自然科学基金

0+阅读 · 2012年12月31日

一些q-特殊函数的研究

国家自然科学基金

0+阅读 · 2012年12月31日

多复变函数空间上的算子理论

国家自然科学基金

0+阅读 · 2012年12月31日

与实数非整数基表示相关的若干分形问题

国家自然科学基金

0+阅读 · 2011年12月31日

新型巴拿赫空间及其上算子结构

国家自然科学基金

0+阅读 · 2011年12月31日

城市绿岛动植物多样性分布特征研究

国家自然科学基金

0+阅读 · 2011年12月31日

Certification with an NP Oracle

Arxiv

0+阅读 · 2022年11月4日

Connected k-Center and k-Diameter Clustering

Arxiv

0+阅读 · 2022年11月3日

A Round and Bipartize Approximation Algorithm for Vertex Cover

Arxiv

0+阅读 · 2022年11月3日

Recursive moment computation in Filon methods and application to high-frequency wave scattering in two dimensions

Arxiv

0+阅读 · 2022年11月2日

Tailored vertex ordering for faster triangle listing in large graphs

Arxiv

0+阅读 · 2022年11月2日

Better Best of Both Worlds Bounds for Bandits with Switching Costs

Arxiv

0+阅读 · 2022年11月2日

Treatment Allocation under Uncertain Costs

Arxiv

0+阅读 · 2022年11月1日

Counting and Computing Join-Endomorphisms in Lattices (Revisited)

Arxiv

0+阅读 · 2022年11月1日

On the coalition number of trees

Arxiv

0+阅读 · 2022年11月1日

Aleatoric and Epistemic Uncertainty in Machine Learning: An Introduction to Concepts and Methods

Arxiv

15+阅读 · 2020年4月3日

VIP会员

文章信息

前往arXiv

下载PDF