单词查找树 Tries (Radix Tree):
- 左0右1
- item只存在leaf上
- Prefix-free: 任意一个key不能有其他key是他的前缀(比如: 1101和11011不能共存)
- Search: 逐位执行BS
- Insert: 逐位执行BS
- 如果找到某leaf与insert的item不等, insert fail. (现存item是新item的prefix)
- 如果在某个node搜索结束, insert fail. (新item是其他key的prefix)
如果无路可走了, 开路出来.
Delete: Search到对应item以后, 删除这个leaf以及其他无用的node.
Compressed Tries (Patricia Tries):
Multiway Tries:
Brute-force Algorithm
- 从前往后依次比对P的首字母
- 如发现与首字母匹配, 则继续比对剩下的字符直到P结尾
- 如P未结尾时出现不匹配, 则回到与首字母匹配位置的下一个, 继续比对首字母
如T结尾, 则无匹配
Boyer-Moore Algorithm
- 将T和P右对齐
- 从P的结尾开始, 依次向前与T比对
- 如遇到不匹配, 检查T该位置的字符是否在P中出现过
- 如出现过, 则将该字符在P中最后出现的位置, 与T对齐
- 如没出现过, 则讲P向后shift一个P的长度
- 重复第二步
如T结尾, 则无匹配
KMP Algorithm
- 建立KMP Failure Array 位于j点的F(j)值等于P[1..j]的结尾与P的开头所重叠的字符位数
- 将T和P左对齐
- 从P的开头开始, 依次向后与T比对
- 如遇到P[i]不匹配, P向后shift[i - F(i-1)]位, 且 i 值assign为F(i-1)
如T结尾, 则无匹配
Suffix Tree (Trie) 与前几个Algorithm相反, 此Algorithm是为了在同一个T中寻找不同P而建立的.
Post-condition: T长度为n, i值为从0到n-1
1. 将所有T[i..n]依次insert进Compressed trie
2. 因为Compressed trie的性质 (prefix-free), 如果某一个T[i..n]是已有node的prefix, 则不会被insert
3. 每个node和leaf中, 保存对应的i和n值
4. 在Compressed trie中搜索, 将P与每个node进行比对. (长度以P为准)
5. 如果遇到node长度小于P长度, 则无匹配.
= =`最后一个Module后天再说...每天都看Algorithm会死人的`明天收拾251
更多CS 240总结请看: http://blog.gregwym.info/tag/cs240/
]]>Assignment 5, 泥玛那个是什么脑残傻缺的ADT啊`! 放着Slide里这么好的三种ADT你不用啊`!!! 你跑去弄什么x-min-heap外加y-BST, 还弄个好听的名字叫Heap-tree`!!! 泥玛就是个残废啊`有木有有木有~!!! 不光残废啊, 是连TA自己都搞不懂到底该怎么用啊`!!! 连"You can slightly break the heap proerty"都说出来了...这种东西随便写写就让他过去吧`!!!!! 以后做工程真的用, 程序怎么死的都不知道啊`!!!
我们日常生活中的很多数据并不是一对一的KVP (不懂KVP的请去看, 总结四 - BST篇).
拿Slide里的例子来说, 买一台电脑, 不光要看它的CPU是什么型号, 还要看内存多大, 硬盘多大, 显卡怎么样, 价钱多少, etc. 这样的数据都是一个key对多个value.
这种情况下, 如果我需要找一台CPU 2.2GHz以上+内存4G-8G的电脑, 就需要从我的data中进行Range Search Query, 而且是2D的Range Search. 如果我在这个条件上再+要至少3T硬盘存xx...那就是3D的Range Search了.
插值查找法 Interpolation Search
- 在已知Array A大小的前提下, 假设A中的数据呈线性排列
- 用比例推测所查找值 K, 可能存在的Index I
I = Ilow + (Iupper - Ilow)(K - Klow) / (Kupper - Klow)- 如果A中的数据分布比较平均, 此法效率比BS高
- 否则相反
- 更详细的解释, 可参考: 【演算】內插搜尋法 - Interpolation Search
Gallop Search
- 先推测出K所在的范围, 然后执行BS
- 适用于数据量大的搜索. 通过减小BS的搜索范围, 优化性能.
跳跃列表 Skip Lists (我觉得最有意思的数据结构)
自排序搜索 Self-Organizing Search
- 如果我们知道某一系列数据中, 每一个item可能被访问的概率
- 依照每一项的概率对数据进行排序, 优化高概率item的访问效率
- 如果不知道可能的访问概率, 则需要...
动态排序 Dynamic Ordering
- 方法一: Move-To-Front(MTF)
- 将每次搜索到的item移到最前
- 近期内再搜索此item的时候, 效率会提高
- 方法二: Transpose
- 将每次搜索到的item与其前一项互换
- 多次访问同一item以后, 该item的排序会提前很多, 访问效率会提高
Hash Function
- 将key经过function运算以后, 得到对应的hash value
- Hash function的好坏决定于数据的性质, 不同的数据适用不同的function
- 好的Hash funtion, 高效, 与数据规律无关联, 依赖于key的所有部分
冲突解决方案(Collision Resolution)
Basic concept:
- Buckets: 多个item共存
- Open Addressing: 一个item对应多个位置
- Load Balance: α = n/M (n: item数量, M: hash table大小)
方案一: Chaining (Buckets)
- 将新的item放入对应位置, 并link到原来位置所存放的item
- 缺点: 大量数据会导致大量重复, 效率降低
方案二: Linear Probing
- 如果要insert的位置非空, 则将item放入下一个位置. 重复这一条直到insert成功/回到原位置(insert失败)
- 某个item被delete以后, 该位置须标记为deleted, 不能再使用
- 缺点: 大量数据后会有明显的效率降低, deleted以后会有空间浪费, 增加M以后rehash可以解决部分问题, 但cost很高.
方案三: Double Hashing
- 在Linear Probing基础上增加一个与h1独立的functions h2.
- 如果要insert的位置非空, hash value = [原hash value + h2(k)] % M. 重复这一条直到insert成功/回到原位置(insert失败)
- 缺点: 与Linear Probing相同, 只是increment由1变为了h2的结果, 所以降低了第二次insert的失败概率.
方案四: Cuckoo Hasing
- 有两个相互独立的hash functions, h1和h2
- 将item insert到h1(k)中
- 如果原来h1(k)的位置并不为空, 将原item重新insert到与h1(k)值不同的hash value中去
- 如出现loop的情况, insert失败, rehash
- 优点: iterm只能出现在h1(k)或者h2(k)中, search效率高.
2-3 Tree性质:
- BST基础性质
- 每个node包含一个KVP*和两个children, 或者包含两个KVP和三个children.
- 所有leaf都在同一层(level)
2-3 Tree Insertion:
- 找到KVP应在的leaf (BST规则)
- 如果该leaf已经饱和 (已经包含两个KVP), 则将3个KVP排序a < b < c.
- 将a和c分割成两个单独的leaf, 并将b插入到parent中.
- 重复第2步直到符合2-3 Tree所有性质
2-3 Tree Deletion: 删除x
- 如果x所在的node有两个KVP, 则直接删除x
- 如果同parent下, 与该node相邻的child有两个KVP, 则用node与child之间的parent替代x, 并用中间值替代parent
- 否则 (同parent下, node相邻child均只有一个KVP), 将相邻child与parent(中间值)合并. 重复直到Tree符合要求.
B-Tree性质:
- 扩展版的2-3 Tree
- 每个node包含最多2d个KVP
- 非root的node最少包含d个KVP
- 2-3 Tree的d = 1
Insertion和Deletion与2-3 Tree大同小异
注: 此B-Tree定义不完全符合11W Slide
最优Runtime为Ω(n log n)
用QuickSort algorithm快速查找第k大的数 (avg rumtime: Θ(n))
下载: quickselect.cc
void swap(int *A, int i, int j){
int temp;
temp = A[i];
A[i] = A[j];
A[j] = temp;
return;
}
partition(A, p)
思路: 逐次将最外侧的一对不符合partition规则的item对调
int partition(int *A, int p, int n){
swap(A, 0, p);
int i = 1, j = n - 1;
while(i <= j){
while(A[i] <= A[0] && i < n) i++;
while(A[j] > A[0] && j > 0) j--;
if(i <= j) swap(A, i, j);
}
swap(A, 0, j);
return j;
}
quick-select(A, k)
思路: 以partition分组数据以后, 判断第k大的数所在的分组, 然后recall其本身, 达到持续缩小搜索范围的目的
int quickSelect(int *A, int k, int n){
int p = 0;
int i = partition(A, p, n);
if(i == k) return A[i];
else if(i > k) return quickSelect(A, k, i);
else if(i < k) return quickSelect(A+i+1, k-i-1, n-i-1);
return -1;
}
choose-pivot(A)
思路1: 永远取第一个item为pivot
思路2: 取从0到n-1之间的随机数为pivot
快速排序(分治法)
avg rumtime: Θ(n log n)
区别: 需要对partition分出的两组数据都进行排序
void quickSort(int *A, int n){
if(n <= 1) return;
int p = 0;
int i = partition(A, p, n);
quickSort(A, i);
quickSort(A + i + 1, n - i - 1);
}
最优Runtime为O(n)
前提: Array A包含n个数据, 数据的最大值小于k
思路:
Runtime: O(n)
Space: Θ(k)
下载: countingsort.cc
void countingSort(int *A, int k, int n){
int i, B[n], C[k];
for(i = 0; i < n; i++){
C[A[i]]++;
B[i] = A[i];
}
for(i = 1; i < k; i++) C[i] = C[i] + C[i-1];
for(i = n-1; i >= 0; i--){
C[B[i]]--;
A[C[B[i]]] = B[i];
}
return;
}
前提: Array A包含的数据均可拆分成d个片段xd-1xd-2… x, 且任一片段xi满足0 <= xi < k
例如: 十进制数的每一位都是0 <= xi < 9的单位数字
思路: 以每一个xi为基准 (从0到d - 1), 运行counting sort.
Runtime: Θ(d(n+k))
Space: Θ(n+k)
注: 如果以从d-1到0的顺序执行, 则是以最低位为基准(LSD). 正常是以最高位为基准(MSD).
更新1: 各种Sorting Algorithm的动画演示http://jsdo.it/norahiko/oxIy/fullscreen
更新2: 修正了partition中的bug
更多CS 240总结请看: http://blog.gregwym.info/tag/cs240/
]]>三种Implementation:
Heap的性质:
Heap Insertion:
对其执行bubble-up, 直到符合所有heap性质
#bubble-up:
while [parent(v) exists and key(parent(v)) < key(v)] do
swap v and parent(v) v <- parent(v)
Heap deleteMax/Min:
对其执行bubble-down, 直到符合所有heap性质
while [v is not a leaf] do
u <- child of v with largest key
if key(u) > key(v) then
swap v and u v <- u
else
break
Heap array的特点 (当前item的位置为i):
建立heap的两种方法:
注: 使用第二种方法建立heap, 然后执行k次deleteMax/Min, 可快速查找array中第k大的iterm. 运行时间为Θ(n + k log n)
其他方法请参考: 找数组/VECTOR内第K大的数
更多CS 240总结请看: http://blog.gregwym.info/tag/cs240/
]]>