《計算機程式設計藝術》，簡稱 TAOCP，是美國電腦科學家高德納編著的關於計算機程式設計之七卷本著作。作者並因此獲得美國計算機協會 1974 年圖靈獎。1974 Donald E Knuth See the ACM Author Profile in the Digital Library 概述 1962 年，高德納還是個研究生的時候就開始了程式設計的工作，在攻讀博士期間，艾迪生韋斯利公司（AddisonWesley）的顧問 Richard Varga 找他出書，因課業繁忙，一時沒時間草稿。1963 年高德納獲得加州理工學院數學博士學位，開始投入撰寫工作。1968 年，當時 31 歲的高德納完成前六卷並首次出版，一口氣寫了三千多頁，自此他計劃寫 7 卷。1999 年底被《美國科學家》（American Scientist）期刊列為 20 世紀最佳 12 部學術專著之一，與狄拉克的「量子力學」、愛因斯坦的「相對論」、本華曼德博的「分形論」、鮑林的「化學鍵」、羅素和阿爾弗雷德諾斯懷海德的《數學原理》、約翰馮諾伊曼和摩根斯坦的「博弈論」、維納的「控制論」、伍德沃和霍夫曼的「軌道對稱性」、費曼的「量子電動力學」等科學史上的重要著作並列必讀經典。至 1976 年，已賣出超過一百萬冊。 任何人發現書上的錯誤，都可以向他舉發，並領取 256 美元，因為「256 美分剛好是十六進位的一美元」（256 pennies is one hexadecimal dollar）。比爾蓋茨在 1995 年說，如果你認為你是一名真正優秀的程式設計師，就去讀第一卷，確定可以解決其中所有的問題。如果你能讀懂整套書的話，請給我發一份你的簡歷。《計算機程式設計藝術》是高德納一生中最重要的事業，他寫這本書的目的是 組織和總結所知道的計算機方法的相關知識，並打下堅實的數學、歷史基礎。 同時高德納在進行第二卷的校樣時，發覺書商把他書中的數學式子排得太難看了，因此發明數學排版軟體，和字形設計系統 METAFONT。等到他再回來要寫第四冊的時候，發現他想討論的東西，現在都寫成 API 了。1992 年高德納自大學退休，處於隱居的生活，退休的原因是為了完成 TAOCP 這部鉅著，他估計大約要花 20 年來完成。第四冊預計分為 A、B、C、D 四個分卷出版，其中 A 分卷已於 2005 年和 2011 年陸續出版了平裝本和精裝本。 章節 第一冊 基礎演演算法（Fundamental Algorithms） 第一章 基本概念（Basic concepts） 第二章 資訊結構（Information structures） 第二冊 半數值演演算法（Seminumerical Algorithms） 第三章 隨機數（Random numbers） 第四章 算術（Arithmetic） 第三冊 排序與搜尋（Sorting and Searching） 第五章 排序（Sorting） 第六章 搜尋（Searching） 第四冊 組合演演算法（Combinatorial Algorithms），準備中（至 2009 年 4 月已出版五個分冊），測試版本已上載到 Knuths 的網站）。 第 4A 卷 列舉與回溯（Enumeration and Backtracking） 第七章 組合的搜尋（Combinatorial searching） 第 4B 卷 圖形與網路演演算法（Graph and Network Algorithms） 第七章 續（continued） 第 4C 及 4D（可能）卷 最佳化與遞迴（Optimization and Recursion） 第七章 續（continued） 第八章 遞迴（Recursion） 第五冊 造句演演算法（Syntactic Algorithms），計劃中（預計 2020 年完成）。 第九章 語句掃瞄（Lexical scanning） 第十章 剖析技術（Parsing techniques） 第六冊 與上下文無關語言理論（Theory of ContextFree Languages），計劃中。 第七冊 編譯器技術（Compiler Techniques），計劃中。 章節概述 第 4A 卷 列舉與回溯 7 導言（82pp） 出版於第 4 卷，第 0 分冊 71 零和一（Zeros and ones） 711 Boolean basics 88 pp 出版於第 4 卷，第 0 分冊 712 布林運算（Boolean evaluation）67 pp 出版於第 4 卷，第 0 分冊 713 Bitwise tricks and techniques 122 pp 出版於第 4 卷，第 1 分冊 714 Binary decision diagrams 150 pp 出版於第 4 卷，第 1 分冊 72 Generating all possibilities 721 Combinatorial generators（397 pp） 7211 Generating all ntuples 出版於第 4 卷 4 第 2 分冊 7212 Generating all permutations 出版於第 4 卷，第 2 分冊 7213 Generating all combinations 出版於第 4 卷，第 3 分冊 7214 Generating all partitions 出版於第 4 卷，第 3 分冊 7215 Generating all set partitions 出版於第 4 卷，第 3 分冊 7216 Generating all trees 出版於第 4 卷，第 4 分冊 7217 History and further references 出版於第 4 卷，第 4 分冊 第 4B 卷 圖論與網路演演算法 722 Basic backtrack 723 Efficient backtracking 73 Shortest paths 74 Graph algorithms 741 Components and traversal 742 Special classes of graphs 743 Expander graphs 744 Random graphs 75 Network algorithms 751 Distinct representatives 752 The assignment problem 753 Network flows 754 Optimum subtrees 755 Optimum matching 756 Optimum orderings 76 Independence theory 761 Independence structures 762 Efficient matroid algorithms 第 4C 及 4D 卷 最佳化與遞迴 77 Discrete dynamic programming（也見傳遞矩陣法） 78 Branchandbound techniques 79 Herculean tasks 又名 NPhard 問題） 710 Nearoptimization 8 遞迴（Recursion） 英文版本 當前版本 按卷排序： 第一卷 Fundamental Algorithms Third Edition Reading Massachusetts AddisonWesley 1997 xx650pp ISBN 0201896834 第一卷，第一分冊 MMIX A RISC Computer for the New Millennium AddisonWesley February 14 2005 ISBN 0201853922（will be in the fourth edition of volume 1） 第二卷 Seminumerical Algorithms Third Edition Reading Massachusetts AddisonWesley 1997 xiv762pp ISBN 0201896842 第三卷 Sorting and Searching Second Edition Reading Massachusetts AddisonWesley 1998 xiv780ppfoldout ISBN 0201896850 第四卷，第零分冊 Introduction to Combinatorial Algorithms and Boolean Functions AddisonWesley Professional April 28 2008 vi240pp ISBN 0321534964 第四卷，第一分冊 Bitwise tricks techniques Binary Decision Diagrams AddisonWesley Professional March 27 2009 viii260pp ISBN 0321580508 第四卷，第二分冊 Generating All Tuples and Permutations AddisonWesley February 14 2005 v127pp ISBN 0201853930 第四卷，第三分冊 Generating All Combinations and Partitions AddisonWesley July 26 2005 vi150pp ISBN 0201853949 第四卷，第四分冊 Generating all Trees History of Combinatorial Generation AddisonWesley February 6 2006 vi120pp ISBN 0321335708 以前版本 按出版日期排序： 第一卷，第一版，1968 年 634pp ISBN 0201038013 第二卷，第一版，1969 年，xi624pp ISBN 0201038021 第三卷，第一版，1973 年，xi723ppcenterfold ISBN 020103803X 第一卷，第二版，1973 年，xiii634pp ISBN 0201038099 第二卷，第二版，1981 年，xiii 688pp ISBN 0201038226 中譯本 《計算機程式設計藝術 第 1 卷 基本演算法》，國防工業出版社，譯者：蘇運霖，ISBN 9787118027990 《計算機程式設計藝術 卷 1 基本演算法》，第三版，人民郵電出版社，譯者：李伯民，範明，蔣愛軍，ISBN 9787115360670（出版時間：2016 年） 註釋 參考文獻 外部連結 Overview of topics Knuths personal homepage Category1968 年書籍 Category 美國非虛構作品書籍 Category 演算法分析 Category 計算機算術演算法 Category 計算機科學與技術書籍 Category 英語書籍 Category 專著