计算复杂性理论的研究是计算机科学最重要的研究领域之一，而Christos H．Papadmitriou是该领域最著名的专家之一。本书是一本全面阐述计算复杂性理论及其近年来进展的教科书，主要包含算法图灵机、可计算性等有关计算复杂性理论的基本概念；布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础知识；P与NP、NP完全等各复杂性类的概念及其之间的关系等复杂性理论的核心内容；随机算法、近似算法、并行算法及其复杂性理论；以及NP之外如多项式空间等复杂性类的介绍。
本书内容丰富，体系严谨，证明简洁，叙述深入浅出，并配有大量的练习和文献引用。本书不但适合作为研究生或本科高年级学生的教材，也适合从事算法和计算机复杂性研究的人员参考。
具体描述
读后感
内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有