Knuth D.E. Art of Computer Programming. Volume 4. Fascicle 5. Mathematical Preliminaries Redux; Introduction to Backtracking; Dancing Links

Addison-Wesley Professional, 2020. — 1121 p. — ISBN: 978-0-13-467179-6.This multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The four volumes published to date already comprise a unique and invaluable resource in programming theory and practice. Countless readers have spoken about the profound personal influence of Knuth’s writings. Scientists have marveled at the beauty and elegance of his analysis while practicing programmers have successfully applied his “cookbook” solutions to their day-to-day problems. All have admired Knuth for the breadth, clarity, accuracy, and good humor found in his books. To continue the fourth and later volumes of the set, and to update parts of the existing volumes, Knuth has created a series of small books called fascicles, which are published at regular intervals. Each fascicle encompasses a section or more of wholly new or revised material. Ultimately, the content of these fascicles will be rolled up into comprehensive, final versions of each volume, and the enormous undertaking that began in 1962 will be complete.Mathematical Preliminaries Redux
Inequalities.
Martingales.
Tail inequalities from martingales.
Applications.
Statements that are almost sure, or even quite sure.
Exercises.
Combinatorial Searching
Generating All Possibilities.
Generating Basic Combinatorial Patterns.
Backtrack Programming.
Dancing links.