机读格式显示(MARC)
- 000 01414oam2 2200325 450
- 010 __ |a 978-7-111-51899-0 |d CNY129.00
- 100 __ |a 20151201d2016 em y0chiy0110 ea
- 200 1_ |a 计算复杂性 |A ji suan fu za xing |b 专著 |e 现代方法 |d Computational complexity |f (美)桑杰夫·阿罗拉(Sanjeev Arora),(美)博阿兹·巴拉克(Boaz Barak)著 |g 骆吉洲译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2016
- 215 __ |a 22,477页 |c 图 |d 26cm
- 225 2_ |a 计算机科学丛书 |A Ji Suan Ji Ke Xue Cong Shu
- 306 __ |a 由剑桥大学出版社与机械工业出版社合作出版
- 330 __ |a 本书分为三部分。第一部分介绍了复杂性理论,包括复杂性理论的经典结果和一些现代专题。第二部分讨论了各种具体计算模型上的计算复杂性下界。第三部分主要是1980年以后人们在复杂性理论方面获得的进展,内容包括计数复杂性、平均复杂性、难度放大、去随机化和伪随机性、PCP定理的证明以及自然证明。
- 461 _0 |1 2001 |a 计算机科学丛书
- 510 1_ |a Computational complexity |e a modern approach |z eng
- 606 0_ |a 计算复杂性 |A Ji Suan Fu Za Xing
- 701 _0 |c (美) |a 阿罗拉 |A a luo la |c (Arora, Sanjeev) |4 著
- 701 _0 |c (美) |a 巴拉克 |A ba la ke |c (Barak, Boaz) |4 著
- 702 _0 |a 骆吉洲 |A luo ji zhou |f (1975-) |4 译
- 801 _0 |a CN |b HDUL |c 20161206
- 905 __ |a HDUL |d TP301.5/765/2