图书介绍

计算复杂性理论基础2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

吕克伟编著著
出版社：北京：国防工业出版社
ISBN：9787118085990
出版时间：2013
标注页数：206页
文件大小：60MB
文件页数：215页
主题词：计算复杂性－研究

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：8eb48322453dc196790131dc072db52a

下载说明

计算复杂性理论基础PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第0章引言1

习题6

第1章一些计算问题7

习题16

第2章逻辑概述18

2.1布尔逻辑18

2.2一阶逻辑22

2.3公理和证明28

2.4存在二阶逻辑32

第3章计算模型36

3.1字符串、编码36

3.2算法时间的度量与模型37

3.3图灵机基础39

3.4多带图灵机、时间与空间44

3.5非确定图灵机51

3.6通用图灵机57

3.7递归语言与递归可枚举语言59

习题61

第4章不可判定性64

4.1对角化方法与停机问题64

4.2递归可枚举语言的形式表达66

习题69

第5章计算复杂类70

5.1复杂类70

5.2分离定理73

5.3可达性方法76

习题79

第6章归约和完备性81

6.1归约81

6.2完备性88

6.3逻辑刻画92

6.4 NP-关系94

6.5 Oracle图灵机96

6.6自归约99

习题102

第7章NP-完备问题、coNP与函数计算104

7.1 NP-完备问题104

7.1.1可满足问题的一些变形104

7.1.2图论中的NP-完备问题107

7.1.3集合与数112

7.2伪多项式算法和强NP-完备问题114

7.3 P与NP119

7.4函数问题122

7.5 coNP127

习题129

第8章随机化计算131

8.1随机化算法131

8.1.1概率素性检验131

8.1.2符号行列式132

8.1.3随机游动133

8.2概率计算138

8.3 RP，coRP，ZPP和PP语言类142

8.4鲁棒性147

习题156

第9章电路复杂度和非一致多项式时间类158

9.1电路复杂度158

9.2单调电路（Monotone Circuits）162

9.3非一致多项式时间类（P/Poly）169

第10章几类语言类介绍177

10.1多项式谱系（Polynomial Hierarchy）177

10.1.1多项式谱系的定义（PH）177

10.1.2交错图灵机与多项式谱系（PH）180

10.2交互证明系统181

10.2.1证明182

10.2.2交互证明系统IP182

10.2.3公共掷币系统和轮数186

10.3概率可验证证明系统187

10.3.1 PCP系统187

10.3.2 PCP系统与交互证明系统188

10.3.3 PCP语言190

10.3.4复杂度度量191

10.3.5 PCP系统的相关结论192

10.4计数类193

术语中英文对照表197

索引202

参考文献205