图书标签: 计算机科学 复杂性 计算复杂性 computation 计算理论 计算机 数理逻辑 计算
发表于2024-11-22
计算复杂性 pdf epub mobi txt 电子书 下载 2024
计算复杂性理论的研究是计算机科学最重要的研究领域之一,而Christos H.Papadmitriou是该领域最著名的专家之一。本书是一本全面阐述计算复杂性理论及其近年来进展的教科书,主要包含算法图灵机、可计算性等有关计算复杂性理论的基本概念;布尔逻辑、一阶逻辑、逻辑中的不可判定性等复杂性理论的基础知识;P与NP、NP完全等各复杂性类的概念及其之间的关系等复杂性理论的核心内容;随机算法、近似算法、并行算法及其复杂性理论;以及NP之外如多项式空间等复杂性类的介绍。
本书内容丰富,体系严谨,证明简洁,叙述深入浅出,并配有大量的练习和文献引用。本书不但适合作为研究生或本科高年级学生的教材,也适合从事算法和计算机复杂性研究的人员参考。
内容非常全面,证明非常多,但是基本是首先用自然语言阐述思想,其次才用形式化证明,因此一改传统上复杂性证明的晦涩难懂的特点。此外,注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文,因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面,证明非常多,但是基本是首先用自然语言阐述思想,其次才用形式化证明,因此一改传统上复杂性证明的晦涩难懂的特点。此外,注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文,因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面,证明非常多,但是基本是首先用自然语言阐述思想,其次才用形式化证明,因此一改传统上复杂性证明的晦涩难懂的特点。此外,注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文,因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面,证明非常多,但是基本是首先用自然语言阐述思想,其次才用形式化证明,因此一改传统上复杂性证明的晦涩难懂的特点。此外,注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文,因此想从事复杂性研究的读者可以通过做这些习题...
评分内容非常全面,证明非常多,但是基本是首先用自然语言阐述思想,其次才用形式化证明,因此一改传统上复杂性证明的晦涩难懂的特点。此外,注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文,因此想从事复杂性研究的读者可以通过做这些习题...
计算复杂性 pdf epub mobi txt 电子书 下载 2024