80岁的Donald Knuth，仍在寻找TAOCP的解决方案

未分类

Donald Knuth是算法和程序设计技术的先驱者，也是计算机排版系统TEX和METAFONT的发明者，今天任何想要发表数学科学的学者都不能忽视Knuth的排版系统TEX，在经过了40多年的发展之后，它仍然是许多科学期刊和会议中让公式格式标准的软件。

《计算机程序设计的艺术》（TAOCP）是计算机科学的圣经，而本书的作者Donald Knuth也因此成为半个多世纪以来计算机发展的关键人物，他是一位伟大的数学家，也被誉为“人工智能之父”。但他一直以来对《计算机程序设计的艺术》一书的质量不满意，他是一个完美主义者，Knuth从一开始就为那些帮他找到书中错误的读者给予回报，发现内容错误的给予2.56美元，发现细节问题如逗号或印刷错误的给予32美分。

一位匿名的读者写道：

24岁的Donald Knuth在开始写《计算机程序设计的艺术》时，他并不知道56年后他还在为此工作，这个月，他在瑞典庆祝他的80岁生日，并世界首演了Knuth的“幻想启示录”，这是一个基于圣经“启示录”的管风琴和录像带的多媒体作品，Knuth称其为“制作了50年的作品”。

Knuth还指出最近以平装书形式出版的《计算机程序设计的艺术》最重要的部分之一的第4卷，第6册：Satisfiability 中的一个问题（给定一个布尔函数，它的变量是否可以设置至少为0或1中一个，使函数成立？）

下面是一段来自封底的摘录：

解决这些问题的革命性方法出现在二十一世纪初，而且他们已经导致了游戏行业应用的改变，这些所谓的“STA解决者”现在可以通过常规的方法找到涉及数百万变量的实际问题的解决方案，那些问题在不久以前还被认为是天大的难题。

Knuth在他的网站上写道“在一些值得注意的场景下，没有任何人指出其中的错误......”，他还补充道：“我最担心的原因是，没有人有足够的动力去检查出这些问题。”他打印一本没有经过充分审查的精装版，会感到不自在，“我想在这里请求一些读者明确地告诉我，‘亲爱的Don，我已将仔细阅读N的练习题和它的答案了，我确认它100%正确’（N是他在网站上列出的练习题之一）。

他在其他地方写道，两个“预分册”5A和5B也可用于alpha测试，我把它们放在网上主要是为了让这个领域的专家能够在我把这些内容交给更多读者之前对其进行检查，但是，如果你想帮忙调试它们，请继续。

随着计算机科学的爆炸性发展，TAOCP从第四卷开始，已经出现了4A、4B、4C和4D的子卷和其他在平装书上发表为“beta测试”的部分，TAOCP的特殊之处在于其深度，但Knuth只是想把正文中的要点讲出来，并把练习外包出去，然而他不相信那些有时间的人会愿意为书中的所有的问题寻求解决方案，单就第4卷，就有500页的文本，包括练习和300页的解决方案，对一些人来说，一次性通过TAOCP就是一个目标。

有读者评论，很多人都说TAOCP是一部伟大的作品，但是读完这本书，会感到很失望，它虽然没有那么糟糕，但是也没有人们赞赏的那样，维基百科里文章相对来说更全面、更易懂、更实用。这就好比有人评价：“我不知道为什么每个人都说莎士比亚如此伟大，他的作品只是一大堆著名语录的集合罢了。”也有读者认为他的书很难读，但这是因为书只是理论，它需要的是自己的思考和实践。