《計算機和難解性 : NP完全性理論導引》是1987年1月科學出版社出版的圖書,作者是(美)加里(Garey, M.R.)、(美)詹森(Johnson, D.S.)。
基本介紹
- 中文名:計算機和難解性 : NP完全性理論導引
- 作者:(美)加里(Garey, M.R.)、(美)詹森(Johnson, D.S.)
- 出版時間:1987年1月
- 出版社:科學出版社
- 標識號:CN : 15031.769
《計算機和難解性 : NP完全性理論導引》是1987年1月科學出版社出版的圖書,作者是(美)加里(Garey, M.R.)、(美)詹森(Johnson, D.S.)。
《計算機和難解性 : NP完全性理論導引》是1987年1月科學出版社出版的圖書,作者是(美)加里(Garey, M.R.)、(美)詹森(Johnson, D.S.)。內容簡介本書系統地介紹了NP完全性理論的概念和方法....
他以獨特的視角,系統地介紹了計算理論的三個主要內容:自動機與語言、可計算性理論和計算複雜性理論。作者以清新的筆觸、生動的語言給出了寬泛的數學原理,而沒有拘泥於某些低層次的細節。在證明之前,均有“證明思路”,幫助讀者理解數學形式下蘊涵的概念。本書可作為計算機專業高年級本科生和研究生的教材,也可...
NP-完全問題(或者叫NPC)的集合在這個討論中有重大作用,它們可以大致的被描述為那些在NP中最不像在P中的。(確切定義細節請參看NP-完全)理論計算機科學家相信P、NP和NPC類之間的關係如圖中所示,其中P和NPC類不交。假設P≠ NP的複雜度類的圖解,如P = NP則三個類相同。本質上,P = NP問題問道:如果是/不...
全書理論體系相對完整,採用了儘可能多的實際操作案例來解釋和闡述相應的具體套用。圖書目錄 第一章 程式設計語言 和可計算函式 1.1 預備知識 1.2 church-turing論題 1.3 程式設計語言 1.4 可計算函式 1.5 宏指令 習題 第二章 原始遞歸函式 2.1 原始遞歸函式 2.2 原始遞歸謂詞 2.3 疊代運算、有界量詞和...
NP-完全問題(或者叫NPC)的集合在這個討論中有重大作用,它們可以大致的被描述為那些在NP中最不像在P中的。(確切定義細節請參看NP-完全)理論計算機科學家相信P, NP,其中P和NPC類不交。假設P ≠ NP的複雜度類的圖解.如P = NP則三個類相同.本質上,P = NP問題問道:如果是/不是問題的正面答案可以很快驗證...
本書對迄今為止有關計算理論的實質性成果作了深刻、嚴格而又直觀的論述,為計算機科學的實質性難題NP難度問題的實現求解提出了一條現實的高效的求解途徑。它在透徹講解圖靈機的基礎上,闡明了為什麼會有計算機不可解的問題,會有計算機難解的問題;然後為當代實質性的計算機難解問題,即NP難度問題指明了得出高性能求解...
第5章NP完全性理論 5.1引言 5.2圖靈機 5.3判定問題、語言和編碼 5.4P類問題、多項式變換和可滿足性問題 5.5NP類問題、NP完全問題和NP困難問題 5.6Cook定理 5.7NP完全性證明 5.8P類問題的證明 5.9近似算法 5.10DNA計算 5.11丘奇-圖靈論點的啟示 5.12習題 5.13參考文獻 第6章並行計算基礎 第7章...
《參數計算導論》較全面地介紹了參數計算理論的提出背景、理論範疇、相關算法設計與分析技術以及參數計算的實際套用。具體闡述了核心化技術、局部貪婪、遞歸壓縮、分支搜尋、隨機方法、彩色編碼、固定參數枚舉技術,並從生物信息計算、計算機網路角度探討了參數計算理論的實際工程套用價值。內容簡介 《參數計算導論》由科學出版...
《計算機學科概論(第3版)》是2023年清華大學出版社出版的圖書,作者是王紅梅,姚慶安,劉鋼。內容簡介 本書是計算機及相關專業的入門教材,參照《普通高等學校計算機類本科專業教學質量國家標準》和《計算機類專業認證標準》編寫。本書分為認識篇、系統篇、工程篇。認識篇從專業的角度認知計算機和計算機學科,為學習...
這是唯一一本從全新的視角來系統地闡述計算機科學中根本問題的書籍。通過形象的比喻來描述算法和計算理論中的一些富有挑戰性的問題。《算法學:計算精髓(第3版)(翻譯版)》力圖用最精煉的數學語言闡述算法和數據結構、圖靈機、有限自動機、不可判定性、不可計算性、複雜度、NP完全性、並行算法、機率算法等概念,同時...
2.1.1計算機學科的定義26 2.1.2計算機學科的三個形態27計算機學科概論(第2版)目錄2.1.3計算機學科的核心概念28 2.2計算機學科的根本問題30 2.2.1圖靈對計算本質的揭示30 2.2.2可計算問題與不可計算問題33 2.2.3易解問題與難解問題33 2.2.4NP問題與NP完全問題35 2.3計算機學科的科學問題36 2.3...
第10章處理難解問題的策略103 10.1內容提要103 10.2習題104 10.3習題解答與分析104 參考文獻120第1章緒論1 1.1計算機的基本概念1 1.1.1什麼是計算機1 1.1.2計算機的分類2 1.1.3計算機的特點3 1.1.4計算機的用途3 1.1.5計算機的發展5 1.2計算機科學與技術學科的定義7 1.2.1計算機科學與技術學科...
第7章介紹隨機化算法,對難解問題提供了解決途徑。第8章介紹線性規劃與網路流算法。許多實際套用問題可以轉化為線性規劃和網路流問題,並可用第8章中的算法有效求解。第9章介紹在大數據和人工智慧中有套用的串和序列的算法。目錄 (註:目錄排版順序為從左列至右列)教學資源 配套教材 《計算機算法設計與分析(第5...
完全數 對稱數 自守數 各種數的關係與理論 代數基本定理 同餘理論 素因子唯一分解定理 素數定理 中國剩餘定理 佩爾方程 斯特靈公式 幻方 抽屜原理 拉姆齊理論 各種方程的求解 數海采奇拾趣 奇妙的數字塔 有趣的平方數 能被整除的各種數 神奇的0 神秘的數字5 奇妙的9 特別的“缺8”數 黃金數—0.618 計算機的...
identify, deal with, and understand the essence of NP-complete problems; Computers and Intractability does all of those things effectively. In a readable yet mathematically rigorous manner, the book covers topics such as how to prove that a given problem is NP-complete and how to cope with NP...
全書共分11章,由算法引論、遞歸與分治策略、動態規劃、章貪心算法、回溯法、分支限界法、機率算法、NP完全性理論與近似算法、串與序列的算法、算法最佳化策略、線上算法設計組成。成書過程 修訂過程 為了適應培養中國21世紀計算機各類人才的需要,結合中國高等學校教育工作的現狀,立足培養學生能跟上國際計算機科學技術的...
屈婉玲,女,北京大學信息科學技術學院及軟體與微電子學院教授、博士生導師。主講算法分析與複雜性理論、算法分析與設計等研究生必修課。研究方向為算法設計與分析、軟體形式化方法。劉田,博士,北京大學信息科學技術學院副教授。主要研究方向為算法分析與計算複雜性理論。長期主講“集合論與圖論”、“理論計算機科學基礎”...
第十章 NP完全性理論及近似算法 §10-1 問題,算法,複雜性和難解性 §10-2 關於NP完全性理論的基本概念 §10-3 若干NP完全問題及其證明和分析方法 §10-4 NP難度 §10-5 近似算法 §10-6 複雜性譜系 習題 第十一章 下界理論 §11-1 關於分類和搜尋的比較樹 §11-2 猜測和選手對抗賽 爭論 方法 §...
第7章介紹機率算法,對許多難解問題提供高效的解決途徑,是有較高實用價值的算法設計策略。第8章介紹NP完全性理論。首先介紹計算模型、確定性和非確定性圖靈機,然後進一步介紹NP完全性理論。第9章介紹了解NP難問題的近似算法,這是計算機算法領域的熱門研究課題,具有較高的實用價值。第10章通過實例介紹算法設計中常用...
全書分七部分19章,從算法設計和算法分析的基本概念和方法入手,先後介紹了遞歸技術、分治、動態規劃、貪心算法、圖的遍歷等技術,對NP完全問題進行了基本但清楚的討論。圖書目錄 第一部分 基本概念和算法導引 第1章 算法分析基本概念 1.1引言 1.2歷史背景 1.3二分搜尋 1.4合併兩個已排序的表 1.5選擇排序...
《算法設計技巧與分析》結構簡明,內容豐富,適合於作為計算機學科及相關學科算法課程的教材和參考書,尤其適宜於學過數據結構和離散數學課程之後的算法課程教材。同時也可作為從事算法研究的一本好的入門書。圖書目錄 第一部分 基本概念和算法導引 第1章 算法分析基本概念 第2章 數學預備知識 第3章 數據結構 第4章 ...
本書適用於計算機、大數據等相關專業本科教材,以及從事計算機領域的教學、科研人員,ACM程式設計大賽的算法愛好者。 圖書目錄 目錄 第1章算法概述 1.1什麼是算法 1.2為什麼學習算法 1.3算法的描述方式 1.4算法設計的一般過程 1.5算法分析 1.5.1算法分析的概念 1.5.2時間複雜度和空間複雜度 1.5...
本書長期居於算法暢銷教材前列,是一本不可多得的“算法設計指南”,它不僅能作為計算機相關專業算法課程的教材,對於相關領域從業人員亦是極具價值的參考書。圖書目錄 卷I 實用算法設計 第1章算法設計導引. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
控制裝置由帶微處理器的自動控制系統、舵機以及其操縱系統組成,計算機可將象限內的偏差信號傳送給控制系統,並經機械操控系統使舵機產生偏轉以消除偏差信號,直至像點進入信號中央盲區,使航空炸彈準確飛向目標。炸彈彈體、引信以及彈翼與普通炸彈相似。制導方式 雷射制導炸彈主要有三種制導方式:半主動制導、全主動制導...
張立昂,北京大學信息科學技術學院教授、博士生導師,一直從事數學和理論計算機科學的教學與研究工作,主要研究方向是計算複雜性理論和算法設計與分析,曾獲得北京市教學成果獎一等獎和教育部科技進步二等獎。王捍貧,博士,北京大學信息科學技術學院教授、博士生導師、軟體研究所副所長、中國人工智慧學會離散智慧型計算專委會...