二分图
二分图
一个图是二分图 当且仅当图中不含奇数环
染色法
o(m+n)
判断二分图
1 | int n; // n表示点数 |
匈牙利算法
最坏o(mn)
最大匹配
1 | int n1, n2; // n1表示第一个集合中的点数,n2表示第二个集合中的点数 |
一个图是二分图 当且仅当图中不含奇数环
o(m+n)
判断二分图
1 | int n; // n表示点数 |
最坏o(mn)
最大匹配
1 | int n1, n2; // n1表示第一个集合中的点数,n2表示第二个集合中的点数 |
代码短
稠密图
经常用
o(n^2)
1 | int n; // n表示点数 |
不经常用
o(mlogn)
o(mlogm)
1 |
|
只有一个起点
n m都很大
o(n^2) 点数^2
稠密图
邻接矩阵
1 | int g[N][N]; // 存储每条边 |
o(mlogn) 边数 * log点数
稀疏图
1 | typedef pair<int, int> PII; |
o(nm)
1 | int n, m; // n表示点数,m表示边数 |
一般o(m),最坏o(mn)
没有负环就可以用
99%的题目都可以用
都是正边有时也能用
1 | int n; // 总点数 |
判断是否存在负环
1 | int n; // 总点数 |
起点终点都不确定
n很小,m很大
o(n^3)
1 |
|
是一种特殊的图
特殊的有向图
二维数组
g[a][b] 表示a->b
单链表
每一个点都是一个单链表
存储的是每个点可以到达哪些点
对于每一个节点,都开一个单链表(类似拉链法)存储该节点可以访问到的点,存储次序无关紧要。
插入边:
插入操作:
不带权值
1 | //邻接表 |
带权值:
1 | int h[N], w[N], e[N], ne[N], idx; |
1 | // 对于每个点k,开一个单链表,存储k所有可以走到的点。h[k]存储这个单链表的头结点 |
1 | bool st[N];//true表示已经用过 |
树的重心:
图宽搜的框架和前面BFS的框架基本一模一样,只是将图的结构扩展到宽搜框架里。前面的BFS是根据具体题目来扩展点,图的话采用邻接表存储图,从1号节点编号开始,扩展的是每一个点的临边。
1 |
|
1 | queue<int> q; |
有向图
不存在环 即 有向无环图
宽搜
拓扑序列:在一个有向图无环中,对所有的节点进行排序,要求没有一个节点指向它前面的节点。即,所有的边从前指向后!
重要结论性质:一个有向无环图至少存在一个入度为0的节点!
求解步骤:
(1)先统计好图中所有点的入度情况
(2)找到图中入度为0的节点,将它删去,由它发射出来的所有边也要删掉,即它指向的邻接节点度数-1
(3)将删去节点后剩下的图,继续按(2)的规则继续删节点。
按照节点被删除的顺序,依次把这些被删除的节点记录要一个序列里边,当图中所有节点被删除后,那么这个序列就是一个拓扑序列了!
注:当同时出现两个或以上入度为0的节点时,拓扑序列结果不唯一!
1 | bool topsort() |
1 |
|
栈实现
空间o(h)
不具有最短路性质
1 | Void DFS(deep,...){ |
1 | #include <iostream> |
队列实现
空间o(2^h)
最短路
1 | void BFS(){ |
1 | typedef pair<int, int> PII; |
#include
vector
vector 变长数组,倍增思想
size()
empty()
clear()
front()/back()
push_back()/pop_back()
begin()/end()
[]
支持比较运算,按字典序
pair<int, int>
first 第一个元素
second 第二个元素
支持比较运算,以first为第一关键字,second第二关键字(字典序)
#include
string 字符串
substr(起始下标, 长度) 返回子串
size()/length() 返回字符串长度
c_str() 返回字符串的首地址
empty()
clear()
to_string(x)
#include
queue 队列
size()
empty()
push() 向队尾插入一个
front() 返回队头
back() 返回队尾
pop() 弹出队头
#include
priority_queue 优先队列(堆)默认大根堆
push() 插入一个元素
top() 返回堆顶
pop() 弹出堆顶
定义成小根堆方式:
priority_queue<int , vector<int>,greater<int>> heap;//创建小根堆
priority_queue<int> heap
heap.push(-x)//创建小根堆
#include
stack 栈
size() 栈的大小/长度
empty() 是否为空
push() 向栈顶插入一个元素
top() 返回栈顶元素
pop() 弹出栈顶元素
#include
deque 双端队列,队头队尾都可以插入删除
size()
empty()
clear()
front()
back()
push_back()/pop_back()
push_front()/pop_front()
begin()/end()
[]
很少用,速度太慢了
set,map,multiset,multimap 基于平衡二叉树(红黑树),动态维护有序序列
size()
empty()
clear()
begin()/end() ++ -- 返回前驱后继 O(logn)
set/multiset
insert() 插入一个数
find() 查找一个数
count() 返回某个数的个数
erase()
输入是一个数x,删除所有x O(k+log n)
输入一个迭代器,删除这个迭代器
lower_bound()/upper_bound()
lower_bound(x) 返回大于等于x的最小的数
upper_bound(x) 返回大于x的最小的数
map/multimap
insert() 插入的数是一个pair
erase() 输入的参数是pair或者迭代器
find()
[] 像数组一样使用 O(logn)
lower_bound()/upper_bound()
unordered_set,unordered_map,unordered_multiset,unordered_multimap,哈希表
和上面类似,增删改查的时间复杂度是O(1)
不支持lower_bound()/upper_bound() 因为内部是无序的
不支持迭代器的++ --
bitset,压位
用于存储bool量
bitset<10000> S;
~s,&,|,^
>>,<<
==,!=
[]
count() 返回有多少个1
any() 判断是否至少有一个1
none() 判断全为0
set() 把所有位置变为1
set(k,v) 将第K位变成V
reset() 把所有位变为0
flip() 等价于~
flip() 把第K位取反
1 | #include <cstdio> |
1 | #include <cstdio> |
哈希函数,把一个大的范围,映射为一个小的范围
离散化是一种特殊的哈希方式
用于对数据的快速插入和读取
1 | int h[N], e[N], ne[N], idx; |
开数组时要大2~3倍
1 | int h[N]; |
1 | 核心思想:将字符串看成P进制数,P的经验值是131或13331,取这两个值的冲突概率低 |
完全二叉树
1 | // 下标从1开始 |
将两个集合合并–》例如连通分支合并一个
询问两个元素是否在一个集合当中
近乎O(1)
为了解释并查集的原理,我将举一个更有爱的例子。 话说江湖上散落着各式各样的大侠,有上千个之多。他们没有什么正当职业,整天背着剑在外面走来走去,碰到和自己不是一路人的,就免不了要打一架。但大侠们有一个优点就是讲义气,绝对不打自己的朋友。而且他们信奉“朋友的朋友就是我的朋友”,只要是能通过朋友关系串联起来的,不管拐了多少个弯,都认为是自己人。这样一来,江湖上就形成了一个一个的群落,通过两两之间的朋友关系串联起来。而不在同一个群落的人,无论如何都无法通过朋友关系连起来,于是就可以放心往死了打。但是两个原本互不相识的人,如何判断是否属于一个朋友圈呢?
我们可以在每个朋友圈内推举出一个比较有名望的人,作为该圈子的代表人物,这样,每个圈子就可以这样命名“齐达内朋友之队”“罗纳尔多朋友之队”……两人只要互相对一下自己的队长是不是同一个人,就可以确定敌友关系了。
但是还有问题啊,大侠们只知道自己直接的朋友是谁,很多人压根就不认识队长,要判断自己的队长是谁,只能漫无目的的通过朋友的朋友关系问下去:“你是不是队长?你是不是队长?”这样一来,队长面子上挂不住了,而且效率太低,还有可能陷入无限循环中。于是队长下令,重新组队。队内所有人实行分等级制度,形成树状结构,我队长就是根节点,下面分别是二级队员、三级队员。每个人只要记住自己的上级是谁就行了。遇到判断敌友的时候,只要一层层向上问,直到最高层,就可以在短时间内确定队长是谁了。由于我们关心的只是两个人之间是否连通,至于他们是如何连通的,以及每个圈子内部的结构是怎样的,甚至队长是谁,并不重要。所以我们可以放任队长随意重新组队,只要不搞错敌友关系就好了。于是,门派产生了。
下面我们来看并查集的实现。 int pre[1000]; 这个数组,记录了每个大侠的上级是谁。大侠们从1或者0开始编号(依据题意而定),pre[15]=3就表示15号大侠的上级是3号大侠。如果一个人的上级就是他自己,那说明他就是掌门人了,查找到此为止。也有孤家寡人自成一派的,比如欧阳锋,那么他的上级就是他自己。每个人都只认自己的上级。比如胡青牛同学只知道自己的上级是杨左使。张无忌是谁?不认识!要想知道自己的掌门是谁,只能一级级查上去。 find这个函数就是找掌门用的,意义再清楚不过了(路径压缩算法先不论,后面再说)。
1 | int find(int x) //查找我(x)的掌门 |
再来看看路径压缩算法。建立门派的过程是用join函数两个人两个人地连接起来的,谁当谁的手下完全随机。最后的树状结构会变成什么胎唇样,我也完全无法预计,一字长蛇阵也有可能。这样查找的效率就会比较低下。最理想的情况就是所有人的直接上级都是掌门,一共就两级结构,只要找一次就找到掌门了。哪怕不能完全做到,也最好尽量接近。这样就产生了路径压缩算法。 设想这样一个场景:两个互不相识的大侠碰面了,想知道能不能揍。 于是赶紧打电话问自己的上级:“你是不是掌门?” 上级说:“我不是呀,我的上级是谁谁谁,你问问他看看。” 一路问下去,原来两人的最终boss都是东厂曹公公。 “哎呀呀,原来是记己人,西礼西礼,在下三营六组白面葫芦娃!” “幸会幸会,在下九营十八组仙子狗尾巴花!” 两人高高兴兴地手拉手喝酒去了。 “等等等等,两位同学请留步,还有事情没完成呢!”我叫住他俩。 “哦,对了,还要做路径压缩。”两人醒悟。 白面葫芦娃打电话给他的上级六组长:“组长啊,我查过了,其习偶们的掌门是曹公公。不如偶们一起及接拜在曹公公手下吧,省得级别太低,以后查找掌门麻环。” “唔,有道理。” 白面葫芦娃接着打电话给刚才拜访过的三营长……仙子狗尾巴花也做了同样的事情。 这样,查询中所有涉及到的人物都聚集在曹公公的直接领导下。每次查询都做了优化处理,所以整个门派树的层数都会维持在比较低的水平上。路径压缩的代码,看得懂很好,看不懂也没关系,直接抄上用就行了。总之它所实现的功能就是这么个意思。
1 | 原模板: |
1 |
|
ACWING模板
1 | (1)朴素并查集: |
高效快速的存储和查找字符串集合的数据结构
1 | int son[N][26], cnt[N], idx; |