計算機演演算法的設計與分析
計算機演演算法的設計與分析
《計算機演演算法的設計與分析》是機械工業出版社於2007年7月1日出版的圖書。
出版時間：2007-7-1
版 次：1
頁 數：417
印刷時間：2007-7-1
包 裝：平裝
本書可以作為高等院校計算機演演算法設計與分析課程的本科生或研究生教材，也可以作為計算機理論研究人員、計算機演演算法設計人員的參考書。
Alfred V.Aho博士，是哥倫比亞大學計算機科學系主管本科生教學的副主任，IEEE Fellow，美國科學與藝術學院及國家工程學院院士，曾獲得IEEE的馮·諾伊曼獎。他是《編譯原理》（Compiler:Principles,Techniques,and Tools）的第一作者。他的研究方向為量子計算、程式設計語言、編譯器和演演算法等。
本書是一部設計與分析領域的經典著作，著重介紹了計算機演演算法設計領域的基本原則和根本原理。書中深入分析了一些計算機模型上的演演算法，介紹了一些和設計有效演演算法有關的數據結構和編程技術，為讀者提供了有關遞歸方法、分治方法和動態規劃方面的詳細實例和實際應用，並致力於更有效演演算法的設計和開發。同時，對NP完全等問題能否有效求解進行了分析，並探索了應用啟髮式演演算法解決問題的途徑。另外，本書還提供了大量富有指導意義的習題。
出版者的話
譯者序
前言
第1章 計算模型
1.1 演演算法和複雜度
1.2 隨機存取計算機
1.3 RAM程序的計算複雜度
1.4 存儲程序模型
1.5 RAM的抽象
1.6 一種基本的計算模型：圖靈機
1.7 圖靈機模型和RAM模型的關係
1.8 簡化ALGOL——一種高級語言
第2章 有效演演算法的設計
2.1 數據結構：表、隊列和堆棧
2.2 集合的表示
2.3 圖
2.4 樹
2.5 遞歸
2.6 分治法
2.7 平衡
2.8 動態規劃
2.9 後記
第3章 排序和順序統計
3.1 排序問題
3.2 基數排序
3.3 比較排序
3.4 堆排序——O(n log n)的比較排序演演算法
3.5 快速排序——期望時間為O(n log n)的排序演演算法
3.6 順序統計學
3.7 順序統計的期望時間
第4章 集合操作問題的數據結構
4.1 集合的基本操作
4.2 散列法
4.3 二分搜索
4.4 二叉查找樹
4.5 最優二叉查找樹
4.6 簡單的不相交集合合併演演算法
4.7 UNION-FIND問題的樹結構
4.8 UNION-FIND演演算法的應用和擴展
4.9 平衡樹方案
4.10 字典和優先隊列
4.11 可合併堆
4.12 可連接隊列
4.13 劃分
4.14 本章小結
第5章 圖演演算法
5.1 最小代價生成樹
5.2 深度優先搜索
5.3 雙連通性
5.4 有向圖的深度優先搜索
5.5 強連通性
5.6 路徑查找問題
5.7 傳遞閉包演演算法
5.8 最短路徑演演算法
5.9 路徑問題與矩陣乘法
5.10 單源問題
5.11 有向無環圖的支配集：概念整合
第6章 矩陣乘法及相關操作
6.1 基礎知識
6.2 Strassen矩陣乘法演演算法
6.3 矩陣求逆
6.4 矩陣的LUP分解
6.5 LUP分解的應用
6.6 布爾矩陣的乘法
第7章 快速傅里葉變換及其應用
7.1 離散傅里葉變換及其逆變換
7.2 快速傅里葉變換演演算法
7.3 使用位操作的FFT
7.4 多項式乘積
7.5 Schonhage-Strassen整數相乘演演算法
第8章 整數與多項式計算
8.1 整數和多項式的相似性
8.2 整數的乘法和除法
8.3 多項式的乘法和除法
8.4 模算術
8.5 多項式模算術和多項式計值
8.6 中國餘數
8.7 中國餘數和多項式的插值
8.8 最大公因子和歐幾里得演演算法
8.9 多項式GCD的漸近快速演演算法
8.10 整數的GCD
8.11 再論中國餘數
8.12 稀疏多項式
第9章 模式匹配演演算法
9.1 有窮自動機和正則表達式
9.2 正則表達式的模式識別
9.3 子串識別
9.4 雙向確定型下推自動機
9.5 位置樹和子串標識符
第10章 NP完全問題
10.1 非確定型圖靈機問題
10.2 P類和NP類
10.3 語言和問題
10.4 可滿足性問題的NP完全性
lO.5 其他NP完全問題
10.6 多項式空間界問題
第11章 一些可證難的問題
11.1 複雜度層次
11.2 確定型圖靈機的空間層次
11.3 一個需要指數時間和空問的問題
11.4 一個非基本的問題
第12章 算術運算的下界
12.1 域
12.2 再論直線狀代碼
12.3 問題的矩陣表述
12.4 面向行的矩陣乘法的下界
12.5 面向列的矩陣乘法的下界
12.6 面向行和列的矩陣乘法的下界
12.7 預處理
附錄 演演算法的C/C++代碼
參考文獻
