三民網路書店 中國圖書館分類法 / 工業技術 / 自動化技術、計算機技術 / 計算技術、計算機技術 / 計算復雜性理論

本書是一本介紹計算複雜性理論的基礎教材, 內容包括時間複雜性、空間複雜性、NP-理論、多項式譜系、電路複雜性、隨機計算及去隨機、計數複雜性、交互證明系統、PCP 定理、近似計算與不可近似性。 本書的主要讀者群是高年級本科生、碩士生、博士生，以及希望瞭解(更多)計算複雜性理論的教師和科研工作者。本書可用於以下課程：(1)面向高年級本科生、研究生的“計算複雜性理論導論”課程，內容涵蓋前3 章；(2)面向研究生的“計算複雜性理論高等議題”課程，內容涵蓋後3 章；(3)面向高年級本科生、研究生的“算法理論”課程，涵蓋第 4 章、第 6 章中有關隨機算法和去隨機、近似算法和不可近似性的內容；(4)面向高年級本科生、研究生的“計算理論”課程，以第 1 章的內容為核心，並根據學分多少和授課對象不同做適當補充。

本書闡述了複雜性理論的核心概念和基本原理，論證了這些概念和原理在應用語言學領域中的應用，進而探討了複雜性理論為應用語言學研究帶來的有益啟示。該書秉持跨學科視野，打破還原論的窠臼，運用複雜性理論闡釋語言的本質及演化過程，剖析語言發展、語言使用、語言教學等應用語言學問題，觀點鮮明，見解深刻，是一部頗具創新精神並引人深思的語言學研究專著。全書由八章構成。第一至三章講解複雜性理論，包括該理論的發展歷程，複雜系統的概念、性質及特徵，複雜系統變化的類型及原理等。第四至八章論述複雜性理論在應用語言學各研究領域中的應用。

本書介紹了計算複雜性理論的一些基礎知識，如計算模型Turing 機、複雜性的度量與本質關係、P等不等於NP問題、空間複雜性等，還選擇了一些適合密碼學及信息安全專業學習的高級專題，如隨機化算法、電路複雜性、交互式證明等進行了介紹。本書的編寫儘量少使用計算機專業術語，涉及的計算問題相對集中，避免學生因相關數學知識儲備不夠而造成困惑。對較難的定理證明，給出直觀分析以增進學生的理解和消化。設置了合適數量和難度的習題，習題中的知識點也非常重要，通過給出適當提示，引導學生完成。本書可作為密碼學、信息安全及相關專業的“計算複雜性理論”課程的教材。

本書結合資訊、進化和計算對生物進化進行了闡釋，證明了計算在進化中的核心作用，並將這套計算和進化相結合的核心機制擴展到其他領域，用來解釋複雜生命、結構、組織和社會秩序的形成。這是一次正在進行的重大的科學認知範式的轉換，它不僅會改變科學，也會改變人類對自身境況的認知。

成千上萬只同步閃爍的螢火蟲，整齊劃一收縮的心臟起搏細胞，上萬億個在超導體中一致前進的電子……這些我們身邊的同步現象，都指向了某種自組織現象，有關這種秩序的自發產生，是許多科學家終其一生研究的主題。而研究表明，持續、自發的同步現象與“耦合振子”的運動密切相關。耦合振子究竟如何自發同步？在什麼條件下同步？什麼時候同步不可能出現，什麼時候又不可避免？當失去同步時，會出現什麼樣的組織形式？我們正在努力學習

《科學哲學視野中的復雜系統與模擬方法》從科學哲學的角度對復雜系統展開討論。一方面用計算機模擬方法分析復雜系統中的某些本體論問題；另一方面對這種研究方法進行認識論上的反思，提煉出一些有價值的哲學問題進行討論。如通過模擬螞蟻、鳥群或群伴（boids）等同質主體組成的復雜系統分析突現現象生成的機理、復雜性產生的條件；通過模擬“Tierra”“囚徒困境”“糖域”等異質主體組成的復雜系統，分析人與人之間的交

本書系統地介紹計算複雜性理論的經典結果和近30年來取得的新成果，旨在幫助讀者瞭解和掌握複雜性理論中的基本結果、思維方法、主要工具、研究前沿和待決問題。本書分為三部分。第一部分（第1～11章）較寬泛地介紹了複雜性理論，包括複雜性理論的經典結果和一些現代專題。第二部分（第12～16章）討論了各種具體計算模型上的計算複雜性下界。第三部分（第17～23章）主要是1980年以後人們在複雜性理論方面獲得的進展

電腦複雜理論的研究是電腦科學最重要的研究領域之一，而Chistos.H.Papadimitriou是該領域最著名的專家之一。本書是一本全面闡述電腦複雜性理論及其近年來進展的教科書，主要包含演算法圖靈機、可計算性等有關計算複雜理論的基本概念；布林邏輯、一階邏輯、邏輯中的不可判定性等複雜性理論的基礎知識；P與NP、NP完全等各複雜性類的概念及其之間的關係等複雜性理論的核心內容；隨機演算法、近似演算法、

本書全面介紹了複雜性理論的研究內容，內容涵蓋了NP完全性、空間複雜性、偽隨機性生成器等內容，對許多子領域，如難度放大、偽隨機性及概率證明系統等都有介紹，並在附錄中介紹了與複雜性相關的現代密碼學基礎理論。

計算復雜性理論是用數學方法研究計算機解決各種算法問題難易程度的理論。呂克偉編著的《計算復雜性理論

本書對迄今為止有關計算理論的實質性成果作了深刻、嚴格而又直觀的論述，為計算機科學的實質性難題NP難度問題的實現求解提出了一條現實的高效的求解途徑。它在透徹講解圖靈機的基礎上，闡明了為什么會有計算機不可解的問題，會有計算機難解的問題；然后為當代實質性的計算機難解問題，即NP難度問題指明了得出高性能求解算法的現實途徑——擬物、擬人途徑；最后為設計算法與分析問題的復雜度提供了一個強有力的工具——有窮損害

計算復雜性理論是用數學方法研究使用數位計算機解決各種算法問題困難度的理論。本書對計算機科學中這一重要理論做了全面的介紹。其內容包含基本理論，如計算模型NP-完全性，以及較深入的課題，如線路復雜性、概率復雜性和交互證明系統等。此外，本書還包括了復雜性理論近年來兩個較重大的突破，即概率可驗證明及其在近似算法上的應用和平均NP-完全理論。本書中所有結果均有嚴格的數學證明，在每章后配有相關練習題。 本

《復雜系統暨魯棒控制的理論和應用》內容簡介：the japan-china joint workshop on control was initiated in the august of 2004. the first and second joint workshops were held in beijing and harbin of china, respectively. the th