- [图书] 计算复杂性 现代方法/a modern approach
- 作者:(美)桑杰夫·阿罗拉(Sanjeev Arora),(美)博阿兹·巴拉克(Boaz Barak)著;骆吉洲译
- 出版社:机械工业出版社
- 出版日期:2022
- ISBN:978-7-111-51899-0
- 内容简介:本书分为三部分。第一部分介绍了复杂性理论,包括复杂性理论的经典结果和一些现代专题。第二部分讨论了各种具体计算模型上的计算复杂性下界。第三部分主要是1980年以后人们在复杂性理论方面...
- 丛书名:计算机科学丛书
- 所属馆:
- 获取途径:
- [图书] 计算复杂性 现代方法/a modern approach
- 作者:(美)桑杰夫·阿罗拉(Sanjeev Arora),(美)博阿兹·巴拉克(Boaz Barak)著;骆吉洲译
- 出版社:机械工业出版社
- 出版日期:2016
- ISBN:978-7-111-51899-0
- 内容简介:本书分为三部分。第一部分介绍了复杂性理论,包括复杂性理论的经典结果和一些现代专题。第二部分讨论了各种具体计算模型上的计算复杂性下界。第三部分主要是1980年以后人们在复杂性理论方面...
- 丛书名:计算机科学丛书
- 所属馆:
- 获取途径:
- [图书] 计算复杂性的现代方法 [英文本]
- 作者:Sanjeev Arora,Boaz Barak[著]
- 出版社:世界图书出版公司北京公司
- 出版日期:2012.03
- ISBN:978-7-5100-4286-7
- 所属馆:
- 获取途径:
- [图书] 计算复杂性 a conceptual perspective
- 作者:(以)Oded Goldreich著;张薇,韩益亮,杨晓元译
- 出版社:国防工业出版社
- 出版日期:2015
- ISBN:978-7-118-10387-8
- 内容简介:本书全面介绍了复杂性理论的研究内容,内容涵盖了NP完全性、空间复杂性、伪随机性生成器等内容,对许多子领域,如难度放大、伪随机性及概率证明系统等都有介绍,并在附录中介绍了与复杂性相关...
- 所属馆:
- 获取途径:
- [图书] 计算机数学 计算复杂性理论与NPC、NP难问题的求解
- 作者:陈志平,徐宗本编著
- 出版社:科学出版社
- 出版日期:2001.8
- ISBN:7-03-009151-5
- 内容简介:本书共分十六章,主要介绍了计算复杂性理论的基本内容与各种NPC问题、NP难问题等复杂问题的计算机求解方法
- 丛书名:西安交通大学数学研究生教学丛书
- 所属馆:
- 获取途径:
- [图书] 计算复杂性 [英文本]
- 作者:(美)Chistos H.Papadimitriou[著]
- 出版社:清华大学出版社
- 出版日期:2004
- ISBN:7-302-08955-8
- 内容简介:本书全面阐述计算复杂性理论及其近年来进展,主要包括算法图灵机、可计算性等有关计算复杂性等理论的基本概念;布尔逻辑、逻辑中的不可判定性等复杂性理论的基础知识等。
- 丛书名:大学计算机教育国外著名教材系列
- 所属馆:
- 获取途径:
- [图书] 可计算性与计算复杂性导引
- 作者:张立昂编著
- 出版社:北京大学出版社
- 出版日期:2011
- ISBN:978-7-301-17768-6
- 内容简介:本书内容包括三部分:可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模型,时间和空间复杂性...
- 所属馆:
- 获取途径: