在cstheory.stackexchange看到一个很有营养的帖子,发起人从《来自天书的证明》(Proofs from the Book)得到灵感，意思是，假如有上帝的话，上帝又有一本“算法天书”的话，那么这本算法书里面应该有哪些算法呢？NB而踊跃的跟贴者给出了让人眼花缭乱的算法，每个算法都给出了链接，有的还给出了算法的框架。恰好我算法很薄弱，于是兴起，简单的翻译一下，把那些跟贴的算法由热门程度从高到低列下来，供自己参考。
0.Union-find 并查集算法
1.Knuth-Morris-Pratt 经典的KMP字符串匹配算法
2.Quicksort 快排，这里特别建议看原帖的Thread。
3.The algorithm of Blum, Floyd, Pratt, Rivest, and Tarjan 寻找第k大的数
4.Floyd-Warshall algorithm 弗洛伊德算法求最短路径
5.Gentry's Fully Homomorphic Encryption Scheme 之前没听说过，好像是个加密算法
6.Miller-Rabin primality test 米勒-拉宾检验，测质数
7.AKS primality test AKS质数检验
8.constructing suffix arrays in linear time 线性时间内构造后缀数组……是这么翻译吧？
9.Depth First Search 先深搜索
10.2-approximation for MAX-CUT 这个不知道怎么翻译……，旅行商问题？
11.Cooley-Tukey FFT Algorithm 快速傅立叶变换
12.Huffman coding 哈夫曼编码
13.Strassen's algorithm 施特拉森演算法 矩阵乘法
14.Grover's algorithm 量子算法，搜索乱序数据
15.Christofides' Algorithm 旅行商问题
16.Gale-Shapley stable marriage algorithm 稳定婚姻问题
17.Schwartz-Zippel lemma 多项式符号检验
18.linear programming 线性规划
19.Schieber-Vishkin… 最低共同祖先
21.Binary Search 二分查找
22.Robin Moser algorithm for solving a certain class of SAT instances
23.universal hashing 全域散列
24.Gaussian elimination 高斯消元法
25.reservoir sampling 水塘抽样
26.Sieve of Eratosthenes 埃拉托斯特尼筛法
28.Horner's Algorithm 秦九韶算法
29.Dijkstra's algorithm 最短路径算法
30. 为什么没有viterbi, RANSAC,EM
