(正版特价)计算复杂性：现代方法计算机与互联网书籍|228020 下载 mobi epub pdf 电子书 2024

☆☆☆☆☆
简体网页||繁体网页

美桑杰夫阿罗拉Sanjeev Aro 著，骆吉洲译

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到新城书站

book.cndgn.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-23

图书介绍

店铺：互动出版网图书专营店

出版社：机械工业出版社

ISBN：9787111518990

商品编码：13437788272

丛书名：计算机科学丛书

出版时间：2016-01-01

页数：477

类似图书点击查看全场最低价

图书描述

书名：	(正版特价)计算复杂性：现代方法\|228020
图书定价：	129元
图书作者：	（美）桑杰夫·阿罗拉（Sanjeev Arora）;（美）博阿兹·巴拉克（Boaz Barak）
出版社：	机械工业出版社
出版日期：	2016/1/1 0:00:00
ISBN号：	9787111518990
开本：	16开
页数：	477
版次：	1-1

作者简介

作者简介桑杰夫·阿罗拉（Sanjeev Arora）普林斯顿大学计算机科学系教授，在概率可验证明和NP—难问题的可近似性方面取得了基础性的研究成果。他发起创办了“计算难解性问题中心”，该项目由国家科学基金资助。博阿兹·巴拉克（Boaz Barak）现为哈佛大学计算机科学系教授，哈佛大学工学院计算理论研究组成员，同时还是微软新英格兰研究院首席研究员，之前是普林斯顿大学计算机科学系副教授。他在计算复杂性和密码学方面，特别是“非墨盒”技术方面，取得了基础性的研究成果。译者简介骆吉洲，男，1975年生，博士，副教授。2006年5月毕业于哈尔滨工业大学计算机科学与技术学院软件与理论专业，获工学博士学位。1999年、2001年在哈尔滨工业大学数学系基础数学专业分别获得理学学士学位和理学硕士学位。现就职于哈尔滨工业大学计算机科学与技术学院海量数据计算研究中心，讲授“算法设计与分析”“数学建模”“编译原理”等课程。出版教材《算法设计与分析》一部，出版译著《图论导引》一部。近年来一直从事生物信息学、压缩数据库技术、传感器网络、算法理论等领域的研究。主持和参加多项国家自然基金、863计划、973项目、国防预研等项目等多项；2001年9月至2003年5月参加“计算机机群并行数据库系统”的研制，该项目获得了2004年度国家科学技术进步二等奖。近年来发表30余篇论文。

内容简介

本书系统地介绍计算复杂性理论的经典结果和近30年来取得的新成果，旨在帮助读者了解和掌握复杂性理论中的基本结果、思维方法、主要工具、研究前沿和待决问题。本书分为三部分。第一部分（第1～11章）较宽泛地介绍了复杂性理论，包括复杂性理论的经典结果和一些现代专题。第二部分（第12～16章）讨论了各种具体计算模型上的计算复杂性下界。第三部分（第17～23章）主要是1980年以后人们在复杂性理论方面获得的进展，内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。本书内容丰富，结构灵活，语言流畅，是从事计算复杂性理论及相关领域的研究人员必不可少的参考书，非常适合作为打算进入该研究领域的研究生、博士生快速接触研究前沿的参考资料，还非常适合作为普通高校计算机科学与技术、数学专业本科生、研究生相关课程的教材，其中的高级专题还可以作为博士生相关讨论班的素材。

出版者的话
译者序
译者简介
前言
致谢
引言
第0章记号约定
第一部分基本复杂性类
第1章计算模型——为什么模型选择无关紧要
第2章 NP和NP完全性
第3章对角线方法
第4章空间复杂性
第5章多项式分层和交错
第6章布尔线路
第7章随机计算
第8章交互式证明
第9章密码学
第10章量子计算
第11章 PCP定理和近似难度简介
第二部分具体计算模型的下界
第12章判定树
第13章通信复杂性
习题
第14章线路下界：复杂性理论的滑铁卢
第15章证明复杂性
第16章代数计算模型
第三部分高级专题
第17章计数复杂性
第18章平均复杂性:勒维定理
第19章难度放大和纠错码
第20章去随机化
第21章伪随机构造:扩张图和提取器
第22章 PCP定理的证明和傅里叶变换技术
第23章为什么线路下界如此困难
附录
部分习题的提示
参考文献
术语索引
复杂性类索引

(正版特价)计算复杂性：现代方法计算机与互联网书籍|228020 下载 mobi epub pdf txt 电子书格式