会员服务
分离的 · 大学 · Principle · 确切的 ·
7 月 13 日
Machine-Checked Formalization of Earlier Arguments on $\mathbb{P}$ versus $\mathbb{NP}$ Using Isabelle/HOL
翻译：暂无翻译
Craig Alan Feinstein
Craig Alan Feinstein
from arxiv, 3 pages

This letter revisits an earlier argument concerning $\mathbb{P}$ versus $\mathbb{NP}$ based on the SUBSET-SUM problem and examines its formalization in Isabelle/HOL. The formal development clarifies the argument's logical structure by separating its deductive combinatorial core from the broader universality principle required to extend it to all exact deterministic algorithms.


翻译：暂无翻译
0
下载
关闭预览

相关内容

AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
AAAI 2024 | MolTailor：通过文本提示定制化学分子表征以适应特定任务的方法
AAAI 2024 | MolTailor：通过文本提示定制化学分子表征以适应特定任务的方法
专知会员服务
17+阅读 · 2024年1月26日
【机器学习术语宝典】机器学习中英文术语表
【机器学习术语宝典】机器学习中英文术语表
专知会员服务
62+阅读 · 2020年7月12日
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
专知会员服务
17+阅读 · 2020年5月19日
【AAAI2020】Context-Transformer:上下文转换器:解决对象混淆的小样本检测，Context-Transformer: Tackling Object Confusion for Few-Shot Detection
【AAAI2020】Context-Transformer:上下文转换器:解决对象混淆的小样本检测，Context-Transformer: Tackling Object Confusion for Few-Shot Detection
专知会员服务
51+阅读 · 2020年3月17日
【AAAI2020论文-NUS】用于联合实体和关系提取的编译码结构的有效建模
【AAAI2020论文-NUS】用于联合实体和关系提取的编译码结构的有效建模
专知会员服务
22+阅读 · 2019年11月22日
【CIKM2019 Tutorial】Syn­ergy of Data­base Tech­niques and Ma­chine Learn­ing Mod­els for String Sim­il­ar­ity Search and Join(字符串相似性搜索与连接：数据库技术与机器学习模型的协同)，附论文免费下载
【CIKM2019 Tutorial】Syn­ergy of Data­base Tech­niques and Ma­chine Learn­ing Mod­els for String Sim­il­ar­ity Search and Join(字符串相似性搜索与连接：数据库技术与机器学习模型的协同)，附论文免费下载
专知会员服务
10+阅读 · 2019年11月3日
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
专知会员服务
16+阅读 · 2019年10月31日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
35+阅读 · 2019年10月18日
【CCL 2019】如何微调BERT进行文本分类？（How to Fine-Tune BERT for Text Classification?）
【CCL 2019】如何微调BERT进行文本分类？（How to Fine-Tune BERT for Text Classification?）
专知会员服务
84+阅读 · 2019年10月18日
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
专知
11+阅读 · 2021年2月19日
赛尔原创 | EMNLP 2019 基于上下文感知的变分自编码器建模事件背景知识进行If-Then类型常识推理
赛尔原创 | EMNLP 2019 基于上下文感知的变分自编码器建模事件背景知识进行If-Then类型常识推理
哈工大SCIR
17+阅读 · 2019年9月23日
从One-hot, Word embedding到Transformer，一步步教你理解Bert
从One-hot, Word embedding到Transformer，一步步教你理解Bert
AI100
15+阅读 · 2019年6月25日
论文盘点：CVPR 2019 - 文本检测专题
论文盘点：CVPR 2019 - 文本检测专题
PaperWeekly
14+阅读 · 2019年5月31日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Github项目推荐 | Sentence Classification - 神经网络句子分类(陈述/疑问/感叹/祈使)
Github项目推荐 | Sentence Classification - 神经网络句子分类(陈述/疑问/感叹/祈使)
AI研习社
14+阅读 · 2019年1月16日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
CVPR 2018 | 伯克利等提出无监督特征学习新方法，代码已开源
CVPR 2018 | 伯克利等提出无监督特征学习新方法，代码已开源
AI前线
12+阅读 · 2018年5月13日
用于数学的 10 个优秀编程语言
用于数学的 10 个优秀编程语言
算法与数据结构
13+阅读 · 2018年1月5日
算子空间上与谱，局部谱以及零斜Lie积相关的完全保持问题研究
国家自然科学基金
1+阅读 · 2015年12月31日
广义双随机相位编码系统中以QR码为载体的信息加密及无损恢复
国家自然科学基金
0+阅读 · 2015年12月31日
几类含∞-Laplace算子的特征值问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
面向二进制程序的静态结构化符号执行与动态组合方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
结合图像块联合聚类加权和混合分类器的非对齐稀疏表示识别方法
国家自然科学基金
1+阅读 · 2015年12月31日
代数整数的性质研究和无理测度的计算
国家自然科学基金
0+阅读 · 2014年12月31日
基于深度学习的机器译文质量估计方法研究
国家自然科学基金
3+阅读 · 2014年12月31日
多元数据与函数型数据的序贯检验方法与控制图研究
国家自然科学基金
0+阅读 · 2014年12月31日
离散时间马氏链的泛函不等式及遍历性
国家自然科学基金
0+阅读 · 2014年12月31日
某些分形集上拉普拉斯算子的谱分析及相关问题
国家自然科学基金
0+阅读 · 2014年12月31日
Constraint-Preserving Genetic Algorithms for Embedding Linear Codes into Self-Orthogonal Codes
Arxiv
0+阅读 · 9月2日
Quantum Codes from $r$-Nearly Self-Orthogonal Linear Codes via Jordan Canonical Form over $\mathbb{F}_{q^2}$
Arxiv
0+阅读 · 9月1日
The (Parameterized) Complexity of Ordering a Graph While Avoiding a Forbidden Pattern
Arxiv
0+阅读 · 8月31日
$\mathcal{N}_0$-Foundation: Towards the Age of Tactile Intelligence
Arxiv
0+阅读 · 8月30日
On identifying codes on oriented graphs
Arxiv
0+阅读 · 8月27日
Sublinear Algorithms for Estimating the Number of Hyperedges in Arbitrary Hypergraphs
Arxiv
0+阅读 · 8月20日
Regular $K_3$-irregular graphs
Arxiv
0+阅读 · 8月11日
A Machine-checked Proof of Consistency for Impredicative Pure Type Systems
Arxiv
0+阅读 · 7月22日
Computing Gaussian and exponential integrals in ${\Bbb R}^n$
Arxiv
0+阅读 · 6月29日
The Model Checking Problem for Distributed Knowing How is $Δ^p_2$-Complete
Arxiv
0+阅读 · 6月25日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
分离的
大学
Principle
确切的
最新内容
综述 | 当大模型遇见树搜索：把推理看作搜索的系统视角
综述 | 当大模型遇见树搜索：把推理看作搜索的系统视角
专知会员服务
4+阅读 · 9月6日
综述 | 超越文本思维链：自动驾驶中的动作扎根推理
综述 | 超越文本思维链：自动驾驶中的动作扎根推理
专知会员服务
4+阅读 · 9月6日
综述 | 自我改进的测试时智能：反馈驱动的推理时适应、学习与扩展
综述 | 自我改进的测试时智能：反馈驱动的推理时适应、学习与扩展
专知会员服务
8+阅读 · 9月5日
综述 | 统一机器人学习：连接表征、视觉-语言-动作模型与世界模型
综述 | 统一机器人学习：连接表征、视觉-语言-动作模型与世界模型
专知会员服务
6+阅读 · 9月5日
分层反无人机系统发展新趋势
分层反无人机系统发展新趋势
专知会员服务
9+阅读 · 9月3日
《使用基于模型的系统工程建模战斗机机动案例研究》
《使用基于模型的系统工程建模战斗机机动案例研究》
专知会员服务
11+阅读 · 9月3日
《集成增强现实与实时位置数据及仿真的辅助实时决策》
《集成增强现实与实时位置数据及仿真的辅助实时决策》
专知会员服务
9+阅读 · 9月3日
从可靠性到适配：人工智能赋能任务式指挥中的信任、适应与分布式认知
从可靠性到适配：人工智能赋能任务式指挥中的信任、适应与分布式认知
专知会员服务
14+阅读 · 9月2日
《利用大型语言模型自动生成SysML v2制导、导航和控制系统》170页
《利用大型语言模型自动生成SysML v2制导、导航和控制系统》170页
专知会员服务
16+阅读 · 9月2日
何为协作武器？
何为协作武器？
专知会员服务
10+阅读 · 9月1日
《战斗无人机蜂群设计：多智能体自主系统中的扩展与权衡》
《战斗无人机蜂群设计：多智能体自主系统中的扩展与权衡》
专知会员服务
13+阅读 · 9月1日
《理解认知战：超越信息》
《理解认知战：超越信息》
专知会员服务
14+阅读 · 9月1日
美国战争部在GenAI.mil上推出OpenAI的ChatGPT Mil
美国战争部在GenAI.mil上推出OpenAI的ChatGPT Mil
专知会员服务
10+阅读 · 8月31日
人工智能赋能军事维护：重新定义国防战备
人工智能赋能军事维护：重新定义国防战备
专知会员服务
5+阅读 · 8月31日
综述 | 低资源语言中的大模型安全对齐：方法、风险与评测体系
综述 | 低资源语言中的大模型安全对齐：方法、风险与评测体系
专知会员服务
8+阅读 · 8月31日
相关VIP内容
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
AAAI 2024 | MolTailor：通过文本提示定制化学分子表征以适应特定任务的方法
AAAI 2024 | MolTailor：通过文本提示定制化学分子表征以适应特定任务的方法
专知会员服务
17+阅读 · 2024年1月26日
【机器学习术语宝典】机器学习中英文术语表
【机器学习术语宝典】机器学习中英文术语表
专知会员服务
62+阅读 · 2020年7月12日
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
【ACL2020】Span-ConveRT：预训练对话表示小样本跨度提取，Span-ConveRT: Few-shot Span Extraction for Dialog with Pretrained Conversational Representations
专知会员服务
17+阅读 · 2020年5月19日
【AAAI2020】Context-Transformer:上下文转换器:解决对象混淆的小样本检测，Context-Transformer: Tackling Object Confusion for Few-Shot Detection
【AAAI2020】Context-Transformer:上下文转换器:解决对象混淆的小样本检测，Context-Transformer: Tackling Object Confusion for Few-Shot Detection
专知会员服务
51+阅读 · 2020年3月17日
【AAAI2020论文-NUS】用于联合实体和关系提取的编译码结构的有效建模
【AAAI2020论文-NUS】用于联合实体和关系提取的编译码结构的有效建模
专知会员服务
22+阅读 · 2019年11月22日
【CIKM2019 Tutorial】Syn­ergy of Data­base Tech­niques and Ma­chine Learn­ing Mod­els for String Sim­il­ar­ity Search and Join(字符串相似性搜索与连接：数据库技术与机器学习模型的协同)，附论文免费下载
【CIKM2019 Tutorial】Syn­ergy of Data­base Tech­niques and Ma­chine Learn­ing Mod­els for String Sim­il­ar­ity Search and Join(字符串相似性搜索与连接：数据库技术与机器学习模型的协同)，附论文免费下载
专知会员服务
10+阅读 · 2019年11月3日
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
专知会员服务
16+阅读 · 2019年10月31日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
35+阅读 · 2019年10月18日
【CCL 2019】如何微调BERT进行文本分类？（How to Fine-Tune BERT for Text Classification?）
【CCL 2019】如何微调BERT进行文本分类？（How to Fine-Tune BERT for Text Classification?）
专知会员服务
84+阅读 · 2019年10月18日
热门VIP内容
相关资讯
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
专知
11+阅读 · 2021年2月19日
赛尔原创 | EMNLP 2019 基于上下文感知的变分自编码器建模事件背景知识进行If-Then类型常识推理
赛尔原创 | EMNLP 2019 基于上下文感知的变分自编码器建模事件背景知识进行If-Then类型常识推理
哈工大SCIR
17+阅读 · 2019年9月23日
从One-hot, Word embedding到Transformer，一步步教你理解Bert
从One-hot, Word embedding到Transformer，一步步教你理解Bert
AI100
15+阅读 · 2019年6月25日
论文盘点：CVPR 2019 - 文本检测专题
论文盘点：CVPR 2019 - 文本检测专题
PaperWeekly
14+阅读 · 2019年5月31日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Github项目推荐 | Sentence Classification - 神经网络句子分类(陈述/疑问/感叹/祈使)
Github项目推荐 | Sentence Classification - 神经网络句子分类(陈述/疑问/感叹/祈使)
AI研习社
14+阅读 · 2019年1月16日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
CVPR 2018 | 伯克利等提出无监督特征学习新方法，代码已开源
CVPR 2018 | 伯克利等提出无监督特征学习新方法，代码已开源
AI前线
12+阅读 · 2018年5月13日
用于数学的 10 个优秀编程语言
用于数学的 10 个优秀编程语言
算法与数据结构
13+阅读 · 2018年1月5日
相关论文
Constraint-Preserving Genetic Algorithms for Embedding Linear Codes into Self-Orthogonal Codes
Arxiv
0+阅读 · 9月2日
Quantum Codes from $r$-Nearly Self-Orthogonal Linear Codes via Jordan Canonical Form over $\mathbb{F}_{q^2}$
Arxiv
0+阅读 · 9月1日
The (Parameterized) Complexity of Ordering a Graph While Avoiding a Forbidden Pattern
Arxiv
0+阅读 · 8月31日
$\mathcal{N}_0$-Foundation: Towards the Age of Tactile Intelligence
Arxiv
0+阅读 · 8月30日
On identifying codes on oriented graphs
Arxiv
0+阅读 · 8月27日
Sublinear Algorithms for Estimating the Number of Hyperedges in Arbitrary Hypergraphs
Arxiv
0+阅读 · 8月20日
Regular $K_3$-irregular graphs
Arxiv
0+阅读 · 8月11日
A Machine-checked Proof of Consistency for Impredicative Pure Type Systems
Arxiv
0+阅读 · 7月22日
Computing Gaussian and exponential integrals in ${\Bbb R}^n$
Arxiv
0+阅读 · 6月29日
The Model Checking Problem for Distributed Knowing How is $Δ^p_2$-Complete
Arxiv
0+阅读 · 6月25日
相关基金
算子空间上与谱，局部谱以及零斜Lie积相关的完全保持问题研究
国家自然科学基金
1+阅读 · 2015年12月31日
广义双随机相位编码系统中以QR码为载体的信息加密及无损恢复
国家自然科学基金
0+阅读 · 2015年12月31日
几类含∞-Laplace算子的特征值问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
面向二进制程序的静态结构化符号执行与动态组合方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
结合图像块联合聚类加权和混合分类器的非对齐稀疏表示识别方法
国家自然科学基金
1+阅读 · 2015年12月31日
代数整数的性质研究和无理测度的计算
国家自然科学基金
0+阅读 · 2014年12月31日
基于深度学习的机器译文质量估计方法研究
国家自然科学基金
3+阅读 · 2014年12月31日
多元数据与函数型数据的序贯检验方法与控制图研究
国家自然科学基金
0+阅读 · 2014年12月31日
离散时间马氏链的泛函不等式及遍历性
国家自然科学基金
0+阅读 · 2014年12月31日
某些分形集上拉普拉斯算子的谱分析及相关问题
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top