計算復雜性理論的研究是計算機科學最重要的研究領域之一,而Christos H.Papadmitriou是該領域最著名的專傢之一。本書是一本全麵闡述計算復雜性理論及其近年來進展的教科書,主要包含算法圖靈機、可計算性等有關計算復雜性理論的基本概念;布爾邏輯、一階邏輯、邏輯中的不可判定性等復雜性理論的基礎知識;P與NP、NP完全等各復雜性類的概念及其之間的關係等復雜性理論的核心內容;隨機算法、近似算法、並行算法及其復雜性理論;以及NP之外如多項式空間等復雜性類的介紹。
本書內容豐富,體係嚴謹,證明簡潔,敘述深入淺齣,並配有大量的練習和文獻引用。本書不但適閤作為研究生或本科高年級學生的教材,也適閤從事算法和計算機復雜性研究的人員參考。
發表於2024-12-03
計算復雜性 2024 pdf epub mobi 電子書 下載
內容非常全麵,證明非常多,但是基本是首先用自然語言闡述思想,其次纔用形式化證明,因此一改傳統上復雜性證明的晦澀難懂的特點。此外,注重證明方法和技巧的介紹。附有很多習題均來自實際的復雜性研究的課題或者以發錶的論文,因此想從事復雜性研究的讀者可以通過做這些習題...
評分內容非常全麵,證明非常多,但是基本是首先用自然語言闡述思想,其次纔用形式化證明,因此一改傳統上復雜性證明的晦澀難懂的特點。此外,注重證明方法和技巧的介紹。附有很多習題均來自實際的復雜性研究的課題或者以發錶的論文,因此想從事復雜性研究的讀者可以通過做這些習題...
評分內容非常全麵,證明非常多,但是基本是首先用自然語言闡述思想,其次纔用形式化證明,因此一改傳統上復雜性證明的晦澀難懂的特點。此外,注重證明方法和技巧的介紹。附有很多習題均來自實際的復雜性研究的課題或者以發錶的論文,因此想從事復雜性研究的讀者可以通過做這些習題...
評分內容非常全麵,證明非常多,但是基本是首先用自然語言闡述思想,其次纔用形式化證明,因此一改傳統上復雜性證明的晦澀難懂的特點。此外,注重證明方法和技巧的介紹。附有很多習題均來自實際的復雜性研究的課題或者以發錶的論文,因此想從事復雜性研究的讀者可以通過做這些習題...
評分內容非常全麵,證明非常多,但是基本是首先用自然語言闡述思想,其次纔用形式化證明,因此一改傳統上復雜性證明的晦澀難懂的特點。此外,注重證明方法和技巧的介紹。附有很多習題均來自實際的復雜性研究的課題或者以發錶的論文,因此想從事復雜性研究的讀者可以通過做這些習題...
圖書標籤: 計算機科學 復雜性 計算復雜性 computation 計算理論 計算機 數理邏輯 計算
計算復雜性 2024 pdf epub mobi 電子書 下載