定 價(jià):24 元
叢書(shū)名:普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材
- 作者:朱大銘,馬紹漢 著
- 出版時(shí)間:2009/1/1
- ISBN:9787040258714
- 出 版 社:高等教育出版社
- 中圖法分類:TP301.6
- 頁(yè)碼:244
- 紙張:膠版紙
- 版次:1
- 開(kāi)本:16開(kāi)
《算法設(shè)計(jì)與分析》是普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材。
《算法設(shè)計(jì)與分析》以算法設(shè)計(jì)策略為知識(shí)單元,系統(tǒng)地介紹計(jì)算機(jī)算法的設(shè)計(jì)方法與分析技巧,以期為計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的學(xué)生提供廣泛而堅(jiān)實(shí)的計(jì)算機(jī)基礎(chǔ)知識(shí)。主要內(nèi)容包括算法分析技術(shù),算法設(shè)計(jì)技術(shù),P類,NP類及NPC類,證明問(wèn)題屬于NPC類的技術(shù),NPC問(wèn)題子問(wèn)題的復(fù)雜性,擬多項(xiàng)式變換和圖靈歸約,NP-難解問(wèn)題近似算法,近似算法設(shè)計(jì)技術(shù),等等。
《算法設(shè)計(jì)與分析》包括了算法與復(fù)雜性領(lǐng)域的主要內(nèi)容,可以作為高等學(xué)校計(jì)算機(jī)專業(yè)高年級(jí)本科生和研究生學(xué)習(xí)計(jì)算機(jī)算法設(shè)計(jì)的教材,也可供廣大工程技術(shù)人員和自學(xué)者學(xué)習(xí)參考。
計(jì)算機(jī)是一種現(xiàn)代化的信息處理工具,它對(duì)信息進(jìn)行處理并提供所需結(jié)果,其結(jié)果取決于所接受的信息及相應(yīng)的處理算法。算法是以計(jì)算機(jī)能夠理解的語(yǔ)言描述的解題過(guò)程。當(dāng)算法作用于所求解問(wèn)題的給定輸入集或作用于問(wèn)題自身的描述上,將產(chǎn)生唯一確定的有限動(dòng)作序列。此序列或終止于給定問(wèn)題的解,或終止于對(duì)此輸入信息無(wú)解。對(duì)于給定的問(wèn)題,基于對(duì)其的深刻理解,可設(shè)計(jì)出解答該問(wèn)題的一個(gè)算法。在這個(gè)意義上,設(shè)計(jì)算法是將有關(guān)問(wèn)題的知識(shí),轉(zhuǎn)化為解決問(wèn)題的智慧。知識(shí)誠(chéng)可貴,智慧價(jià)更高。設(shè)計(jì)算法就是揭示所研究問(wèn)題的基本特征,以尋求其解答策略的過(guò)程,這是一項(xiàng)艱苦的創(chuàng)造性工作。
對(duì)于給定的問(wèn)題,有可能設(shè)計(jì)出多個(gè)算法,但不同的算法質(zhì)量會(huì)不一樣。衡量算法質(zhì)量的主要因素是算法執(zhí)行所耗費(fèi)的時(shí)間和所需存儲(chǔ)空間,以及算法適用范圍等。對(duì)算法質(zhì)量的分析研究稱為算法分析。算法設(shè)計(jì)和算法分析是計(jì)算機(jī)科學(xué)的核心基礎(chǔ)。國(guó)內(nèi)外大學(xué)的計(jì)算機(jī)專業(yè)中,都將“算法設(shè)計(jì)與分析”作為專業(yè)基礎(chǔ)課。
近半個(gè)世紀(jì)以來(lái),算法研究始終是計(jì)算機(jī)科學(xué)的一個(gè)研究熱點(diǎn)。以E.W.Dijkstra、S.A.Cook、R.M.Karp、J.H.Hopcroft及R.E.Tarjan等為代表的一批計(jì)算機(jī)科學(xué)家,以創(chuàng)造性工作推動(dòng)著算法研究不斷深入發(fā)展。在研究過(guò)程中,算法理論研究與軟件技術(shù)研究之間產(chǎn)生了鴻溝,使得算法研究缺乏足夠的實(shí)驗(yàn)支持,而實(shí)驗(yàn)工作又沒(méi)有充分的理論分析。這種現(xiàn)狀引起了人們的憂慮。在1996年的ACM計(jì)算理論學(xué)術(shù)年會(huì)(STOC‘96)上,一些計(jì)算機(jī)科學(xué)家提出“算法工程”的概念,強(qiáng)調(diào)研究算法實(shí)現(xiàn)技術(shù)的重要性,呼吁算法研究者應(yīng)重視理論與實(shí)踐的結(jié)合,將算法設(shè)計(jì)、分析、實(shí)現(xiàn)、測(cè)試及改進(jìn)等過(guò)程一體化、工程化。這種研究思路越來(lái)越受到人們的關(guān)注,促使算法研究健康發(fā)展。
本書(shū)原稿寫(xiě)于20世紀(jì)80年代中期、筆者在山東大學(xué)為計(jì)算機(jī)專業(yè)研究生講授“算法設(shè)計(jì)與分析”課程期間,先后幾經(jīng)修改,于1992年定稿并由山東大學(xué)出版社正式出版。此后一直使用本書(shū)作為計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的學(xué)位課教材,由筆者和朱大銘教授共同為研究生講授,效果尚好。經(jīng)過(guò)20多年的研究沉淀,算法設(shè)計(jì)與分析雖然沒(méi)有太多變遷,但其研究?jī)?nèi)容更加豐富和成熟。這期間我們始終堅(jiān)持在這個(gè)研究方向上從事教學(xué)和科研工作,連續(xù)主持了10多項(xiàng)國(guó)家自然科學(xué)基金課題,培養(yǎng)了一批博士、碩士研究生。為適應(yīng)培養(yǎng)創(chuàng)新型人才的需要,經(jīng)過(guò)反復(fù)醞釀,決定由朱大銘教授執(zhí)筆,重新修改編著這本書(shū),增加近10年來(lái)的研究成果,使之能反映21世紀(jì)以來(lái)算法設(shè)計(jì)與分析的研究現(xiàn)狀?梢哉f(shuō),本書(shū)是山東大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院兩代人堅(jiān)持不懈、刻苦努力完成的。在本書(shū)寫(xiě)作過(guò)程中,得到朱洪教授的指導(dǎo)和幫助,在此表示感謝。
本書(shū)主要面向計(jì)算機(jī)相關(guān)專業(yè)的高年級(jí)本科生和研究生。全書(shū)共分8章,其中:第1、2章討論算法分析技術(shù)和算法設(shè)計(jì)技術(shù);第3、4、5、6章論述NP-完全性理論,特別強(qiáng)調(diào)多項(xiàng)式變換和多項(xiàng)式圖靈歸約的方法及應(yīng)用;第7章論述NP-難解問(wèn)題近似算法的基本概念和設(shè)計(jì)NP-難解問(wèn)題近似算法的基本方法;第8章討論近似算法設(shè)計(jì)的基本理論與技術(shù)。
算法研究是一項(xiàng)富有挑戰(zhàn)性的工作,對(duì)提高計(jì)算機(jī)學(xué)科的研究水平極為重要,希望能有更多的有識(shí)之士投身這項(xiàng)工作。由于我們學(xué)術(shù)水平有限,本書(shū)內(nèi)容必有疏漏、欠妥、謬誤之處,敬請(qǐng)讀者指正。
第1章 算法分析技術(shù)
1.1 算法及其復(fù)雜性
1.2 漸近估計(jì)技術(shù)及基本規(guī)則
1.3 遞歸算法分析
1.3.1 合并排序算法分析
1.3.2 一類遞推方程的一般解
1.4 大整數(shù)相乘的遞歸算法
1.5 練習(xí)
第2章 算法設(shè)計(jì)技術(shù)
2.1 分而治之
2.2 貪心技術(shù)
2.3 動(dòng)態(tài)規(guī)劃
2.4 回溯技術(shù)
2.4.1 對(duì)策樹(shù)搜索與a/p-刪除
2.4.2 一般樹(shù)的回溯搜索與分支定界
2.5 局部搜索技術(shù)
2.6 練習(xí)
第3章 P類、NP類及NPC類
3.1 問(wèn)題與算法
3.2 確定型圖靈機(jī)與P類
3.3 非確定型計(jì)算與NP類
3.4 多項(xiàng)式變換與NPC類
3.5 庫(kù)克定理
3.6 練習(xí)
第4章 證明問(wèn)題屬于NPC類的技術(shù)
4.1 基本的NPC問(wèn)題
4.2 證明NP-完全性的典型技術(shù)
4.2.1 限制技術(shù)
4.2.2 局部替換技術(shù)
4.2.3 分支設(shè)計(jì)技術(shù)
4.3 練習(xí)
第5章 NPC問(wèn)題子問(wèn)題的復(fù)雜性
5.1 2SAT問(wèn)題屬于P類
5.2 幾個(gè)NPC問(wèn)題在三角化圖上的解
5.2.1 三角化圖的特征
5.2.2 用字典編輯廣度優(yōu)先搜索識(shí)別三角化圖
5.2.3 三角化圖上著色、團(tuán)、獨(dú)立集及團(tuán)覆蓋問(wèn)題的算法
5.3 子問(wèn)題中P和NPC的分界
5.4 練習(xí)
第6章 擬多項(xiàng)式變換和圖靈歸約
6.1 判定問(wèn)題、語(yǔ)言和編碼方案
6.2 擬多項(xiàng)式時(shí)間算法和強(qiáng)NPC類
6.3 用擬多項(xiàng)式變換證明強(qiáng)NP-完全性
6.4 復(fù)雜性類之間的關(guān)系
6.5 圖靈歸約和NP-難解問(wèn)題
6.6 練習(xí)
第7章 NP-難解問(wèn)題近似算法
7.1 近似算法及其性能評(píng)估
7.2 近似算法設(shè)計(jì)
7.2.1 滿足三角不等式的貨郎問(wèn)題及其近似算法
7.2.2 滿足三角不等式的貨郎問(wèn)題的最小生成樹(shù)算法
7.2.3 多任務(wù)排工問(wèn)題的近似算法
7.2.4 獨(dú)立任務(wù)排工問(wèn)題
7.3 NP-難解問(wèn)題可近似計(jì)算復(fù)雜性
7.4 多項(xiàng)式時(shí)間近似方案
7.5 練習(xí)
第8章 近似算法設(shè)計(jì)技術(shù)
8.1 組合技術(shù)
8.1.1 MaxSAT問(wèn)題
8.1.2 Maxk-SAT問(wèn)題
8.1.3 圖頂點(diǎn)覆蓋問(wèn)題
參考文獻(xiàn)