《计算复杂性：现代方法》——2.6　coNP、EXP和NEXP

最新推荐文章于 2017-05-02 14:59:00 发布
最新推荐文章于 2017-05-02 14:59:00 发布
阅读量843 收藏
点赞数
原文链接：https://yq.aliyun.com/articles/108783
版权

本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第2章，第2.6节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。

2.6　coNP、EXP和NEXP

现在，我们定义与P和NP相关的其他一些复杂性类。

2.6.1　coNP

screenshot
screenshot

2.6.2　EXP和NEXP

screenshot
screenshot

weixin_33766168
关注
计算复杂性 现代方法（高清）
02-24
计算机经典教材，研究算法必备的一本书，对算法的复杂性做了深度研究。
计算复杂性 现代方法 ,阿罗拉，（美）巴拉克著 高清中文版
03-10
计算复杂性 现代方法 ,阿罗拉，（美）巴拉克著 高清中文版 扫描版 计算复杂性入门教学书籍 译版
计算复杂性-现代方法
XK的博客
06-19 2005
计算复杂性-现代方法 总结
《计算复杂性：现代方法》——导读
weixin_33989058的博客
05-02 816
前　言 计算复杂性理论在过去三十多年中发展迅速。自1990年以来取得的出人意料的结果和基础性的结果本身就可以写出一部书。这些结果涉及的领域非常广泛，包括：经典复杂性类的概率型新定义（IP=PSPACE和各种PCP定理）以及它们在近似算法中的应用，肖尔（Shor）为量子计算机设计的整数因数分解算法，对人们目前处理著名的P?=NP问题　译文用“P?=NP...
《计算复杂性：现代方法》——0.3　大O记号
weixin_33816611的博客
05-02 171
本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第0章，第0.3节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 0.3　大O记号 算法的计算效率一般通过将该算法执行的基本操作的个数表达为算法输入的长度的函数来表示。这就是说，算法...
二维域内分段直线路径计算复杂性的研究：基于图灵机的离散问题与多项式时间等价
丑一克拉克大学数学与计算机科学系Worcester，MA 01610，USAKer-I Ko2计算机科学纽约州立大学石溪分校Stony Brook，NY11794摘要在基于图灵机的计算模型和离散复杂性理论中研究了在二维域中寻找具有常数线段数的分段...
Fork-Join实时任务图模型的可行性：硬度和算法
03-12
6. 可解性和不可解性：在计算复杂性理论中，可解性指的是存在算法可以在多项式时间内解决问题，不可解性则指没有这样的算法存在。 通过这项研究，实时系统领域的学者和工程师能够更加深入地理解Fork-Join实时任务图...
"算术电路中的单式计数层次问题的复杂性
1PP算术电路中的单式：计数层次Herv′eFornierandGuillaumeMalodUnivParisDiderot，SorboneParisCit′e，Institut deMath'...De2018年7月16日，本文考虑了由算术电路给出的多项式的两个问题的复杂性：单项式是否存在的
从连续性到可编辑性：视频图像反转的新方法
13910从连续性到可编辑性：用连续图像反转GANYangyang Xu1，Yong Du2，Wenpeng Xiao1，Xuemiao Xu1，3，4，5 * and Shengfeng He1，5 *1华南理工大学2中国海洋大学3计算智能与网络空间信息4亚热带建筑科学5大数据与...
概率抽象论证中基本问题的复杂性
2017年7月28日收到收到修订版，2018年8月8日接受，2018年在线发售2018年保留字：概率抽象论证复杂性经典的验证和接受问题的概率对应的复杂性研究概率抽象论证框架（prAAFs），在一个更一般的设置比在当前的文献中，...
计算复杂性 现代方法 Sanjeev PDF（4/4）
06-21
计算复杂性:现代方法，中文版PDF, 机械工业，2016，Sanjeev Arora，Boaz Barak
计算复杂性 现代方法 中英文版 2/2
04-05
全网唯一高清中英文版合集。本书系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果，旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方法、主要工具、研究前沿和待决问题。本书分为三部分。第一部分（第1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的经典结果和一些现代专题。第二部分（第12～16章）讨论了各种具体计算模型上的计算复杂性下界。第三部分（第17～23章）主要是1980年以后人们在复杂性理论方面获得的进展，内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。本书内容丰富，结构灵活，语言流畅，是从事计算复杂性理论及相关领域的研究人员必不可少的参考书，非常适合作为打算进入该研究领域的研究生、博士生快速接触研究前沿的参考资料，还非常适合作为普通高校计算机科学与技术、数学专业本科生、研究生相关课程的教材，其中的高级专题还可以作为博士生相关讨论班的素材。
《计算复杂性：现代方法》——习题
weixin_34236497的博客
05-02 511
本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第2章，习题，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 习题 ...
《计算复杂性：现代方法》——1.2　图灵机
weixin_34270606的博客
05-02 357
本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第1章，第1.2节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 1.2　图灵机\ 演草纸 演草纸包含k条带，每条带均由单向无限延伸的很多单元构成，每个单元能够存储称为机器的字母...
《计算复杂性：现代方法》——2.5　判定与搜索
weixin_33724059的博客
05-02 124
本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第2章，第2.5节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 2.5　判定与搜索 ...
《计算复杂性：现代方法》——1.6　类P
weixin_33778778的博客
05-02 183
本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第1章，第1.6节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 1.6　类P 1.6.1　为什么模型选择无关紧要 我们用图灵机定义“可计算”语言的各种复杂性类及类P。如果选用...
《计算复杂性：现代方法》——第一部分 基本复杂性类 第1章 计算模型——为什么模型选择无关紧要 1.1 计算的建模：你真正需要了解的内容...
weixin_34356555的博客
05-02 239
本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第1章，第1.1节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 第一部分 基本复杂性类 第1章 计算模型——为什么模型选择无关紧要 初看起来，为计算建立数学模型可谓难上加难。这是...
《计算复杂性：现代方法》——1.5　不可计算性简介
weixin_34228662的博客
05-02 634
本节书摘来自华章计算机《计算复杂性：现代方法》一书中的第1章，第1.5节，作者 ［美］桑杰夫·阿罗拉（Sanjeev Arora），博阿兹·巴拉克（Boaz Barak），译 骆吉洲，更多章节内容可以访问云栖社区“华章计算机”公众号查看。 1.5　不可计算性简介 下面的事情看起来似乎很“显然”：只要时间充分，任何函数均是可被计算的。然而，这已被证明是错误...
有限代数结构的可定义性问题决策算法与性能分析
这个问题被证明是CONP-完全的，表明其复杂度处于计算复杂性理论中的一个特定级别。 作者提出了一个决策算法，该算法基于可定义关系的语义特性，特别是那些保持同构的子结构。这个算法不仅解决了可定义性问题，还...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值