机读格式显示(MARC)
- 000 01112nam0 2200265 450
- 010 __ |a 978-7-118-13093-5 |d CNY79.00
- 100 __ |a 20240703d2024 em y0chiy0110 ea
- 200 1_ |a 计算复杂性理论导引 |A ji suan fu za xing li lun dao yin |f 吕克伟,黄桂芳编著
- 210 __ |a 北京 |c 国防工业出版社 |d 2024
- 300 __ |a 中国科学院大学研究生教材系列 网络空间安全学科系列教材
- 312 __ |a 封面英文题名:Introduction to computational complexity theory
- 330 __ |a 本书首先介绍图论、逻辑以及格中若干计算问题的算法及复杂性;然后介绍计算复杂性理论的计算模型、计算复杂类划分、Karp归约和NP完备性理论、相对化方法和Cook归约、P、NP、coNP、一致/非一致语言类和多项式谱系等;最后介绍随机化算法、交互语言类、计数复杂类等。
- 510 1_ |a Introduction to computational complexity theory |z eng
- 606 0_ |a 计算复杂性 |x 研究生 |j 教材
- 701 _0 |a 吕克伟 |A lü ke wei |c (信息工程) |4 编著
- 701 _0 |a 黄桂芳 |A huang gui fang |4 编著
- 801 _0 |a CN |b 辽批 |c 20240806