Die Kunst der Computerprogrammierung ist Knuths mehrbändige Analyse von Algorithmen. Mit der Hinzufügung dieses neuen Bandes bleibt es die definitive Beschreibung der klassischen Informatik.

Band 4B, die Fortsetzung von Band 4A, erweitert Knuths Erforschung kombinatorischer Algorithmen. Diese Algorithmen sind für Software-Designer von grossem Interesse, da eine einzige gute Idee Jahre oder sogar Jahrhunderte an Computerzeit sparen kann. Das Buch beginnt mit einer Behandlung des Backtracking-Programmierens, zusammen mit einer Reihe von Datenstrukturen, deren Verbindungen erfreuliche Tänze vollführen und ideal für dieses Gebiet geeignet sind. Neue Techniken für wichtige Anwendungen wie optimale Partitionierung und Layout werden dadurch entwickelt.

Knuths Schreibstil ist verspielt, und er enthält Dutzende von Rätseln, um die Algorithmen und Techniken zu veranschaulichen, von beliebten Klassikern wie dem Kantenanpassungsspiel bis hin zu neueren Trends wie Sudoku. Freizeitmathematiker und Informatiker werden nicht enttäuscht sein.

Im zweiten Teil des Buches behandelt Knuth die Erfüllbarkeit, eines der grundlegendsten Probleme der Informatik. Innovative Techniken, die zu Beginn des einundzwanzigsten Jahrhunderts entwickelt wurden, haben zu bahnbrechenden Anwendungen in Bereichen wie optimaler Planung, Schaltungsdesign und Hardwareverifikation geführt. Dank dieser Werkzeuge sind Computer in der Lage, praktische Probleme mit Millionen von Variablen zu lösen, die vor nur wenigen Jahren als hoffnungslos galten.

Der Abschnitt Mathematische Grundlagen Redux des Buches ist ein besonderes Highlight, das grundlegende Techniken der Wahrscheinlichkeitstheorie präsentiert, die seit der ursprünglichen Diskussion der Grundlagen in Band 1 an Bedeutung gewonnen haben.

Wie in jedem Band dieser bemerkenswerten Reihe enthält das Buch Hunderte von Übungen, die Knuths geniales Bewertungssystem verwenden, wodurch es für Leser mit unterschiedlichem mathematischen Hintergrund leicht wird, geeignete Herausforderungen zu finden. Detaillierte Antworten werden bereitgestellt, um die Auffindung zu erleichtern.