[
-
内容大纲
量子计算是当前十分活跃的领域，代表了计算科学未来发展的重要方向。本书由国内量子计算领域的9位知名专家学者共同撰写，着眼前沿，以简明的文字和公式介绍了量子计算领域的基本理论以及重要方法和应用，包括Shor素因数分解算法、Grover搜索算法、量子游走、量子通信等，帮助读者全面了解量子计算的主要思想和研究成果。
本书适合量子计算及相关领域的科研人员、研究生阅读，也适合从事相关工作的从业人员阅读。 -
作者介绍
孙晓明 2005年获清华大学博士学位，现任中国科学院计算技术研究所研究员，量子计算与算法理论实验室主任，中国科学院大学岗位教授，国家杰出青年科学基金获得者。主要研究领域为算法与计算复杂性、量子计算等，曾获王选杰出青年学者奖等，入选首批基金委优青、首批万人计划青年拔尖人才，目前担任中国计算机学会理论计算机科学专业委员会主任。 -
目录
丛书序
“十讲 ”序
前言
第1讲 量子计算理论基础
1.1 量子计算的数学基础
1.1.1 Hilbert空间及线性算子
1.1.2 随机变量及其函数
1.2 量子力学的基础
1.2.1 量子力学基本假设
1.2.2 密度算子上的度量
1.2.3 量子线路
1.3 本讲小结
参考文献
第2讲 Shor素因数分解算法
2.1 量子傅里叶变换
2.2 相位估计
2.2.1 相位估计电路图
2.2.2 相位估计精度分析
2.2.3 相位估计算法过程
2.3 量子求阶算法
2.3.1 求阶中用到的数论知识
2.3.2 求阶问题与量子算法
2.3.3 模幂运算
2.3.4 连分式分解
2.3.5 求阶量子算法及性能分析
2.4 Shor素因数分解算法详解
2.4.1 算法过程
2.4.2 一个分解实例
2.5 Shor素因数分解算法的实验进展
2.6 Shor素因数分解算法的经典模拟
2.6.1 乘法器的构造
2.6.2 带模加法器的构造
2.7 本讲小结
参考文献
第3讲 Grover搜索算法
3.1 原始Grover算法
3.1.1 预备知识
3.1.2 算法描述与分析
3.1.3 目标点个数未知的处理方法
3.1.4 最优性证明
3.2 Grover算法的扩展
3.2.1 精确量子搜索
3.2.2 鲁棒量子搜索
3.2.3 量子计数
3.2.4 量子振幅放大
3.3 Grover算法的应用
3.3.1 NP完全问题加速求解
3.3.2 量子算法搜索最小值
3.3.3 其他问题
3.4 本讲小结
参考文献
第4讲 线性方程组的量子求解算法
4.1 HHL算法
4.1.1 量子模拟
4.1.2 算法假设
4.1.3 算法思想
4.1.4 算法步骤
4.1.5 复杂性分析
4.1.6 讨论
4.2 CKS算法
4.2.1 算法思想
4.2.2 傅里叶方法
4.2.3 算法实现和复杂性分析
4.2.4 讨论
4.3 量子奇异值估计算法和WZP算法
4.3.1 量子奇异值估计算法
4.3.2 WZP算法
4.3.3 讨论
4.4 本讲小结
参考文献
第5讲 量子游走基础
5.1 量子游走模型
5.1.1 离散量子游走模型
5.1.2 连续量子游走模型
5.1.3 模型之间的转化
5.2 基于量子游走的通用量子计算
5.2.1 基于连续量子游走的通用量子计算
5.2.2 基于离散量子游走的通用量子计算
5.3 本讲小结
参考文献
第6讲 量子游走应用
6.1 基于量子游走的算法
6.1.1 元素区分
6.1.2 三角形搜索
6.1.3 连续量子游走搜索算法
6.1.4 基于Markov链随机游走的量子化
6.1.5 mixing time
6.2 基于多硬币量子游走的通信协议
6.2.1 基于量子游走的隐形传输框架
6.2.2 基于两硬币量子游走的完美状态转移
6.2.3 基于多硬币量子游走的高维纠缠态的生成
6.3 本讲小结
参考文献
第7讲 量子计算复杂性
7.1 量子图灵机与量子电路
7.1.1 量子图灵机
7.1.2 量子电路
7.1.3 量子图灵机与量子电路的等价性
7.2 量子多项式时间复杂性类
7.2.1 量子多项式时间类的性质
7.2.2 量子计算与计数复杂性
7.3 量子梅林亚瑟与哈密顿量复杂性
7.3.1 量子梅林亚瑟的定义
7.3.2 量子Cook-Levin定理
7.3.3 强完备性可靠性间隙放大定理
7.3.4 量子梅林亚瑟的上界
7.3.5 关于QMA及其相关复杂性类的讨论
7.4 量子交互证明系统
7.4.1 单证明人量子交互证明系统
7.4.2 量子交互证明系统的并行化
7.4.3 多证明人量子交互证明系统与贝尔不等式的复杂性问题
7.5 其他问题
7.6 本讲小结
参考文献
第8讲 量子查询复杂性模型
8.1 经典查询复杂性与量子查询复杂性
8.1.1 经典查询复杂性模型
8.1.2 量子查询复杂性模型
8.2 常见量子查询算法
8.2.1 Deutsch-Jozsa问题
8.2.2 Grover搜索
8.2.3 权重判定问题
8.2.4 碰撞问题
8.3 证明量子查询复杂性下界的多项式方法
8.3.1 布尔函数的精确/近似多项式表示
8.3.2 量子查询复杂性与近似多项式次数
8.3.3 无结构搜索问题的量子查询复杂性下界
8.4 证明量子查询复杂性下界的对手方法
8.4.1 原始量子对手方法
8.4.2 AND-OR树的量子查询复杂性下界
8.4.3 通用量子对手方法
8.5 本讲小结
参考文献
第9讲 量子通信复杂性
9.1 通信复杂性模型
9.2 量子通信复杂性模型
9.3 高效量子通信协议
9.4 量子通信复杂性下界
9.4.1 基于矩阵分析方法的量子通信复杂性下界
9.4.2 基于量子信息论方法的量子通信复杂性下界
9.4.3 通信复杂性的“直和-直积”猜想
9.5 量子通信复杂性的其他领域
9.5.1 多方量子通信复杂性
9.5.2 分布式量子计算
9.5.3 嘈杂量子通信复杂性
9.6 本讲小结
参考文献
第10讲 量子纠错
10.1 量子纠错的困难和挑战
10.1.1 经典计算纠错的基本原理
10.1.2 量子特性给量子纠错带来的困难
10.2 量子纠错的基本原理
10.2.1 Shor编码介绍
10.2.2 量子纠错的一般性理论
10.3 量子纠错码的构造
10.3.1 稳定子编码理论
10.3.2 稳定子编码的构造和分析
10.4 容错量子计算介绍
10.4.1 基本思想
10.4.2 量子计算的阈值定理
10.5 量子纠错的研究现状
10.5.1 非可加性量子编码
10.5.2 表面码
10.5.3 定制纠错码
10.5.4 量子噪声压制
10.6 本讲小结
参考文献
同类热销排行榜
- C语言与程序设计教程(高等学校计算机类十二五规划教材)16
- 电机与拖动基础(教育部高等学校自动化专业教学指导分委员会规划工程应用型自动化专业系列教材)13.48
- 传感器与检测技术(第2版高职高专电子信息类系列教材)13.6
- ASP.NET项目开发实战(高职高专计算机项目任务驱动模式教材)15.2
- Access数据库实用教程(第2版十二五职业教育国家规划教材)14.72
- 信号与系统(第3版下普通高等教育九五国家级重点教材)15.08
- 电气控制与PLC(普通高等教育十二五电气信息类规划教材)17.2
- 数字电子技术基础(第2版)17.36
- VB程序设计及应用(第3版十二五职业教育国家规划教材)14.32
- Java Web从入门到精通(附光盘)/软件开发视频大讲堂27.92
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔，龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年，恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...