前导 |
---|
表、栈和队列 |
树、二叉树、平衡树 |
散列、排序、不相交集 |
堆、图论算法 |
数学知识复习
- $N\mid(A-B)\rightarrow A\equiv B\pmod N$
- $A\equiv B\pmod N\rightarrow A+C\equiv B+C\pmod N$
- $A\equiv B\pmod N\rightarrow AD\equiv BD\pmod N$
- $\gcd(a, b)=\gcd(b, a\bmod b)$
- $M>N\rightarrow M\bmod N<M / 2$
1 |
|
表、栈和队列
为避免插入和删除的线性开销,我们需要允许表可以不连续存储,链表便由此而生。
1 |
|
基于链表可实现基数排序(radix sort),属于桶排序的推广形式。
1 |
|
栈(stack):FILO;队列(queue):FIFO
stack<int> s | queue<int> q |
---|---|
s.push(1) | q.push(1) |
s.pop() | q.pop() |
s.top() | q.front() |
s.empty() | q.empty() |
栈的基本应用包括括号匹配、后缀表达式的计算;队列的基本应用有约瑟夫问题等。
栈在解决中缀到后缀的转换问题时需要准备一个符号栈,对于中缀表达式,当读到一个操作数时立即输出;当读到操作符时根据运算符优先级选择入栈或输出。
树、二叉树、平衡树
树的一般标程
链表型结构的大多数操作花费线性时间,而树的大部分操作的运行时间平均为 O(logN)。树的遍历有三种方式,以根节点位置作划分,有先序遍历、中序遍历、后序遍历,亦有基于广度优先搜索(BFS)的层序遍历(level-order traversal)。
1 |
|
二叉搜索树
二叉搜索树(Binary search tree)的性质是左子树节点值小于根节点小于右节点,查找的平均复杂度为 O(logN)。BST 的删除操作较为复杂,非必要情况可考虑懒惰删除(lazy deletion)。对 BST 进行中序遍历即可得到排好序的数据,平均复杂度为 O(logN)。
1 |
|
平衡树与 splay
插入和删除操作会破坏 BST 的结构,导致查找等操作更倾向于最坏情况,因此我们又提出了附带平衡条件的 AVL 平衡树,在删除时通过左旋/右旋(rotation)的方式调整,使左右子树的高度趋于平衡。
几乎所有的平衡树的平均性能均在 O(logN),只在常数上有些许差异,ACM 一般也不会去卡平衡树的常数。因此我们至少需要熟练掌握一种平衡树的写法即可解决绝大多数的问题。
伸展树(splay)是一种相对简单的平衡树,每次操作的摊还代价为 O(logN)。它的特点是将被访问的节点通过旋转的方式变成根节点,切合 LRU 策略。伸展的情形有如下两种情况,一子形(zig-zig)和之字形(zig-zag)。
1 |
|
STL 中 set
(数据不可重)和 multiset
(数据可重)的底层实现为红黑树,在数据友好不卡常的 ACM 题中可用来代替手写平衡树逃课。
1 |
|
B-树是一种多路平衡搜索树,常用于数据库系统,它的特点是所有的数据都存储在树叶上,位于相同的深度,在进行插入操作时可能会发生分裂或长高。
散列
散列是一种用于以常数平均时间执行插入、删除和查找的技术,通过散列函数形成键值对映射。例如一串只包含小写英文字母的字符串即可映射为唯一的 26 进制数。常用的手写哈希为 $\text{hash}(x)=R-(x\bmod R)$,其中 $R$ 是小于表大小的任一素数(19260817、233)。
1 |
|
散列并不能完全保证映射结果一定唯一,因此我们需要解决发生冲突的手段:
- 分离链接法:利用链表存储冲突元素
- 开放定址法:冲突即尝试选择其他单元
- 线性探测法
- 平方探测法
- 双散列:$F(x)=i\cdot\text{hash}(x)$
- 再散列:倍增表大小形成新的散列表(散列函数也要替换)
- 可扩散列:B-树
如果使用平方探测,且表的大小是素数,那么当表至少有一半是空的时候,总能够插入一个新的元素。
TODO: 字符串哈希
1 |
|
优先队列(堆)
相较于队列,优先队列的标程有方法 Insert
(等价于入队)、DeleteMin
,它的工作是找出、返回和删除优先队列中最小的元素。优先队列的通常实现方式是二叉堆。
1 |
|
堆是一棵完全二叉树,因此我们可以方便的用数组来表示堆。对于数组中任一位置 $i$ 上的元素,其左儿子位于 $2i$,右儿子位于 $2i+2$,父亲位于 $\lfloor i/2\rfloor$。
- 堆序性质:最小/大元位于根,
FindMin
操作为 O(1) - 上滤(percolate up):插入元素时与父结点进行比较,上滤至正确位置
- 下滤(percolate down):删除最小元后子结点需上移至正确位置
- 实践中经常将堆的原始根节点作为标记(sentinel),设为 INF
堆在执行合并等操作时是比较复杂的,左式堆、斜堆、二项队列等均支持以 O(logN) 实现合并,它们之间的关系可类比为平衡树、伸展树和森林,这里暂且不表。
排序
基于比较的排序算法复杂度下界为 O(NlogN);基于交换的非分治排序算法(如插入、冒泡),排序时交换元素的总次数为原始数组的逆序数;N 个互异数的数组的平均逆序数是 N(N-1)/4,因此通过交换相邻元素的排序算法复杂度下界为 O(N^2)。
- 插入排序:扫描有序数组插入新元素,O(N^2)
- 冒泡排序:双循环比较相邻元素,O(N^2)
- 希尔排序:根据增量序列递减比较元素,O(N^3/2)
- 堆排序:小/大顶堆,O(NlogN)
- 归并排序:递归合并两个有序数组,O(NlogN),由于需要额外的线性附加内存,一般不用于主存排序而多用于外部排序
- 快速排序:选基准(pivot),递归排序,O(NlogN)
- 桶排序:用额外的一个桶(数组)记录频次,O(N)
1 |
|
基于比较的排序可以用决策树来表示每次比较的可能结果,对 N 个元素排序的决策树必然有 N! 个树叶,因此最坏情况至少需要 log(N!) 次比较。
不相交集(并查集)
并查集为解决集合内元素分类问题提供了一种灵巧的思路,初始认为所有元素独立,若元素同类则相关联;使用路径压缩技巧可优化 Union/Find
例程。
1 |
|
图论算法
图的表示、存储及遍历
一个图 $G=(V,E)$ 由顶点(vertex)集和边(edge)集组成。图分为有向(directed)图和无向图;有向无圈图可简称为 DAG;有向图连通则称为是强连通(strongly connected)的,有向图不连通但它的基础图(无向)连通则称为是弱连通(weakly connected)的。完全图(complete graph)是其每一对顶点间都存在一条边的图。
针对有向连通图有两种通用的遍历方式,即深度优先搜索(DFS)和广度优先搜索(BFS)。
1 |
|
除了使用邻接表和邻接矩阵存储图外,在竞赛中经常使用的一种数据结构叫做链式前向星,相较于使用 STL 的 vector
邻接表要快上很多。
1 |
|
拓扑排序
拓扑排序是对有向无圈图的顶点的一种排序,可以看做按照图的顶点连接顺序对顶点遍历的过程,常见的应用场景有课程的先后修、活动的先决条件等。算法的主要流程如下:
- 按给定数据流建立图,记录每个顶点的入度
- 将入度为 0 的节点放入队列
- 取出队首,遍历其出边,将能够到达的节点入度减一;将入度变成 0 的顶点加入队列
- 重复上两步,直到队列为空
1 |
|
最短路径
单源最短路径问题的描述是:给定一个非负赋权图 $G=(V,E)$ 和一个特定节点 $v$ 作为输入,找出 $v$ 到图中每一个其他节点的最短赋权路径。解决这个问题的通用方法是 Dijkstra 算法,时间复杂度上限为 O(n^2),堆优化后可降至 O((N + M)logN)。它的算法流程如下:
- 节点分为两类,已确定最短路径的点和未确定的点
- 初始化
dis[start] = 0
,其余节点的dis
为无穷大 - 找出
dis
值最小的节点设为已确定最短路径 - 遍历该节点所有的出边 $(x,y,t)$,
dis[y] = min(dis[y], dis[x] + z)
- 重复上述步骤直至所有节点均已确定
1 |
|
Dijkstra 算法的本质思想是贪心(具有最优子结构),它只适用于不含负权边的图。如果图具有负边值,spfa 算法会是一个很好的选择,spfa 亦可用于判断图中是否存在负环。spfa 的实质是通过 BFS 使得所有的边对组合均满足三角不等式,因此算法的复杂度上界是 O(EV),所以不建议在非负权图中使用 spfa。
1 |
|
对于无圈图,可结合拓扑排序来改进 dijkstra,在拓扑排序的同时选择和更新,算法可以一趟完成,运行时间为 O(E + V)。它的一个常见应用场景为对关键路径的分析。
多源最短路径问题的描述是:给定一个非负赋权图,求图中任意两节点间的最短赋权路径,解决这个问题的通用方法是 Floyd 算法,复杂度为 O(n^3),算法的核心思想是遍历两节点间的所有中间节点判断是否经过即可。
1 |
|
网络流问题
(洛谷蓝题,暂且不表,课本给出的应该是 EK 算法)
最小生成树
一个连通图的生成树是指一个连通子图,它含有图中全部 n 个顶点和 n - 1 条边,如果往生成树中再添加一条边则必定成环。在连通图的所有生成树中,所有边的代价和最小的生成树称为最小生成树。最小生成树的构造有两种算法,分别是 Prim 算法和 Kruskal 算法。
Kruskal 算法的思想是贪心加边,把图中的 n 个顶点看成独立的 n 棵树组成的森林,选择满足条件的最小代价边并合并(并查集)
1 |
|
图的连通性问题
- 由于该章节洛谷均为蓝绿题,暂且不表,日后更新