算法學(xué)：計(jì)算精髓（翻譯版 第三版）

　　本書主要論述計(jì)算機(jī)科學(xué)的基本概念、思想、方法和結(jié)果。全書內(nèi)容由 5個(gè)部分組成?！邦A(yù)備知識(shí)”部分包括算法學(xué)中的基本概念、算法結(jié)構(gòu)、算法所操縱的數(shù)據(jù)以及描述算法所用的程序設(shè)計(jì)語(yǔ)言?！胺椒ê头治觥辈糠职ㄋ惴ㄔO(shè)計(jì)的方法、算法的正確性和效率、評(píng)價(jià)算法的方法。“局限性和健壯性”部分包括可執(zhí)行算法的固有局限性以及實(shí)現(xiàn)這些算法的計(jì)算機(jī)的固有局限性、不可計(jì)算性和不可判定性、算法學(xué)的通用性及其健壯性。此外，還討論了并發(fā)模型、并行模型以及密碼學(xué)中的一些根本性的問(wèn)題，并且介紹了反應(yīng)式系統(tǒng)和分布式系統(tǒng)以及計(jì)算機(jī)與人工智能（human intelligence）之間的關(guān)系。這是唯一一本從全新的視角來(lái)系統(tǒng)地闡述計(jì)算機(jī)科學(xué)中根本問(wèn)題的書籍。通過(guò)形象的比喻來(lái)描述算法和計(jì)算理論中的一些富有挑戰(zhàn)性的問(wèn)題。本書力圖用最精煉的數(shù)學(xué)語(yǔ)言闡述算法和數(shù)據(jù)結(jié)構(gòu)、圖靈機(jī)、有限自動(dòng)機(jī)、不可判定性、不可計(jì)算性、復(fù)雜度、NP完全性、并行算法、概率算法等概念，同時(shí)又不失論述的嚴(yán)謹(jǐn)性，使一般讀者易于理解和掌握。本書適合作為高等學(xué)校計(jì)算機(jī)專業(yè)本科高年級(jí)和研究生“算法學(xué)”課程的教材，也可作為從事軟件開(kāi)發(fā)、系統(tǒng)分析、系統(tǒng)設(shè)計(jì)等專業(yè)人員的參考書。此外，也可供算法和計(jì)算理論的愛(ài)好者和參加各種編程大賽的選手參考使用。

　　霍紅衛(wèi)，博士。現(xiàn)為西安電子科技大學(xué)計(jì)算機(jī)學(xué)院教授。主要研究方向：算法設(shè)計(jì)與分析、并行與分布式算法、進(jìn)化算法、隨機(jī)算法、圖算法、因特網(wǎng)算法、包／流分類算法以及生物信息學(xué)中的優(yōu)化算法等。出版多部算法方面的著作和譯著。發(fā)表算法相關(guān)的論文50余篇。主持過(guò)國(guó)家自然科學(xué)基金、國(guó)家預(yù)研、國(guó)內(nèi)大型通信公司的多項(xiàng)科研項(xiàng)目。