計算復雜性理論的研究是計算機科學最重要的研究領域之一，而Christos H．Papadmitriou是該領域最著名的專傢之一。本書是一本全麵闡述計算復雜性理論及其近年來進展的教科書，主要包含算法圖靈機、可計算性等有關計算復雜性理論的基本概念；布爾邏輯、一階邏輯、邏輯中的不可判定性等復雜性理論的基礎知識；P與NP、NP完全等各復雜性類的概念及其之間的關係等復雜性理論的核心內容；隨機算法、近似算法、並行算法及其復雜性理論；以及NP之外如多項式空間等復雜性類的介紹。
本書內容豐富，體係嚴謹，證明簡潔，敘述深入淺齣，並配有大量的練習和文獻引用。本書不但適閤作為研究生或本科高年級學生的教材，也適閤從事算法和計算機復雜性研究的人員參考。
具體描述
讀後感
内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
評分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
評分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
評分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
評分内容非常全面，证明非常多，但是基本是首先用自然语言阐述思想，其次才用形式化证明，因此一改传统上复杂性证明的晦涩难懂的特点。此外，注重证明方法和技巧的介绍。附有很多习题均来自实际的复杂性研究的课题或者以发表的论文，因此想从事复杂性研究的读者可以通过做这些习题...
用戶評價
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有