的確,中文書名建構式演算法,實在不怎麼響亮,而且在建構式數學已經被污名化的今日,這樣的書名實在是讓人很難不看低這本書。
但是在我的眼裡,這本書不同的地方可多著咧。
首先,作者的來頭不一般,這本書的作者 Udi Manber 可不是蛋頭型的學者,他不僅在學術上的成就卓著,是演算法界大師級的學者,他還是一個活力十足的行動派。 Udi Manber 是agrep 和 GLIMPSE 的(共同)作者。agrep 是他和吳昇(他的著作)老師在九零年代初共同發展的,他們共同寫作的 Agrep - A Fast Approximate Pattern-Matching Tool,依照 Google Scholar 的搜尋結果,被引用次數達到 143 次,以一篇年紀這麼大的文章,被引用次數達到這個程度,是很不容易的。簡單說,他是搜尋引擎相關技術演算法的先驅者之一。
離開學界,進入產業界,他也是一條過江猛龍。1998 年,他加入雅虎,職位是 chief scientist ;2002 年,他加入亞瑪遜網路書店,擔任 chief algorithms officer,這個 CAO 職位,還引起 IT 媒體界一陣騷動,紛紛評論這個職位對於企業的意義和影響(impact)。在 Amazon 期間,他還是搜尋引擎 A9 的 CEO。後來,毫不令人意外地,他在 2006 年加入了 Google ,擔任工程部門的副總裁(之一),當我在媒體上看到 Google Snatches A9 Chief 的新聞標題, 心裡不由得覺得又是這樣,有股淡淡的憂傷在心頭走過。
其次,另外一個特別的地方是,這本書用了整整一章的篇幅,介紹數學歸納法(mathematical induction)。數學歸納法是一個非常重要的證明技法,這個方法衝破思考的侷限,將思考的限制從有限,推展到無限的領域。思考範圍的突破,是數學歸納法很重要的貢獻,而且掌握數學歸納法的證明形式與技法,對於掌握邏輯推演的技巧,也有不小的貢獻。
很可惜,國內除了數學科系之外,鮮少在課堂上針對數學歸納法,作深刻透徹的說明,所以許多學習數學歸納法的學生,很難真正理解這個證明技法在學習上的意義,更別談從這裡發展出「作」證明題的一套適合個人的思路。所以,這本書的寫作思路,和其它的演算法書籍,的確是不同的。接下來,我想應該花點時間整理數學歸納法了吧(待續,stay tuned ...)。
No comments:
Post a Comment