Book Review: The Art of Computer Programming. Volume 4A: Combinatorial Algorithm 176
asgard4 writes "Decades in the making, Donald Knuth presents the latest few chapters in his by now classic book series The Art of Computer Programming. The computer science pioneer's latest book on combinatorial algorithms is just the first in an as-of-yet unknown number of parts to follow. While these yet-to-be-released parts will discuss other combinatorial algorithms, such as graph and network algorithms, the focus of this book titled Volume 4A Combinatorial Algorithms Part 1 is solely on combinatorial search and pattern generation algorithms. Much like the other books in the series, this latest piece is undoubtedly an instant classic, not to be missing in any serious computer science library or book collection." Keep reading for the rest of asgard4's review.
The book is organized into four major parts, an introduction, a chapter on Boolean algebra, a chapter on algorithms to generate all possibilities (the main focus of the book), and finally 300 pages of answers to the many exercises at the end of every section in the book. These exercises and answers make this work an excellent companion for teachers of a university course.The Art of Computer Programming. Volume 4A: Combinatorial Algorithms Part 1 | |
author | Donald E. Knuth |
pages | 883 |
publisher | Addison-Wesley Publishing |
rating | 9/10 |
reviewer | asgard4 |
ISBN | 0-201-03804-8 |
summary | Knuth's latest masterpiece. Almost all there is to know about combinatorial search algorithms. |
The book begins with some introductory examples of combinatorial searching and then gives various definitions of graphs and directed acyclic graphs (DAGs) since a lot of combinatorial algorithms conveniently use graphs as the data structures they operate on. Knuth's writing style is terse and to the point, especially when he presents definitions and proofs. However, the text is sprinkled with toy problems and puzzles that keep it interesting.
After the introduction, the first chapter of the book (out of only two) is titled "Zeros and Ones" and discusses Boolean algebra. Most readers that have studied computer science in some form should be intimately familiar with most of the discussed basics, such as disjunctive normal forms and Boolean functions and their evaluation. The reader might be surprised to find a discussion of such an elemental foundation of computer science in a book on combinatorial algorithms. The reason is that storage efficiency is especially important for these types of algorithms and understanding the basic storage unit of computer systems nowadays (as the decimal computer is a definite thing of the past) is of importance.
After covering the basics of Boolean algebra and Boolean functions in quite some detail, Knuth gets to the most fun part of this chapter in my opinion: the section on bitwise tricks and techniques on integer numbers. Being a software engineer in the video games industry, I recognized a lot of the techniques from my day-to-day work, such as bit packing of data and various bit shifting and bit masking tricks. There is also a discussion of some interesting rasterization-like algorithms, such as the shrinking of bitmaps using Levialdi's transformation or filling of regions bounded by simple curves. The chapter concludes with Binary Decision Diagrams that represent an important family of data structures for representing and manipulating Boolean functions. This topic was also quite interesting to me since I have never been exposed to it before.
The second and main chapter of the book is titled "Generating All Possibilities". In this particular volume of the The Art of Computer Programming series, the only subsection of the chapter in this volume is on generating basic combinatorial patterns, or more specifically generating all n-tuples, permutations, combinations, partitions, and trees. We can expect more on this topic from Knuth in his continuation in Volume 4B and beyond.
The discussion on n-tuples starts out with a lengthy focus on Gray codes, which are binary strings of n bits arranged in an order such that only one bit changes from string to string.
A quite fun example for generating all permutations presented in this part of the book is alphametics, also sometimes known as verbal arithmetic — a kind of puzzle where every letter of a word stands for a digit and words are used in equations. The goal is to assign digits to letters in such a way that the equation is correct. A classic example is SEND + MORE = MONEY (the solution is left as an exercise for the reader).
The next section deals with generating all combinations. Given a set of n elements, the number of all possible combinations of distinct subsets containing k elements is the well-known binomial coefficient, typically read as "n choose k". One of the more interesting algorithms in this section of the book to me was generating all feasible ways to fill a rucksack, which can come in quite handy when going camping.
After combinations, Knuth moves on to briefly discuss integer partitions. Integer partitions are ways to split positive integer numbers into sums of positive integers, disregarding order. So, for example 3, 2+1, and 1+1+1 are the three possible partitions of the integer 3. Knuth, in particular, focuses on generating all possible integer partitions and determining how many there are for a given number. The book continues with a concise presentation of the somewhat related topic of set partitions, which refer to ways of subdividing a set of elements into disjoint subsets. Mathematically, a set partition defines an equivalence relation and the disjoint subsets are called equivalence classes; concepts that should be familiar to any mathematics major. Again, the focus is on generating all possible set partitions and determining how many partitions can be generated.
The main part of the book closes with a discussion of how to exhaustively generate all possible trees, which is a topic that I have never given much thought to. I am familiar with generating permutations, combinations, and partitions, but have never really been confronted with generating all possible trees that follow a certain pattern. One main example used throughout this part of the book is generating all possible strings of nested parentheses of a certain length. Such strings can be represented equivalently as binary trees.
Knuth's latest book is comprehensive and almost all encompassing in its scope. It compiles an incredible amount of computer science knowledge on combinatorial searching from past decades into a single volume. As such, it is an important addition to any computer science library. This book is not necessarily an easy read and requires a dedicated reader with the intention of working through it from front to back and a considerable amount of time to fully digest. However, for those with patience, this book contains a lot of interesting puzzles, brain teasers, and almost everything there is to know on generating combinatorial patterns.
On a final note, if you don't have volumes 1-3 yet you can get all volumes in a convenient box set .
Martin Ecker has been involved in real-time graphics programming for more than 10 years and works as a professional video game developer for High Moon Studios http://www.highmoonstudios.com/ in sunny California.
You can purchase The Art of Computer Programming. Volume 4A: Combinatorial Algorithms Part 1 from amazon.com. Slashdot welcomes readers' book reviews -- to see your own review here, read the book review guidelines, then visit the submission page.
who needs this? (Score:5, Funny)
I already have the entire O'Reilly library, plus selected volumes from the "for dummies" and "...in 21 days" series. Why do we need another lousy computer book? This one doesn't even appear to cover anything useful like HTML coding or Adobe software.
Re: (Score:2)
Algorithms! We don't need no stinkin' algorithms!
Re: (Score:2)
I already have the entire O'Reilly library, plus selected volumes from the "for dummies" and "...in 21 days" series. Why do we need another lousy computer book? This one doesn't even appear to cover anything useful like HTML coding or Adobe software.
There's a Donald Knuth book for you too [knking.com]!
Re:who needs this? (Score:5, Funny)
Idiot, you obviously don't know anything about computer programming. The Art of Computer Programming is all about CONCEPTS. If you want a book to hold your hand the entire time, stick to books 'for dummies'. You are clearly the target audience for such books.
May I recommend to you the "Wooosh for Dummies" book?
Re: (Score:2)
Re: (Score:2)
Decades in the making! (Score:2, Funny)
9/10 ??? (Score:5, Insightful)
Re: (Score:2)
I think Knuth would agree that no work is ever perfect, and be satisfied with 9/10.
I once had a grad school prof who would never give perfect marks on assignments (we had weekly assignments in addition to papers and other work), for the same reason. He would even takes 1/4 marks off (out of 10) for spelling and typographical errors.
I once received an assignment back, marked 9-3/4 / 10. I hurried through the paper to find the error. Apparently there was a ribbon defect in the ribbon I used to print the fina
Re: (Score:2)
Re: (Score:3)
Marking off for spelling and typography (Score:2)
In a computer course? You betcha! If you're lucky, the compiler will find spelling errors and typos for you, and if you're not, it'll let them through to become runtime errors. When I was in college, we used the Cornell version of the PL/I compiler that auto-corrected mistakes, sometimes even correctly. (Since we were using punchcards, even having it correct them badly was helpful, because it would let more of your program run so you usually find one or two more bugs if you had any.)
Weight training for the mind (Score:2)
I think Knuth would agree that no work is ever perfect
Which doesn't harm it in the slightest. Bench pressing a barbell will give you the desired effect irrespective of whether you're a half centimetre off at extension. (The metaphor holds -- reading Knuth is weight training for the mind.)
And SEND+MORE=MONEY isn't quite right, it's off by one. SEND+MORE=MONEY-A would work.
Re: (Score:2)
What I did was to assign a simple sequence of A=1,B=2...Z=26 and sum the indices.
I *want* that book...
Re: (Score:2)
Would you mind to read the question again ?
Re: (Score:2)
The sad part is that quite possibly the only reason the book was given a 9/10 is because it is Knuth's book. Otherwise, as any other book on combinatorial algorithms, the book would never be reviewed, as the author doesn't have the faintest grasp on the subject, and this book review would be again dedicated to vacuous "learn X in n hours" books.
Re: (Score:2)
Re:9/10 ??? (Score:5, Funny)
Re: (Score:2)
Be fair - he had to generate every possible combination of characters for a 883 page book, then select the optimal one to be published. Even with a really good algorithm, that's going to take a while.
You can prune that down with a good heuristic guiding the search. You don't need to search the whole search space, it's generally good enough to work with a pretty good guess of the direction you should go to improve the book, and the algorithm will converge.
The problem is there's lots of local minima fouling up the search space. On this book, for instance, Knuth's book writing algorithm kept getting stuck in basins of angsty vampire fiction and parodies of classic literature with zombies or ninjas. He t
Have you finished learning the previous volumes? (Score:2)
As George R.R. Martin said to fans wanting to know when the next volume of "A Game of Thrones" was coming out, "I'm not your bitch."
Have you worked all the problems in the previous volumes yet, or just the easy ones?
Yeah, ok, me neither :-)
Actually, I'd probably have gotten through much more of the first three volumes if Knuth's coding style wasn't so horrible. There's MIX, which was the ugliest baroque botch of an assembler language out there when he could have taught the same lessons with a simple cl
Knuth, it may get you a job. (Score:5, Interesting)
Much like the other books in the series, this latest piece is undoubtedly an instant classic, not to be missing in any serious computer science library or book collection.
During a job interview I was given a test. Some questions/problems were good, other were not. One of the not-so-good questions presented 8 or so sorting algorithms and asked for their run time complexity (O notation). I answered bubble sort and quick sort and then added that I bought Knuth vol 3 so I didn't have to memorize such trivia. I'm not sure the engineer who created and graded the test liked the answer but the manager of the team (not an engineer) loved the answer after I explained what Knuth vol 3 was. I got hired.
Re:Knuth, it may get you a job. (Score:5, Funny)
I just tell potential employers that I ascended Nethack multiple times.
Re: (Score:2)
Don't look down on those questions. The day You try You will realize that designing good problems is *much* harder than solving them.
Re: (Score:2)
Don't look down on those questions. The day You try You will realize that designing good problems is *much* harder than solving them.
That all depends on how the questions were presented. Was it a fill in the blank style question which really is trivia, or did it ask the participant to analyze actual code and determine the complexity himself? My hunch tells me it was a memorization type question, in which case his answer was pretty clever.
Re: (Score:2)
Many companies (in the UK at least) have online pre-screening tests for candidates for C++ questions which are fairly easy to answer.
Some are a bit strange like, "What is the least number of parenthesis you can leave this equation with, and still have it function as intended?" Something like: result = ( ( a && b ) & (c || (d | e ) ^ f ) );
Presumably it's an optimization test, but really, I wouldn't want to change any piece of code unless there was something wrong with it in the first pl
Re: (Score:2)
I dunno, it looks to me like this test is about memorizing operator precedence >_>
Barring issues not mentioned in the problem statement, I'm rather inclined to let the compiler handle optimization on this.
Re: (Score:2)
I'd agree with that - operator precedence vs. parenthesis writing. In the past, the recommended practise was to put separate operations in parenthesis in case of dodgy compilers that didn't handle precedence correctly, and also to mimc mathematical notation.
Re: (Score:2)
Don't look down on those questions. The day You try You will realize that designing good problems is *much* harder than solving them.
Actually when I took that test I had already designed programming tests for job interviews at my previous employer. One of my first tasks at the new employer was to create a new test. I realize creating such tests is hard. The problem with the one I took was that the author had not really put much effort into it. It looked liked someone copied questions from undergraduate computer science quizzes.
Re: (Score:2)
That's true, but I think the question is bad on principle. I think a better question would be to give the interviewee a problem, and ask them what algorithm they'd use to solve it and why. For instance, what sorting algorithm (or data structure) would you use in the following situations, and why?
This is better because it doesn't require the person to rememb
Re: (Score:2)
Re: (Score:2)
Your answer should be "Smoothsort, how much data per item to sort, how big is each item," since two objects each containing 500GB of data would be way easier to sort than 20,0000 objects each containing 5MB of data.
Maybe that's why you can't find your job :)
Well, in fairness, mergesort is going to work pretty well in either of those situations. But I'll admit that I was assuming that the unit of data was at least smaller than a block of disk space, which is where mergesort comes in, as it can work on small amounts of data (4-8kb, or whatever the block size is for the file system), then sort those blocks by their file index, and then groups of files by their file index, and so on up the chain.
Re: (Score:2)
Re: (Score:2)
The answer to the third option is easy: anysort (tm). Sometimes you just don't care (unless you have to do many in a loop). Quicksort is probably the workhorse to use, but I would rely on the platform.
One rather interesting fact: you got those exercises at university where you had to calculate which sorting algo was more efficient given a number of elements. Of course, easier algo's may be more efficient if the set is small. But the simple fact is that most of the time, small sets are not interesting anyway
Re: (Score:3)
Re: (Score:3)
Did the position give you the opportunity to apply that knowledge?
Yes. I needed to sort data in a time critical manner. I thought about the nature of my data, mostly already sorted, consulted Knuth's summary table and tried the algorithm he identified as having good performance on data of that nature. After implementation I profiled a run with a large data set and the sorting code barely showed up, 1% execution time. Good enough, moved on to next task.
Re: (Score:3)
Excellent section on sorting. I sped up a sort program 100x using that, after much study and fine tuning. This was back in the late 70s on an 8 bit machine with 8k of RAM to play with. Several years later, we switched hardware and interviewed some clown, who, when asked what he would do, said he would allocate a 1MB array and use bubble sort. Ouch!
Re: (Score:3)
I remember when I first got to use Virtual Machines, on an IBM VM/CMS system back in the mid-late 70s. You could define a virtual machine with a whole megabyte of storage! That was as big as a quarter of the physical RAM on the whole mainframe, not that it would actually all be in core at once!
And yeah, Knuth's volume on searching and sorting was really important when computers had that kind of scale, and the principles mostly still apply even now when disk drives are the slow part and tapes don't exis
Re: (Score:2)
The sorting stuff came in handy for me when doing incredibly small sorts, ironically enough. Median filters end up being small sorts. With a 5x5 or 7x7 median filter, you've got 25 or 49 pixels and need to find the median pixel value quickly. Interestingly enough, I ended up using a combination of sorting networks and insertion sort a partially sorted pixel buffers for 7x7. (Partially sorted because the 7x7 kernel for adjacent pixels overlaps and so you can take advantage of the partial sorting in the o
Re: (Score:3)
Seriously... D-Bags who think a good engineer is someone who has memorized weird minutia should not be making decisions on hiring... and neither should HR.
-Do you have experience with software development? (a good developer can learn any language and use the correct constructs)
-Can I see code examples? (Proof of code quality)
-Please return for interview two... [call 24 hours before and ask for code for a simple program in their preferred language to be brought with them] (validation of code quality)
-You ar
Re: (Score:2)
How is calculating complexity "trivia"? Were the algorithms only described by name?
Re: (Score:2)
How is calculating complexity "trivia"? Were the algorithms only described by name?
There was no calculation of complexity. There was merely the regurgitation of the textbook run time complexity of XXXsort that assumed randomly ordered data, ignored constants, assumed a sufficiently large n, etc. It was literally something like: Q. Bubble sort? A. O(n^2).
Re: (Score:2)
You shouldn't have to memorize that stuff, you should be able to figure it out.
Re: (Score:2)
so.. since you had to explain it did you take the gig? hmm
Yes. The manager I explained it to was not a programmer. We chatted enough that day that I was able to get the impression that he was smart and reasonable.
wait a minute (Score:4, Funny)
Someone actual read The Art of Computer Programming? Are you sure it wasn't just sitting on your shelf?
Re: (Score:2)
I often found the whole focus on the MIX hypothetical machine to be counterproductive to learning the material. I always went to CLR first for anything, and to Knuth for certain things where I wanted more depth or just a different explanation. Knuth's pseudocode resonates with me fairly well, but MIX examples tended to just give me headaches. Yes, I did read the introduction, and yes I'm glad he didn't try to use any of the languages that were in vogue in 62.
Re: (Score:2)
Languages in vogue in 62? (Not that the first volume actually shipped until 68...)
Re: (Score:3)
In Real Genius... (Score:2)
In the movie Real Genius, when Jordan is guarding the hallway filled with ice, she's holding a volume of Knuth. Upside down. Sure, a bit of light reading.
So no, it's not just for sitting on the shelf. :-)
Re: (Score:2)
More Knuth is Always Welcome (Score:4, Interesting)
Knuth's books are awesome, not just for the content (which would itself be a bargain at quadruple the price) but also for the sheer intimidation factor.
However, I've got to admit: the volumes I'm most looking forward to -5, 6, and 7- are yet to come. This bothers me, because with the way Volume 4 keeps growing, I'm no longer convinced that he's going to live long enough to finish the series, not because of any slowness on his part but because the work just keeps getting bigger and bigger. Has he made arrangements for others to finish the series in case the worst happens?
Re: (Score:2)
not because of any slowness on his part
He banged out volumes 1, 2 and 3 over about 5 years. It's been nearly 40 years since then with relatively little progress. Something has slowed knuth down big time whether it is other commitments, reduction in mental capacity, inceasing complexity of the work or some combination thereof.
Re:More Knuth is Always Welcome (Score:4, Funny)
Re: (Score:2)
Re: (Score:2)
Oh yes, I wrote my MSc thesis in Latex and PhD in Word.
The biggest problem with Word was that page numbering was a pain, because the front pages have no numbering, everything from the introduction, table of contents, list of figures is page numbered in roman numerals. The rest of the chapters are numbered normally. You also need a list of special keywords which are all in italics, not forgetting that the plurals of some words are hyphenated, while the singular isn't.
With mathematical equations, matrices are
Re: (Score:2)
That something was TeX. Have you ever tried using it? We're lucky he got part A out. The entire chapter (not just part A) would have been published 30 years ago if he hadn't been dicking around with the font, margins, gutters, line breaks, etc.
Leave the poor man alone. He's just trying to build an alternative to MS Word that isn't O(n^2) ;-)
Re: (Score:2)
There was this little thing called TeX that occupied a bit of his time....
Last time I saw Knuth, he was over at Techshop making stuff on the laser cutter.
Re: (Score:2)
Re: (Score:2)
Well, according to his own website (http://www-cs-faculty.stanford.edu/~knuth/taocp.html) his plan is to finish volume 5 by 2020 and will then revisit volumes 1-3 to update them. And only then, and if he's still alive, will ge start on volumes 6 and 7, which he doesn't count as "central core of computer programming for sequential machines", though.
In his latest book collected papers on fun and games he referred to it as his last book. Hopefully his last book as in last book of the "collected papers" series.
Hope it's not a cliff hanger (Score:2)
Decades in the making, and all he can complete is Volume 4A part 1. How long for part 2? Will we ever see 4B?
Re: (Score:2)
Decades in the making, and all he can complete is Volume 4A part 1. How long for part 2? Will we ever see 4B?
All I can say: we'll see it after DNF is released... marketing reasons: too many miracles in the same time come with risk of trivializing them.
There's a bit of an in- joke in the name. (Score:2)
Or were you pointing that out?
Combinatorics and Permutations! (Score:2)
I never read things like this (Score:2)
Re: (Score:3)
Your comment makes me sad. You're missing so much really beautiful stuff that will help you in ways that you can't even imagine, and you don't even know it.
Re: (Score:3)
Re: (Score:2)
Good point.
The pipefitter may admire and envy the sculptor, but the pipefitter that tries arranging the plumbing into something like a Highfield [annawilihighfield.com] is the pipefitter that loses his job and his union card.
Still, I don't think you should just walk away from Knuth, even if it doesn't pay the bills. Some parts of Knuth are art. Some parts of Knuth are more like craft. Some parts of Knuth is just basic workmanship. I recommend reading it for your own edification, just like the pipefitter may want to be an amateur s
Re: (Score:2)
Re: (Score:2)
Yup. If you're boss doesn't understand it, you can't use it. Or at least not make it central to your architecture. Trying to put in anything advanced is met with condescension at best.
Besides all that, most of what the work in the real world is just MVC, DAO, with an occasional webservice, or AJAX thing thrown in. If our clients can benefit from more, the people selling our service can't explain it anyway.
Re: (Score:2)
I think if your boss either can't trust you to make good decisions or has such an ego problem that he can't stand the idea that you're smarter than him, you should really find another job.
There is definitely something to be said for maintainability, though. "Debugging is twice as hard as writing code in the first place, so if you code as cleverly as possible, you're by definition not smart eno
Re: (Score:2)
Yeah. I remember when I was running the machines that some physicists were using to do a networking simulation. Their core loop was grunging through a linked list to find the next event. I was disappointed that turning it into a heap only tripled the speed of the whole application, but the data set was large enough that the machine had to page it in and out, and there were other parts of the program that took time also, but until we fixed the event list, they weren't the dominant time-wasters.
Combines all the Volume 4 fascicles (Score:5, Informative)
This new book combines all of the previously-published Volume 4 fascicles from 2005 to 2009, all of which I bought last year and am still reading. Those fascicles are:
All the volumes combined are a true masterpiece for the computer science community. I do not know of many other fields in the sciences where the core ideas, both theoretical and practical, are wrapped up so well. The only comparison I know of is The Merck Manual for physicians. If anyone knows of definitive and comprehensive readings for other engineering fields like EE, CivilE, or ChemE, I'd like to know of them.
Re: (Score:3)
If anyone knows of definitive and comprehensive readings for other engineering fields like EE, CivilE, or ChemE, I'd like to know of them.
Closest I've got for EE is either the classic "Art of Electronics" or an ARRL handbook...
Re: (Score:2)
Closest I've got for EE is either the classic "Art of Electronics" or an ARRL handbook...
Completely agree on "The Art of Electronics". I'm curious what other people mention. My go-to books as an ECE are TAOCP, TAOE, and "Introduction to Algorithms" by Rivest et. al.
On the second tier are "The Practice of Programming" by Kernighan & Pike, "Hacker's Delight" by Warren, "The Pragmatic Programmer" by Hunt & Thomas, and a bunch of even more specific books on DSP, Stoch, and C. But these are a bit more subject specific and 'opinion' then reference a la the first tier.
Re: (Score:2)
Re: (Score:2)
For a while, Resnick & Halliday was the mecca for Physics, and Morrison & Boyd for Organic Chem. Can't really speak to other areas.
Re: (Score:2)
"Molecular Biology of the Cell" (colloquially: The Cell), is kind of like TAoP for cell biology. It's not short though. But combining all the TAoP Volume 4 Fascicles together, you are already at a large fraction of the amount of pages in The Cell. So I guess it's what you are looking for.
The order he wrote them in -- (Score:2)
If you don't understand the combinatorial stuff, how do you follow calculating the order of a sort?
Re: (Score:2)
Re: (Score:2)
When I was in undergrad everyone referred to Calculus - Vol I and II by Tom M. Apostol as the mathematician's bible.
Damn it (Score:2)
Re: (Score:2)
easy problem is easy (Score:2)
SEND + MORE = MONEY
0001 + 0001 = 00010
The Art Of Cheating, Problem?
Re: (Score:3)
You set E to both 0 and 1.
Re: (Score:2)
I think he thought those were three variable names. Or was joking around like they were.
Re: (Score:2)
no no, i forgot about the first E :)
Re: (Score:2)
So E represents 0 and/or 1?
Re: (Score:2)
Re: (Score:3)
More like the Art of Failing, in your case.
Re: (Score:2)
LOL ok, let's try again
SEND + MORE = MONEY
0000 + 0000 = 00000
Partition Numbers in the News (Score:4, Interesting)
Knuth on the Bible (Score:4, Interesting)
I respect Knuth for his stand that a man of such technical sophistication does not have to be at odds with faith. In fact, he wrote a pictorial Bible study:
http://www.amazon.com/3-16-Bible-Texts-Illuminated/dp/0895792524
Knuth as quoted from a reviewer:
"it's tragic that scientific advances have caused many people to imagine that they know it all, and that God is irrelevant or nonexistent. The fact is that everything we learn reveals more things that we do not understand... Reverence for God comes naturally if we are honest about how little we know."
Re: (Score:3, Insightful)
More to follow? (Score:2)
The dude is 73 years old. There's a good chance we won't see any more volumes from him considering how long this one took. There was a fair amount of doubt that 4a would ever see print.
Now if we can just get those hyperlongevity + brain mapping technologies working...
28 years (Score:5, Interesting)
Back in 1983, when I was still in school, I published an article in Dr. Dobb's Journal on how to perform various binary operations efficiently. I also sent a letter to. Knuth describing one algorithm in particular: An efficient means of calculating a weighted sum of the bits in a word.
The minute I put the letter in the mailbox I regretted bothering Knuth with such a trivial matter. I was greatly relieved when there was no response; I assumed the letter had circular-filed.
Then about three years ago I got a phone call from someone working with Knuth. They informed me that after 25 years my letter was about to become an exercise in volume 4A, and asking how I wanted my name to appear in the index. And now the book is out, and there it is: Section 7.1.3, exercise 44.
It goes without saying that I was delighted by what happened. But even more than that, I am in awe of the level of scholarship behind this work, where such a little thing as this algorithm was tracked for almost three decades.
If anyone has Donald's ear, please ask him... (Score:2)
Knuth volumes are approachable and practical (Score:3)
They'll be a nice addition to the other pristine volumes on your "personality bookshelf" ...
Be forewarned. Some of us who have fairly pristine looking copies today once pooled resources and read a shared copy back in the day.
Only students of advance academic computing theory can actually glean anything from them ... Very different for our "instructables" DIY culture.
I think it is a little more approachable than you suggest. I read it sophomore year of a computer science program, while some proofs were beyond my abilities the concepts and algorithms were not. Basically these volumes can be used as practical references to algorithms and concepts. Part of the popularity of the books is due to its making grad school level work practical, you
Re:only for a select few (Score:4, Insightful)
I never could get more than 10-20 pages into Gravity's Rainbow. And you left out A Brief History of Time.
I forget whether the "advanced academic computing theory" course I first used Knuth in was "CS100" or "CS201", probably the latter. But that was 30+ years ago, and kids these days get to college having been exposed to a bit more than BASIC in high school. And self-taught programmers these days probably don't bother with assembler language unless they're trying to automate toasters (so the "instructables" DIY crowd) or write viruses.
Re: (Score:3, Funny)
Re: (Score:2)
The first time I heard about Gray codes, was when our local computer club had a visit to an oil company. They had some old oil rig weather stations with the anenometer disassembled. Right inside the (previously) hermetically sealed weatherproof case of the weather vane was this six inch steakpunk copper wheel with a crazy zig-zag pattern. It was actually a Gray code pattern used for determining the wind direction to 10+ bit precision.
Re: (Score:2)
No, no, no. You're thinking of a guy who writes books on topology, seamanship and berry farms. We're talking Knuth here.