您好,欢迎来到聚文网。 登录 免费注册
计算复杂性理论

计算复杂性理论

  • 字数: 526
  • 出版社: 清华大学
  • 作者: 傅育熙|责编:龙启铭
  • 商品条码: 9787302627982
  • 版次: 1
  • 开本: 16开
  • 页数: 379
  • 出版年份: 2023
  • 印次: 1
定价:¥79 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
本书是一本介绍计算复 杂性理论的基础教材,内容 包括时间复杂性、空间复杂 性、NP-理论、多项式谱系 、电路复杂性、随机计算及 去随机、计数复杂性、交互 证明系统、PCP定理、近似 计算与不可近似性。 本书的主要读者群是高 年级本科生、硕士生、博士 生,以及希望了解(更多) 计算复杂性理论的教师和科 研工作者。本书可用于以下 课程:(1)面向高年级本 科生、研究生的“计算复杂 性理论导论”课程,内容涵 盖前3章;(2)面向研究生 的“计算复杂性理论高等议 题”课程,内容涵盖后3章; (3)面向高年级本科生、 研究生的“算法理论”课程, 涵盖第4章、第6章中有关随 机算法和去随机、近似算法 和不可近似性的内容;(4 )面向高年级本科生、研究 生的“计算理论”课程,以第 1章的内容为核心,并根据 学分多少和授课对象不同做 适当补充。
目录
第1章 计算理论 1.1 图灵机 1.2 时间可构造性 1.3 通用图灵机 1.4 对角线方法 1.5 丘奇-图灵论题 1.6 加速定理 1.7 时间复杂性类 1.8 非确定图灵机 1.9 命题逻辑 1.10 谓词逻辑 1.11 计算的逻辑刻画 1.12 时间谱系定理 1.13 间隙定理 1.14 神谕图灵机 1.15 归约 1.16 空间复杂性类 1.17 对数空间类 1.18 多项式空间类 1.19 对数空间的补封闭性 1.20 TIME(T(n))=SPACE(T(n))吗 第1章练习 第2章 难解性 2.1 可验证性 2.2 NP-完全性 2.3 库克-莱文定理 2.4 拉德纳定理 2.5 贝克-吉尔-索罗维定理 2.6 多项式谱系 2.7 谱系的逻辑刻画 2.8 谱系的交替机刻画 2.9 无限谱系假设 2.10 第二层中的完全问题 第2章练习 第3章 电路复杂性 3.1 电路谱系定理 3.2 一致电路 3.3 P/poly 3.4 并行计算 3.5 P-完全性 3.6 哈斯塔德对换引理 第3章练习 第4章 随机计算与去随机 4.1 随机算法 4.2 通用哈希函数族 4.3 概率图灵机 4.4 BPP与ZPP 4.5 PP与#P 4.6 积和式计算 4.7 户田定理

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网