| 词条 | 计算复杂性导论 |
| 释义 | 图书信息出版社: 高等教育出版社; 第1版 (2002年8月1日) 丛书名: 当代科学前沿论丛 精装: 378页 正文语种: 简体中文 开本: 16 ISBN: 9787040113075 条形码: 9787040113075 尺寸: 22.8 x 18 x 2.4 cm 重量: 739 g 作者简介堵丁柱，1948年生。中国科学院应用数学所运筹学硕士（1981）。美国加里福利亚大学圣巴巴拉分校数学博士（1985）。美国伯克利数学科学研究所博士后（1985.1986）。美国麻省理工学院助理教授（1986－1987）。美国普林斯顿大学访问学者（1990－1991）。现任美国明尼苏达大学计算机科学系教授，中国科学院应用数学所研究员。Journal 0f Combinatorial Optimization主编，Book Series ofCombinatorial Optimization和Book Series of Networks Theory and Applications主编。主要研究方向为组合优化，计算复杂性，算法分析与设计，计算机和通讯网络。发表论文130篇，著书7本。1993年获中国科学院自然科学一等奖。1995年获中国自然科学二等奖。1998年获美国运筹和管理学会CSTC奖（计算机与运筹学边缘科学奖）。 葛可一，1950年生。台湾新竹清华大学数学学士（1972）。美国俄亥俄州立大学数学硕士（1974），计算机科学博士（1979）。现任美国纽约州立大学石溪分校计算机科学系教授.SIAM Journal on Computing与Journal of Complexity编辑。曾主持多项美国自然科学基金会研究课题。主要研究方向为计算复杂性理论，数值计算复杂性和可计算性理论。发表论文55篇，著书3本。 王杰，1961年生。中山大学计算机科学系计算数学专业学士（1982），软件专业硕士（1984），美国波士顿大学计算机科学博士（1990）。现任美国麻萨诸塞大学罗威尔分校计算机科学系教授，并任网络与系统安全实验室主任。主要研究方向为平均计算复杂性理论，网络与系统安全，应用算法。曾主持多项美国自然科学基金会的课题及美国英特尔（Intel）公司的课题。发表论文70篇及编书两本。1991年获美国自然科学基金会科研启动奖，2002年获英特尔公司大学项目IXA研究奖。 内容简介《计算复杂性导论》可用作计算机专业、计算数学专业的计算机理论课程的教材，也是有关研究人员不可或缺的参考书。计算复杂性理论是用数学方法研究使用数位计算机解决各种算法问题困难度的理论。《计算复杂性导论》对计算机科学中这一重要理论做了全面的介绍。其内容包含基本理论，如计算模型NP-完全性，以及较深入的课题，如线路复杂性、概率复杂性和交互证明系统等。此外，《计算复杂性导论》还包括了复杂性理论近年来两个较重大的突破，即概率可验证明及其在近似算法上的应用和平均NP-完全理论。《计算复杂性导论》中所有结果均有严格的数学证明，在每章后配有相关练习题。 目录1，计算模型 2，计算复杂性类 3，NP-完全问题 4，多项式时间分层和多项式空间 5，线路复杂性 6，NP类的结构 7，概率机与复杂性类 8，计数复杂性 9，交互证明系统 10，概率可验证明 11，近似解的复杂性 12，平均NP-完全性理论 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。