登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入   新用戶註冊
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / 物流,時效:出貨後2-4日

2025年08月出版新書

2025年07月出版新書

2025年06月出版新書

2025年05月出版新書

2025年04月出版新書

2025年03月出版新書

2025年02月出版新書

2025年01月出版新書

2024年12月出版新書

2024年11月出版新書

2024年10月出版新書

2024年09月出版新書

2024年08月出版新書

2024年07月出版新書

『簡體書』计算复杂性理论基础

書城自編碼: 2120368
分類: 簡體書→大陸圖書→計算機/網絡计算机理论
作者: 吕克伟
國際書號(ISBN): 9787118085990
出版社: 国防工业出版社
出版日期: 2013-06-01
版次: 1 印次: 1
頁數/字數: 206/191000
書度/開本: 大32开 釘裝: 平装

售價:NT$ 260

我要買

share:

** 我創建的書架 **
未登入.



新書推薦:
抑郁症(精装全彩版)牛津科普系列:拨开抑郁症的迷雾,探索情绪背后的深层真相
《 抑郁症(精装全彩版)牛津科普系列:拨开抑郁症的迷雾,探索情绪背后的深层真相 》

售價:NT$ 449.0
天才的盛会:文艺复兴艺术三百年
《 天才的盛会:文艺复兴艺术三百年 》

售價:NT$ 500.0
裘锡圭学术文集(全六卷)
《 裘锡圭学术文集(全六卷) 》

售價:NT$ 4998.0
从马可波罗到马戛尔尼:十三世纪以降的欧亚世界
《 从马可波罗到马戛尔尼:十三世纪以降的欧亚世界 》

售價:NT$ 347.0
抗日战争时期中英借款交涉研究
《 抗日战争时期中英借款交涉研究 》

售價:NT$ 403.0
大学问·中国城市史研究系列 茶馆 天津工人 晚清中国城市的水与电 亦官亦商(套装共4册)
《 大学问·中国城市史研究系列 茶馆 天津工人 晚清中国城市的水与电 亦官亦商(套装共4册) 》

售價:NT$ 1805.0
索恩丛书·信仰与权力:阿拉伯世界的裂变与重生
《 索恩丛书·信仰与权力:阿拉伯世界的裂变与重生 》

售價:NT$ 658.0
哲学之旅(第8版):一种互动性探究(最新完整版,2025中国-东盟影响力图书)
《 哲学之旅(第8版):一种互动性探究(最新完整版,2025中国-东盟影响力图书) 》

售價:NT$ 764.0

建議一齊購買:

+

NT$ 456
《数据挖掘的应用与实践——大数据时代的案例分析》
+

NT$ 551
《现在密码学-原理与协议》
+

NT$ 941
《计算复杂性的现代方法》
+

NT$ 333
《可计算性与计算复杂性导引(第3版)》
+

NT$ 456
《现代密码学——原理与协议》
編輯推薦:
吕克伟编著的《计算复杂性理论基础》首先介绍计算复杂性概述、一些计算问题和逻辑,然后详细介绍计算模型、P vs
NP问题、归约和NP完备性理论等;接着针对信息安全和算法设计等专业特点,详细介绍随机化算法、非一致电路;最后简单介绍几个较深入的课题:交互语言类、计数复杂类、概率可验证语言类等。我们试图通过对计算复杂性理论的基础知识通俗直观地介绍,帮助读者掌握该理论的思想方法,为进一步开展计算机科学的相关领域的学习和研究奠定基础。因此,本书不仅适合作为计算机科学各专业高年级本科生和低年级研究生特别是信息安全专业基础课教材,也可供有关研究人员参考。
內容簡介:
计算复杂性理论是用数学方法研究计算机解决各种算法问题难易程度的理论。吕克伟编著的《计算复杂性理论基础》对这一理论的基础知识做了全面介绍,力争帮助读者掌握该理论的思想方法,为进一步开展计算机科学的相关领域的学习和研究奠定了基础。本书首先介绍计算复杂性理论的概述、一些计算问题和逻辑,然后详细介绍计算模型、P
vsNP问题、归约和NP完备性理论等;接着针对信息安全专业特点,详细介绍随机化算法、非一致电路;最后简单介绍几个较深入的课题:交互语言类、计数复杂类、概率可验证语言类等。
《计算复杂性理论基础》不仅适合作为计算机科学各专业高年级本科生和低年级研究生特别是信息安全专业基础课教材,也可供有关研究人员参考。
目錄
第0章 引言
习题
第1章 一些计算问题
习题
第2章 逻辑概述
2.1 布尔逻辑
2.2 一阶逻辑
2.3 公理和证明
2.4 存在二阶逻辑
第3章 计算模型
3.1 字符串、编码
3.2 算法时间的度量与模型
3.3 图灵机基础
3.4 多带图灵机、时间与空间
3.5 非确定图灵机
3.6 通用图灵机
3.7 递归语言与递归可枚举语言
习题
第4章 不可判定性
4.1 对角化方法与停机问题
4.2 递归可枚举语言的形式表达
习题
第5章 计算复杂类
5.1 复杂类
5.2 分离定理
5.3 可达性方法
习题
第6章 归约和完备性
6.1 归约
6.2 完备性
6.3 逻辑刻画
6.4 NP一关系
6.5 Oracle图灵机
6.6 自归约
习题
第7章 NP-完备问题、coNP与函数计算
7.1 NP-完备问题
7.1.1 可满足问题的一些变形
7.1.2 图论中的NP-完备问题
7.1.3 集合与数
7.2 伪多项式算法和强NP-完备问题
7.3 P与NP
7.4 函数问题
7.5 coNP
习题
第8章 随机化计算
8.1 随机化算法
8.1.1 概率素性检验
8.1.2 符号行列式
8.1.3 随机游动
8.2 概率计算
8.3 RP,coRP,ZPP和PP语言类
8.4 鲁棒性
习题
第9章 电路复杂度和非一致多项式时间类
9.1 电路复杂度
9.2 单调电路:Monotone Circuits
9.3 非一致多项式时间类P/Poly
第10章 几类语言类介绍
10.1 多项式谱系Iolynomial Hierarchy
10.1.1 多项式谱系的定义PH
10.1.2 交错图灵机与多项式谱系PH
10.2 交互证明系统
10.2.1 证明
10.2.2 交互证明系统IP
10.2.3 公共掷币系统和轮数
10.3 概率可验证证明系统
10.3.1 PCP系统
10.3.2 PCP系统与交互证明系统
10.3.3 PCP语言
10.3.4 复杂度度量
10.3.5 PCP系统的相关结论
10.4 计数类
术语中英文对照表
索引
参考文献

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 台灣用户 | 香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2025 (香港)大書城有限公司 All Rights Reserved.