Кіріспе
Дональд Кнут алгоритмдері туралы кітаптар. «Компьютерлік бағдарламалау өнері» (TAOCP) – компьютерлік ғалым Дональд Кнуттың бағдарламалау алгоритмдері мен олардың талдауын ұсынатын толық монографиясы. 1–5 томдар жүйелі машиналар үшін компьютерлік бағдарламалаудың орталық ядросын құрайды. Кнут 1962 жылы жобаны бастағанда, оны он екі тараудан тұратын бір кітап ретінде жоспарлаған. Бұл жоба жеті томдық жинақ болады деп күтілген алғашқы үш том 1968, 1969 және 1973 жылдары жарық көрді. 4-томға жұмыс 1973 жылы басталды, бірақ 2-томның екінші басылымына байланысты баспаға дайындау жұмыстары үшін 1977 жылы тоқтатылды. 4А томның соңғы нұсқасы 2001 жылы қолмен жазыла бастады, ал алғашқы онлайн-жазба 2А 2001 жылы жарияланды. 4-томның алғашқы бөлігі 2005 жылы «Fascicle 2» деген атпен баспа түрінде шықты. 4-томды біріктіретін 4A том, 0–4 фасциклдері 2011 жылы жарық көрді. 4-том, 6-фасцикл («Қанағаттандыру») 2015 жылдың желтоқсанында, ал 4-том, 5-фасцикл («Математикалық алдын ала тексерулер; кері іздеу; байланысты тізбектер») 2019 жылдың қарашасында жарық көрді. 4B том 5 және 6-фасциклдерден алынған материалдан тұрады. Қолжазба 2022 жылдың 1 тамызында баспаға жіберілді және том 2022 жылдың қыркүйегінде жарық көрді. 4C томы үшін жоспарланған 7-фасцикл 2022 жылдың 3 тамызында Кнуттың баяндамасының тақырыбы болды.
The Art of Computer Programming (TAOCP) is a comprehensive monograph written by the computer scientist Donald Knuth presenting programming algorithms and their analysis. Volumes 1–5 are intended to represent the central core of computer programming for sequential machines. When Knuth began the project in 1962, he originally conceived of it as a single book with twelve chapters. The first three volumes of what was then expected to be a seven volume set were published in 1968, 1969, and 1973. Work began in earnest on Volume 4 in 1973, but was suspended in 1977 for work on typesetting prompted by the second edition of Volume 2. Writing of the final copy of Volume 4A began in longhand in 2001, and the first online pre fascicle, 2A, appeared later in 2001. The first published installment of Volume 4 appeared in paperback as Fascicle 2 in 2005. The hardback Volume 4A, combining Volume 4, Fascicles 0–4, was published in 2011. Volume 4, Fascicle 6 ("Satisfiability") was released in December 2015; Volume 4, Fascicle 5 ("Mathematical Preliminaries Redux; Backtracking; Dancing Links") was released in November 2019. Volume 4B consists of material evolved from Fascicles 5 and 6. The manuscript was sent to the publisher on August 1, 2022, and the volume was published in September 2022. Fascicle 7, planned for Volume 4C, was the subject of Knuth's talk on August 3, 2022.
Кітаптағы жинақтау тілі
Кітаптағы барлық мысалдар "MIX ассемблер тілі" деп аталатын тілді қолданады, ол гипотетикалық MIX компьютерінде жұмыс істейді. Қазіргі уақытта MIX компьютері RISC нұсқасы болып табылатын MMIX компьютерімен ауыстырылуда. GNU MDK сияқты бағдарламалық құралдар MIX архитектурасын эмуляциялауға мүмкіндік береді. Кнут алгоритмдердің жылдамдығы мен жадты пайдалануын бағалау үшін ассемблер тілін қажет деп санайды.
Сыни жауап
Кнут 1974 жылы «алгоритмдерді талдаудағы маңызды үлесі үшін, әсіресе осы атаумен үздіксіз сериядағы танымал кітаптары арқылы «компьютерлік бағдарламалау өнеріне» қосқан үлесі үшін» Тьюринг сыйлығымен марапатталды. «Американский ғалым» журналы бұл еңбекті «ХХ ғасыр ғылымын қалыптастырған 100-ге жуық кітаптың» қатарына қосты. 1-томның үшінші басылымының мұқабасында Билл Гейтс: «Егер сіз өзіңізді шынымен жақсы бағдарламашы деп есептесеңіз, (Кнуттың) «Компьютерлік бағдарламалау өнерін» оқыңыз. Егер сіз мұның бәрін оқи алсаңыз, әлбетте маған өтініш жіберіңіз» деген сөздер келтірілген. «Нью-Йорк Таймс» газеті бұл еңбекті «кәсіптің шешуші еңбегі» деп атады.
Фасциклдер
4-том, 0–4 мақалалар қайта қаралып, 4А том ретінде жарияланды. 4-том, 0-фасцикл: Комбинаторлық алгоритмдер мен Буль функцияларына кіріспе. (Addison Wesley Professional, 2008 04 28) vi+240бет, Errata: (2011 01 01). 4-том, 1-фасцикл: Биттік амалдар мен техникалар; Бинарлық шешім диаграммалары. (Addison Wesley Professional, 2009 03 27) viii+260бет, Errata: (2011 01 01). 4-том, 2-фасцикл: Барлық топтамалар мен пермутацияларды жасау. (Addison Wesley, 2005 02 14) v+127бет, Errata: (2011 01 01). 4-том, 3-фасцикл: Барлық комбинациялар мен бөліктерді жасау. (Addison Wesley, 2005 07 26) vi+150бет, Errata: (2011 01 01). 4-том, 4-фасцикл: Барлық ағаштарды жасау; Комбинаторлық ұрпақтың тарихы. (Addison Wesley, 2006 02 06) vi+120бет, Errata: (2011 01 01). 4-том, 5–6 фасциклдар қайта қаралып, 4B том ретінде жарияланды. 4-том, 5-фасцикл: Математикалық алғышарттарды қайта қарау; Артқа қарай іздеу; Билейтін сілтемелер. (Addison Wesley, 2019 11 22) xiii+382бет, Errata: (2020 03 27). 4-том, 6-фасцикл: Қанағаттандыру. (Addison Wesley, 2015 12 08) xiii+310бет, Errata: (2020 03 26).
Volume 4, Fascicle 6: Satisfiability. (Addison Wesley, 2015 12 08) xiii+310pp, Errata: (2020 03 26)