探索P与NP复杂性的关键命题:逻辑关系与区分性
110 浏览量
更新于2024-06-17
收藏 333KB PDF 举报
本文主要探讨了NP和oNP集合在复杂性理论中的可分性以及它们与其他重要命题如P=NP、P=UP的关系。作者约翰·罗杰斯专注于五个关键命题:
1. (P1) P=NP:这是关于决策问题是否存在多项式时间算法的问题,如果该等式成立,意味着所有NP问题都可以在多项式时间内解决。
2. (P2) P=UP:UP表示那些可以通过一个确定性的有界错误概率算法在多项式时间内模拟非确定性算法的问题。如果这两个等式相等,那么非确定性算法在实际中的力量不会比确定性算法更强大。
3. (P3) P=NP\oNP:这是指P是否包含NP但不包含oNP(NP集合中不包含在多项式时间内求解的决策问题的集合),这个命题反映了NP内部结构的特定划分。
4. (P4) 所有不相交的NP集合对都是P-可分的:这意味着对于任何不重叠的NP问题集,可以确定地判断一个问题是否属于其中一个集合,而不涉及另一个集合的问题。
5. (P5) 所有不相交的oNP集合对都是P-可分的:类似于(P4),但针对的是oNP问题。
文中提到,尽管目前尚不清楚这些命题的真假,但已经知道它们之间的逻辑关系。例如,(P1)蕴含(P3),(P4)和(P5)都蕴含(P3),而(Grollmann和Selman)[GS88]的工作表明(P4)也蕴含(P2)。作者的目标是探究是否可能存在其他与这些命题保持一致的逻辑关系,以及如何通过构造相对化的命题来理解和扩展我们对复杂性理论的理解。
文章特别关注了命题Q,它陈述了在任何NP机器上,一个epting路径很容易被找到,这与(P5)有紧密关联。研究方法包括构建递进的需求系统,通过满足每个阶段的需求来逐步构造新的命题,同时保持先前满足条件的稳定性。
本文的核心内容集中在NP和oNP集合的复杂性边界以及它们与其他关键复杂性理论命题的交互,通过对这些命题的逻辑分析和构造,揭示了复杂性理论中深层次的结构和可能的划分。
2019-09-18 上传
点击了解资源详情
2023-06-01 上传
2023-06-03 上传
2023-06-09 上传
2023-05-30 上传
2023-07-13 上传
2023-08-18 上传
cpongm
- 粉丝: 5
- 资源: 2万+
最新资源
- MATLAB实现小波阈值去噪:Visushrink硬软算法对比
- 易语言实现画板图像缩放功能教程
- 大模型推荐系统: 优化算法与模型压缩技术
- Stancy: 静态文件驱动的简单RESTful API与前端框架集成
- 掌握Java全文搜索:深入Apache Lucene开源系统
- 19计应19田超的Python7-1试题整理
- 易语言实现多线程网络时间同步源码解析
- 人工智能大模型学习与实践指南
- 掌握Markdown:从基础到高级技巧解析
- JS-PizzaStore: JS应用程序模拟披萨递送服务
- CAMV开源XML编辑器:编辑、验证、设计及架构工具集
- 医学免疫学情景化自动生成考题系统
- 易语言实现多语言界面编程教程
- MATLAB实现16种回归算法在数据挖掘中的应用
- ***内容构建指南:深入HTML与LaTeX
- Python实现维基百科“历史上的今天”数据抓取教程