On Halloween, Donald E. Knuth (wiki) visited the University of Waterloo for a distinguished lecture, and thanks to my advisor Prof. Jeff Shallit, who arranged a lunch with him for a smaller group of people, which is how I could meet him in person. My first thought when he appeared was ‘he is quite taller than he looks in the photos’.
Whenever Knuth gives a talk, almost all of it is interactive and Q/A based. He takes all kinds of questions
(except politics and religion) from the audience. I could only appreciate all the wisdom his answers had. Almost every opinion
was accompanied by an anecdote from his own life experience. Here’s a set of things that were
brought up during the lunch and the talk (unfortunately, I forgot most of the conversations).
The public talk is now available on youtube.
Knuth believes that P = NP. This obviously needs an explanation, and I will try to present the reason based on my understanding of his argument. First let’s be clear on what it means when we say P = NP. It means that there exists an integer and an algorithm which solves every problem in the class NP of size bits in elementary steps. Now Knuth has two points:
On his honeymoon in 1961, Knuth was reading Noam Chomsky’s book Syntactic Structures, and he thinks that was a bad idea (reading it on the honeymoon, not reading it altogether). Although, it was while reading this book that he discovered an intersection between Mathematics and Computer Programming (compiler design).
Knuth is appalled by statements from people of the younger generation that go along the lines of:
“X is quite boring, which is why I study / work on Y instead.”
He says that it’s not the job of the world to entertain you. Boredom is inside you, not in the material that you work with. It is true that some people find certain things more interesting than others, and hence are more curious about it. The right thing to say would be that you are more curious about Y than X.
As Knuth says, he was a mathematician who got curious about Computer Science, but now his interests are again inclined toward pure Mathematics. The problem space concerned with families of sets seems very interesting to him currently because we haven’t still found a lot of ways to represent and work with them in a way that might help us analyze the numerous applications covered by this construct. I am not sure, but perhaps he started thinking in this direction when the data structure Zero-suppressed decision diagram (ZDD) (given by Shin-ichi Minato) came to light, which in Knuth’s words is “the best way that I know of to represent families of sets”.