發表於2024-11-27
書名: | (正版特價)計算復雜性:現代方法|228020 |
圖書定價: | 129元 |
圖書作者: | (美)桑傑夫·阿羅拉(Sanjeev Arora);(美)博阿茲·巴拉剋(Boaz Barak) |
齣版社: | 機械工業齣版社 |
齣版日期: | 2016/1/1 0:00:00 |
ISBN號: | 9787111518990 |
開本: | 16開 |
頁數: | 477 |
版次: | 1-1 |
作者簡介 |
作者簡介 桑傑夫·阿羅拉(Sanjeev Arora)普林斯頓大學計算機科學係教授,在概率可驗證明和NP—難問題的可近似性方麵取得瞭基礎性的研究成果。他發起創辦瞭“計算難解性問題中心”,該項目由國傢科學基金資助。 博阿茲·巴拉剋(Boaz Barak)現為哈佛大學計算機科學係教授,哈佛大學工學院計算理論研究組成員,同時還是微軟新英格蘭研究院首席研究員,之前是普林斯頓大學計算機科學係副教授。他在計算復雜性和密碼學方麵,特彆是“非墨盒”技術方麵,取得瞭基礎性的研究成果。 譯者簡介 駱吉洲,男,1975年生,博士,副教授。2006年5月畢業於哈爾濱工業大學計算機科學與技術學院軟件與理論專業,獲工學博士學位。1999年、2001年在哈爾濱工業大學數學係基礎數學專業分彆獲得理學學士學位和理學碩士學位。現就職於哈爾濱工業大學計算機科學與技術學院海量數據計算研究中心,講授“算法設計與分析”“數學建模”“編譯原理”等課程。齣版教材《算法設計與分析》一部,齣版譯著《圖論導引》一部。近年來一直從事生物信息學、壓縮數據庫技術、傳感器網絡、算法理論等領域的研究。主持和參加多項國傢自然基金、863計劃、973項目、國防預研等項目等多項;2001年9月至2003年5月參加“計算機機群並行數據庫係統”的研製,該項目獲得瞭2004年度國傢科學技術進步二等奬。近年來發錶30餘篇論文。 |
內容簡介 |
本書係統地介紹計算復雜性理論的經典結果和近30年來取得的新成果,旨在幫助讀者瞭解和掌握復雜性理論中的基本結果、思維方法、主要工具、研究前沿和待決問題。本書分為三部分。第一部分(第1~11章)較寬泛地介紹瞭復雜性理論,包括復雜性理論的經典結果和一些現代專題。第二部分(第12~16章)討論瞭各種具體計算模型上的計算復雜性下界。第三部分(第17~23章)主要是1980年以後人們在復雜性理論方麵獲得的進展,內容包括計數復雜性、平均復雜性、難度放大、去隨機化和僞隨機性、PCP定理的證明以及自然證明。本書內容豐富,結構靈活,語言流暢,是從事計算復雜性理論及相關領域的研究人員必不可少的參考書,非常適閤作為打算進入該研究領域的研究生、博士生快速接觸研究前沿的參考資料,還非常適閤作為普通高校計算機科學與技術、數學專業本科生、研究生相關課程的教材,其中的高級專題還可以作為博士生相關討論班的素材。 |
目錄 |
齣版者的話 譯者序 譯者簡介 前言 緻謝 引言 第0章 記號約定 第一部分 基本復雜性類 第1章 計算模型——為什麼模型選擇無關緊要 第2章 NP和NP完全性 第3章 對角綫方法 第4章 空間復雜性 第5章 多項式分層和交錯 第6章 布爾綫路 第7章 隨機計算 第8章 交互式證明 第9章 密碼學 第10章 量子計算 第11章 PCP定理和近似難度簡介 第二部分 具體計算模型的下界 第12章 判定樹 第13章 通信復雜性 習題 第14章 綫路下界:復雜性理論的滑鐵盧 第15章 證明復雜性 第16章 代數計算模型 第三部分 高級專題 第17章 計數復雜性 第18章 平均復雜性:勒維定理 第19章 難度放大和糾錯碼 第20章 去隨機化 第21章 僞隨機構造:擴張圖和提取器 第22章 PCP定理的證明和傅裏葉變換技術 第23章 為什麼綫路下界如此睏難 附錄 部分習題的提示 參考文獻 術語索引 復雜性類索引 |
(正版特價)計算復雜性:現代方法 計算機與互聯網 書籍|228020 下載 mobi pdf epub txt 電子書 格式 2024
(正版特價)計算復雜性:現代方法 計算機與互聯網 書籍|228020 下載 mobi epub pdf 電子書評分
評分
評分
評分
評分
評分
評分
評分
(正版特價)計算復雜性:現代方法 計算機與互聯網 書籍|228020 mobi epub pdf txt 電子書 格式下載 2024