來源：http://lucida.me/blog/on-learning-algorithms/
# 關於
嚴格來說，本文題目應該是我的數據結構和算法學習之路，但這個寫法實在太繞口——況且CS中的算法往往暗指數據結構和算法（例如 算法導論 指的實際上是 數據結構和算法導論），所以我認為本文題目是合理的。
# 這篇文章講了什麼？
1.我這些年學習數據結構和算法的總結。
2.一些不錯的算法書籍和教程。
3.算法的重要性。
# 初學
第一次接觸數據結構是在大二下學期的數據結構課程。然而這門課程並沒有讓我入門——當時自己正忙於倒賣各種MP3和耳機，對於這些課程根本就不屑一顧——反正最後考試劃個重點也能過，於是這門整個計算機專業本科最重要的課程就被傻逼的我直接忽略過去了。
直到大三我才反應過來以後還要找工作——而且大二的折騰證明了我並沒有什麼商業才能，以後還是得靠碼代碼混飯吃，我當時驚恐的發現自己對編程序幾乎一無所知，於是我給自己制訂了一個類似於建國初期五年計劃的讀書成長計劃，其中包括C語言基礎、數據結構以及計算機網絡等方面的書籍。
讀書計劃的第一步是選擇書籍，我曾向當時我覺得很牛的 “學長” 和 “大神” 請教應該讀哪些算法書籍，”學長”們均推薦算法導論，還有幾個”大神”推薦計算機程序設計藝術（現在我疑心他們是否翻過這些書），草草的翻了下這兩本書發現實在看不懂，但幸運的是我在無意中發現了 豆瓣 這個神奇的網站，裡面有很多質量不錯的書評，於是我就把評價很高而且看上去不那麼嚇人的計算機書籍都買了下來——事實證明豆瓣要比這些”學長”或是”大神”靠譜的多得多。
# 數據結構與算法分析——C 語言描述
數據結構與算法分析——C 語言描述 是我學習數據結構的第一本書：當時有很多地方看不懂，於是做記號反覆看；代碼看不明白，於是抄到本子上反覆研讀；一些算法想不通，就把它所有的中間狀態全畫出來然後反覆推演。事實證明儘管這種學習方法看起來傻逼而且效率很低，但對於當時同樣傻逼的我卻效果不錯——傻人用傻辦法嘛，而且這本書的課後題大多都是經典的面試題目，以至於日後我看到 編程之美 的第一反應就是這貨的題目不全是抄別人的麼。
至今記得，這本書為了說明算法是多麼重要，在開篇就拿最大子序列和作為例子，一路把複雜度從 O(N^3) 殺到 O(N^2) 再到 O(NlgN) 最後到 O(N)，當時內心真的是景仰之情如滔滔江水連綿不絕，尼瑪為何可以這麼屌，
此外，我當時還把這本書裡圖算法之前的數據結構全手打了一遍，後來找實習還頗為自得的把這件事放到簡歷裡，現在想想真是傻逼無極限。
憑藉這個讀書成長計劃中學到的知識，我總算比較順利的找到了一份實習工作，這是後話。
# 入門
我的實習並沒有用到什麼算法（現在看來就是不停的堆砌已有的 API，編寫一堆自己都不知道對不對的代碼而已），在發現身邊的人工作了幾年卻還在和我做同樣的事情之後，我開始越來越不安。儘管當時我對自己沒什麼規劃，但我清楚這絕壁不是我想做的工作。
# 微軟的夢工廠
在這個搖擺不定的時刻，微軟的夢工場 成了壓倒駱駝的最後一支稻草，這本書對微軟亞洲研究院的描寫讓我下定了 “找工作就要這樣的公司” 的決心，然而我又悲觀的發現無論是以我當時的能力還是文憑，都無法達到微軟亞研院的要求，矛盾之下，我徹底推翻了自己”畢業就工作”的想法，辭掉實習，準備考研。
考研的細節無需贅述，但至今仍清楚的記得自己在複試時驚奇且激動的發現北航宿舍對面就是微軟西格瑪大廈，那種離理想又進了一步的感覺簡直爽到爆。
# 算法設計與分析
我的研究生生涯絕對是一個反面典型——翹課，實習，寫水論文，做水研究，但有一點我頗為自得——從頭到尾認真聽了韓軍教授的算法設計與分析課程。
韓軍給我印象最深的有兩點：課堂休息時跑到外面和幾個學生借火抽菸；講解算法時的犀利和毫不含糊。
儘管韓軍從來沒有主動提及，但我敢肯定 算法設計與分析基礎 就是他算法課程事實上的（de-facto）教材，因為他的課程結構幾乎和這本書的組織結構一模一樣。
如果 數據結構與算法分析——C語言描述 是我的數據結構啟蒙，那麼韓軍的課程 算法設計與分析基礎 就是我的算法啟蒙，結合課程和書籍，我一一理解並掌握了複雜度分析、分治、減治、變治、動態規劃和回溯這些簡單但強大的算法工具。
# 算法引論
算法引論 是我這時無意中讀到的另一本算法書，和普通的算法書不同，這本書從創造性的角度出發——如果說算法導論講的是有哪些算法，那麼算法引論講的就是如何創造算法。結合前面的 算法設計與分析基礎，這本書把我能解決的算法問題數量擴大了一個數量級。
之後，在機緣巧合下，我進入微軟亞洲工程院實習，離理想又近了一步，自我感覺無限牛逼。
# 鞏固
在微軟工程院的實習是我研究生階段的一個非常非常非常重要的轉折點：
1.做出了一個還說的過去的小項目。
2.期間百度實習面試受挫，痛定思痛之下閱讀了大量的程序設計書。
3.微軟的實習經歷成為了我之後簡歷上為數不多的亮點之一（本屌一沒成績，二沒論文，三沒ACM）。
這裡就不說1和3了（和本文題目不搭邊），重點說說 2。
由於當時組內沒有特別多的項目，我負責的那一小塊又提前搞定了，mentor 便很慷慨的扔給我一個 Kinect 和一部Windows Phone 讓我研究，研究嘛，自然就沒有什麼 deadline，於是我就很雞賊的把時間三七開：七分倒騰 Windows Phone，三分看書&經典論文。
然而一件事打斷了這段安逸的生活——
基友在人人發百度實習內推貼，當時自我感覺牛逼閃閃放光芒，於是就抱著看看國內 IT 環境+虐虐面試官的變態心理投了簡歷，結果在第一面就自己的師兄爆出翔：他讓我寫一個 stof（字符串轉浮點數），我磨磨唧唧半天也沒寫出完整實現，之後回到宿舍趕快寫了一個版本發到師兄的郵箱，結果對方壓根沒鳥我。
這件事對我產生了很大的震動——
1.原來自己連百度實習面試都過不去。
2.原來自己還是一個編程弱逼。
3.原來自己還是一個算法菜逼。
痛定思痛，我開始了第二個”五年計劃”，三七開的時間分配變成了七三開：七分看書，三分WP。而這一階段的重點從原理（Principle）變成了實現（Implementation）——Talk is cheap, show me the code.
# Elements of Programming
由於一直覺得名字裡帶 “Elements of” 的都是酷炫叼炸天的書，所以我幾乎是毫不猶豫的買了這本 Elements of Programming（中譯本：編程原本），事實上這本書裡的代碼（或者說 STL 的代碼）確實是：快，狠，準，古龍高手三要素全齊。
# C Interfaces and Implementation
百度面試被爆出翔的經歷讓我意識到另一個問題，絕大多數公司面試時都需要在紙上寫 C 代碼，而我自己卻很少用 C（多數情況用 C#），考慮到自己還沒牛逼到能讓公司改變面試流程的地步，我需要提升自己編寫 C 代碼的能力（哪怕只是為了面試）。一頓 Google 之後，我鎖定了 C Interfaces and Implementation——另一本關於如何寫出狂炫酷帥叼炸天的C代碼的奇書，這裡套用下 Amazon 的 評論：Probably the best advanced C book in existance。
嚴格來說上面兩本書都不是傳統的算法書，因為它們側重的都不是算法，而是經典算法的具體實現（Implementation），然而這正是我所需要的：因為算法的原理我能說明白，但要給出優雅正確簡練的實現我就傻逼了，哪怕是 stof 這種簡單到爆的 “算法”。
依然是以前的傻逼學習方法：反覆研讀+一遍又一遍的把代碼抄寫到本子上，艱難的完成了這兩本書後，又讀了相當數量的編程實踐（Programming Practice）書籍，自我感覺編程能力又大幅提升，此外獲得新技能——紙上編碼。這也成為了我之後找工作面試的三板斧之一。
# 應用
說老實話，自從本科實習之後，我就一直覺得算法除了面試時能用用，其它基本用不上，甚至還寫了一篇當時頗為自得現在讀起來極為傻逼的 文章 來黑那些動不動就”基礎”或”內功”的所謂”大牛”們，這裡摘取一段現在看起來很傻逼但當時卻覺得是真理的文字：
所以那些動則就扯什麼算法啊基礎啊內功啊所謂的大牛們，請閉上你的嘴，條條大道通羅馬。算法並不是編程的前提條件，數學也不會阻礙一個人成為優秀的程序員。至少在我看來，什麼算法基礎內功都是唬人的玩意，多編點能用的實用的程序才是王道，當然如果你是一個pure theorist的話就當我什麼都沒說好了。
然而有意思的是，寫了這篇 文章 沒多久，鼓吹算法無用論的我自己做的幾個大大小小的項目全部用到了算法——我疑心是上天在有意抽我的臉。
# LL(k)
我在微軟實習的第一個項目做的是 代碼覆蓋率分析——計算 T-SQL 存儲過程的代碼覆蓋率。
簡單的看了下 SQL Server 相關的文檔，我很快發現 SQL Reporting Service 可以記錄 T-SQL 的執行語句及行號，於是行覆蓋（line coverage）搞定，但老大說行覆蓋太 naive，我們需要更實際的塊覆蓋（block coverage）。
閱讀了塊覆蓋的定義後，我發現我需要 對T-SQL 進行語法分析，在沒有找到一個好用的 T-SQL Parser 的情況下，只能自己動手搞一個：
比較奇詭的是，做這個項目時當時我剛好把 ANTLR 作者的 Language Implementation Patterns（中譯本：編程語言實現模式）看了一半，什麼 LL(k) 啊 Packrat 啊 AST Walker 的概念啊正熱乎著呢。
於是，自己自己就照著 T-SQL 的官方 EBNF，三下五除二搞了一個 T-SQL 存儲過程的 LL(k) Parser，把代碼轉換成 AST，然後用一個 External AST Walker 生成代碼塊覆蓋的 HTML 報表，全部過程一週不到。
老大自然是很滿意——我疑心他的原計劃是花兩三個月來完成這個項目，因為這個項目之後的兩個月我都沒什麼活幹，天天悠哉遊哉。
# 拼音索引
拼音索引是我接的一個手機應用私活裡的小模塊，用戶期待在手機文本框可以根據輸入給出智能提示：
比如說輸入中國：
同樣，輸入拼音也應給出提示：
中文匹配這個簡單，但拼音匹配就得花時間想想了——懶得造輪子的我第一時間找到了微軟的拼音庫，但接下來我就發現微軟這個鳥庫在手機上跑不動，研究了下發現 WP7 對 Dictionary 的 items 數量有限制，貌似是 7000 還是 8000 個 item就會崩盤，而標準漢字則有兩萬多個，尼瑪。
痛罵MS坑爹+漢字坑爹之餘，還是得自己擼一個庫出來：
1.首先把那兩萬個漢字搞了出來，排序，然後弄成一個超長的字符串。
2.接下來用 Int16 索引了漢字所有的拼音（貌似500多個）。
3.再接下來用 Int64 建立漢字和拼音的關聯——漢字有多音字，所以需要把多個拼音 pack 到一個 Int64 裡，這個簡單，位操作就搞定。
4.最後用二分+位移 Unpack，直接做到從漢字到拼音的檢索。
5.後來小測了下性能，速度是 MS 原來那個庫的五十倍有餘，而代碼量只有 336 行。
用戶很 happy——因為我捎帶把他沒想到的多音字都搞定了，而且流暢的一逼。
我也很 happy，因為沒想到自己寫的庫居然比 MS 的還要快幾十倍，同時小十幾倍。
從這個事情之後我變得特別理解那些造輪子的人——你要想想，如果你需要一個飛機輪子但市場上只有自行車輪子而且老闆還催著你交工，你能怎麼搞。
# 快速字符串匹配
前面提到在微軟實習時老大扔給我一個 Windows Phone 讓我研究下，我當時玩了玩就覺著不太對勁，找聯繫人太麻煩。
比如說找”張曉明”，WP 只支持定位到Z分類下——這意味著我需要在 Z 分類下的七十多個聯繫人（姓張的姓趙的姓鐘的等等）裡面線性尋找，每次我都需要滑動四五秒才能找到這個張姓少年。
這也太傻逼了，本屌三年前的老破NOKIA都支持首字母定位，996->ZXM->張曉明，直接搞定，尼瑪一個新時代 Windows Phone 居然會弱到這個程度。
搜了一下發現沒有好用的撥號程序，於是本屌就直接擼了一個支持首字母匹配的撥號程序出來扔到WP論壇裡。
結果馬上就有各種問題出現——最主要的反映是速度太慢，一些用戶甚至反饋按鍵有時要半秒才有反應。本屌問了下他的通訊錄大小：大概 3000 多人。
吐槽怎麼會有這麼奇葩的通訊錄之餘，我意識到自己的字符串匹配算法存在嚴重的性能問題：讀取所有人的姓名計算出拼音，然後一個個的匹配——結果如果聯繫人數量太多的話，速度必然拙計。
於是我就開始苦思冥想有沒有一個能夠同時搜索多個字符串的高端算法，以至於那兩天坐地鐵都在嘟囔怎麼才能把這個應用搞的快一些。
最終還是在 Algorithms on Strings, Trees and Sequences 裡找到了答案——確實有能夠同時搜索多個字符串的方法：Tries，而且這本書還用足足一章來講怎麼弄 Multiple string comparison，看得我當時高潮迭起，直呼過癮。
具體細節不多說，總之換了算法之後，匹配速度快了大約九十多倍，而且代碼還短了幾十行。哪怕是有 10000 個聯繫人，也能在 0.1 秒內搞定，速度瓶頸就這樣愉快的被算法搞定。
# Writing Efficient Programs
之後又做了若干個項目，多多少少都用到了”自制”的算法或數據結構，最奇詭的一次是寫一個電子書閱讀器裡的分頁，我照著模擬退火（Simulated Annealing）的原理寫了一個快速分頁算法，事實上這個算法確實很快——但問題是我都不知道為啥它會這麼快。
總之，算法是一種將有限計算資源發揮到極致的武器，當計算資源很富餘時算法確實沒大用，但一旦到了效率瓶頸算法絕壁是開山第一刀（因為算法不要錢嘛！要不還得換 CPU 買 SSD 升級 RAM，肉疼啊！！）。一些人會認為這種說法是有問題，因為編寫新算法的人力成本有時比增加硬件的成本還要高——但別忘了增加硬件提升效率也是建立在算法是 Scalable的基礎上——說白了還是得搞算法。
說到優化這裡順帶提一下 Writing Efficient Programs——很難找到一本講代碼優化的書（我疑心是自從 Knuth 說了 過早優化是萬惡之源 之後沒人敢寫，萬惡之源嘛，寫它幹毛），注意這本書講的是代碼優化——在不改變架構、算法以及硬件的前提之下進行的優化。儘管書中的一些諸如變量複用或是循環展開的 trick 已經過時，但總體仍不失為一本好書。
# 提高
實習實習著就到了研二暑假，接下來就是求職季。
求職季時我有一種莫名的復仇感——尼瑪之前百度實習面試老子被你們黑的漫天飛翔，這回求職老子要把你們一個個黑回來，尼瑪。
現在回想當時的心理實屬傻逼+幼稚，但這種黑暗心理也起了一定的積極作用：我絲毫不敢有任何怠慢，以至於在5月份底我就開始準備求職筆試面試，比身邊的同學早了兩個月不止。
我沒有像身邊的同學那般刷題——而是繼續看書抄代碼學算法，因為我認為那些難得離譜的題面試官也不會問——事實上也是如此。
# Algorithm Design Manual
因為很多 Coding Interview 的論壇都提到這本 紅皮書，我也跟風搞了一本。事實證明，僅僅是關於 Backtrack Template 那部分的描述就足以值回書價，更不用說它的 Heuristics 和課後題。
# 編程珠璣&更多的編程珠璣
這兩本書就不用多介紹，編程珠璣 和 更多的編程珠璣，沒聽說過這兩本書請自行面壁。前者偏算法理論，後者偏算法軼事，前者提升能力，後者增長談資，都值得一讀。
# The Science of Programming
讀到《編程珠璣》裡面關於 Binary Search 的正確性證明時我大呼過癮，原來程序的正確性也是可以推導的，然後我就在那一章的引用裡發現 David Gries 的 The Science of Programming。看名字就覺得很厲害，直接搞了一本開擼。
不愧為 編程珠璣 引用的書籍，讀完 The Science of Programming 之後，我獲得了證明簡單代碼段的正確性 這個技能——求職面試三板斧之二。
證明簡單代碼段的正確性 是一個很神奇的技能——因為面試時大多數公司都會要求在紙上寫一段代碼，然後面試官檢查這段代碼，如果你能夠自己證明自己寫的代碼是正確的，面試官還能挑剔什麼呢？
之後就是各種面試，總之就是項目經歷、紙上代碼加正確性證明這三板斧，摧枯拉朽。
# 進化
求職畢業季之後就是各種 Happy，Happy 過後我發現即將面臨另一個問題：算法能力不足。
因為據說以後的同事大多是 ACM 選手，而本屌從來沒搞過算法競賽，而且知道的算法和數據結構都極為基礎：像那些元胞自動機、斐波那契堆或是線段樹這些高端數據結構壓根只是能把它們的英文名稱 拼寫 出來，連用都沒用過，所以心理忐忑的一逼。
為了不至於到時入職被鄙視的太慘烈，加上自己一貫的算法自卑症，本屌強制自己再次學習算法：
# 算法（第四版）
算法（第四版） 是我重溫算法的第一本書，儘管它實際就是一本 數據結構的入門書，但它確實適合當時已經快把算法忘光的本屌——不為學習，只為重溫。
這本書最大的亮點在於它把 Visualization 和 Formatting 做到了極致——也許它不是最好的數據結構入門書，但它絕壁是我讀過的排版最好的書，閱讀體驗爽的一逼；當然這本書的內容也不錯，尤其是紅黑樹那一部分，我想不會有什麼書會比此書講的更明白。
# 6.851 Advanced Data Structures
Advanced Data Structures 是 MIT 的高級數據結構教程，為什麼會找到這個教程呢？因為Google Advanced Data Structures 第一個出來的就是這貨。
這門課包含各種讓本屌世界觀崩壞的奇詭數據結構和算法，它們包括但不限於：
1.帶 “記憶” 的數據結構（Data Structure with Persistence）。
2.van Emde Boas（逆天的插入，刪除，前驅和後繼時間複雜度）。
3.o(1) 時間複雜度的的 LCA、RMQ 和 LA 解法。
4.奇幻的 o(n) 時間複雜度的 Suffix Tree 構建方法。
5.o(lglgn) 的 BST。
6.…
總之高潮迭起，分分高能，唯一的不足就是沒有把它們實現一圈。
# 總結
從接觸算法到現在，大概七年：初學時推崇算法牛逼論，實習後鼓吹算法無用論，讀研後再被現實打回算法牛逼論。
怎麼這麼像辯證法裡的肯定到否定再到否定之否定。
現在來看，相當數量的鼓吹算法牛逼論的人其實不懂算法的重要性——如果你連用算法解決 實際 問題的經歷都沒有，那你如何可以證明算法很有用？而絕大多數鼓吹算法無用論的人不過是低水平碼農的無病呻吟——他們從未碰到過需要用算法解決的難題，自然不知道算法有多重要。
Peter Norvig 曾經寫過一篇非常精彩的 SICP書評，我認為這裡把 SICP 換成算法依然適用：
To use an analogy, if algorithms were about automobiles, it would be for the person who wants to know how cars work, how they are built, and how one might design fuel-efficient, safe, reliable vehicles for the 21st century. The people who hate algorithms are the ones who just want to know how to drive their car on the highway, just like everyone else.
MIT 教授 Erik Demaine 則更為直接：
If you want to become a good programmer, you can spend 10 years programming, or spend 2 years programming and learning algorithms.
總而言之，如果你想成為一個碼農或是熟練工（Code Monkey），你大可以不學算法，因為算法對你確實沒有用；但如果你想成為一個優秀的開發者（Developer），紮實的算法必不可少，因為你會不斷的掉進一些只能藉助算法才能爬出去的坑裡。
閱讀更多 程序員BUG 的文章
