树与图的存储

树是一种特殊的图,与图的存储方式相同。
对于无向图中的边ab,存储两条有向边a->b, b->a。
因此我们可以只考虑有向图的存储。
(1) 邻接矩阵:g[a][b] 存储边a->b

(2) 邻接表

  1. // 对于每个点k,开一个单链表,存储k所有可以走到的点。h[k]存储这个单链表的头结点
  2. int h[N], e[N], ne[N], idx;
  3. // 添加一条边a->b
  4. void add(int a, int b)
  5. {
  6. e[idx] = b, ne[idx] = h[a], h[a] = idx ++ ;
  7. }
  8. // 初始化
  9. idx = 0;
  10. memset(h, -1, sizeof h);

树与图的遍历

时间复杂度 模板三:搜索与图论 - 图1, 模板三:搜索与图论 - 图2表示点数,模板三:搜索与图论 - 图3 表示边数

深度优先遍历

  1. int dfs(int u)
  2. {
  3. st[u] = true; // st[u] 表示点u已经被遍历过
  4. for (int i = h[u]; i != -1; i = ne[i])
  5. {
  6. int j = e[i];
  7. if (!st[j]) dfs(j);
  8. }
  9. }

宽度优先遍历

  1. queue<int> q;
  2. st[1] = true; // 表示1号点已经被遍历过
  3. q.push(1);
  4. while (q.size())
  5. {
  6. int t = q.front();
  7. q.pop();
  8. for (int i = h[t]; i != -1; i = ne[i])
  9. {
  10. int j = e[i];
  11. if (!st[j])
  12. {
  13. st[j] = true; // 表示点j已经被遍历过
  14. q.push(j);
  15. }
  16. }
  17. }

拓扑排序

时间复杂度 模板三:搜索与图论 - 图4, 模板三:搜索与图论 - 图5表示点数,模板三:搜索与图论 - 图6 表示边数

  1. bool topsort()
  2. {
  3. int hh = 0, tt = -1;
  4. // d[i] 存储点i的入度
  5. for (int i = 1; i <= n; i ++ )
  6. if (!d[i])
  7. q[ ++ tt] = i;
  8. while (hh <= tt)
  9. {
  10. int t = q[hh ++ ];
  11. for (int i = h[t]; i != -1; i = ne[i])
  12. {
  13. int j = e[i];
  14. if (-- d[j] == 0)
  15. q[ ++ tt] = j;
  16. }
  17. }
  18. // 如果所有点都入队了,说明存在拓扑序列;否则不存在拓扑序列。
  19. return tt == n - 1;
  20. }

朴素dijkstra算法

时间复杂是 模板三:搜索与图论 - 图7模板三:搜索与图论 - 图8表示点数,模板三:搜索与图论 - 图9 表示边数

  1. int g[N][N]; // 存储每条边
  2. int dist[N]; // 存储1号点到每个点的最短距离
  3. bool st[N]; // 存储每个点的最短路是否已经确定
  4. // 求1号点到n号点的最短路,如果不存在则返回-1
  5. int dijkstra()
  6. {
  7. memset(dist, 0x3f, sizeof dist);
  8. dist[1] = 0;
  9. for (int i = 0; i < n - 1; i ++ )
  10. {
  11. int t = -1; // 在还未确定最短路的点中,寻找距离最小的点
  12. for (int j = 1; j <= n; j ++ )
  13. if (!st[j] && (t == -1 || dist[t] > dist[j]))
  14. t = j;
  15. // 用t更新其他点的距离
  16. for (int j = 1; j <= n; j ++ )
  17. dist[j] = min(dist[j], dist[t] + g[t][j]);
  18. st[t] = true;
  19. }
  20. if (dist[n] == 0x3f3f3f3f) return -1;
  21. return dist[n];
  22. }

堆优化版dijkstra

时间复杂度 模板三:搜索与图论 - 图10模板三:搜索与图论 - 图11表示点数,模板三:搜索与图论 - 图12 表示边数

  1. typedef pair<int, int> PII;
  2. int n; // 点的数量
  3. int h[N], w[N], e[N], ne[N], idx; // 邻接表存储所有边
  4. int dist[N]; // 存储所有点到1号点的距离
  5. bool st[N]; // 存储每个点的最短距离是否已确定
  6. // 求1号点到n号点的最短距离,如果不存在,则返回-1
  7. int dijkstra()
  8. {
  9. memset(dist, 0x3f, sizeof dist);
  10. dist[1] = 0;
  11. priority_queue<PII, vector<PII>, greater<PII>> heap;
  12. heap.push({0, 1}); // first存储距离,second存储节点编号
  13. while (heap.size())
  14. {
  15. auto t = heap.top();
  16. heap.pop();
  17. int ver = t.second, distance = t.first;
  18. if (st[ver]) continue;
  19. st[ver] = true;
  20. for (int i = h[ver]; i != -1; i = ne[i])
  21. {
  22. int j = e[i];
  23. if (dist[j] > distance + w[i])
  24. {
  25. dist[j] = distance + w[i];
  26. heap.push({dist[j], j});
  27. }
  28. }
  29. }
  30. if (dist[n] == 0x3f3f3f3f) return -1;
  31. return dist[n];
  32. }

Bellman-Ford算法

时间复杂度 模板三:搜索与图论 - 图13模板三:搜索与图论 - 图14表示点数,模板三:搜索与图论 - 图15 表示边数
注意在模板题中需要对下面的模板稍作修改,加上备份数组,详情见模板题。

  1. int n, m; // n表示点数,m表示边数
  2. int dist[N]; // dist[x]存储1到x的最短路距离
  3. struct Edge // 边,a表示出点,b表示入点,w表示边的权重
  4. {
  5. int a, b, w;
  6. }edges[M];
  7. // 求1到n的最短路距离,如果无法从1走到n,则返回-1。
  8. int bellman_ford()
  9. {
  10. memset(dist, 0x3f, sizeof dist);
  11. dist[1] = 0;
  12. // 如果第n次迭代仍然会松弛三角不等式,就说明存在一条长度是n+1的最短路径,由抽屉原理,路径中至少存在两个相同的点,说明图中存在负权回路。
  13. for (int i = 0; i < n; i ++ )
  14. {
  15. for (int j = 0; j < m; j ++ )
  16. {
  17. int a = edges[j].a, b = edges[j].b, w = edges[j].w;
  18. if (dist[b] > dist[a] + w)
  19. dist[b] = dist[a] + w;
  20. }
  21. }
  22. if (dist[n] > 0x3f3f3f3f / 2) return -1;
  23. return dist[n];
  24. }

spfa 算法(队列优化的Bellman-Ford算法)

时间复杂度 平均情况下模板三:搜索与图论 - 图16最坏情况下模板三:搜索与图论 - 图17模板三:搜索与图论 - 图18表示点数,模板三:搜索与图论 - 图19 表示边数

  1. int n; // 总点数
  2. int h[N], w[N], e[N], ne[N], idx; // 邻接表存储所有边
  3. int dist[N]; // 存储每个点到1号点的最短距离
  4. bool st[N]; // 存储每个点是否在队列中
  5. // 求1号点到n号点的最短路距离,如果从1号点无法走到n号点则返回-1
  6. int spfa()
  7. {
  8. memset(dist, 0x3f, sizeof dist);
  9. dist[1] = 0;
  10. queue<int> q;
  11. q.push(1);
  12. st[1] = true;
  13. while (q.size())
  14. {
  15. auto t = q.front();
  16. q.pop();
  17. st[t] = false;
  18. for (int i = h[t]; i != -1; i = ne[i])
  19. {
  20. int j = e[i];
  21. if (dist[j] > dist[t] + w[i])
  22. {
  23. dist[j] = dist[t] + w[i];
  24. if (!st[j]) // 如果队列中已存在j,则不需要将j重复插入
  25. {
  26. q.push(j);
  27. st[j] = true;
  28. }
  29. }
  30. }
  31. }
  32. if (dist[n] == 0x3f3f3f3f) return -1;
  33. return dist[n];
  34. }

spfa判断图中是否存在负环

时间复杂度 模板三:搜索与图论 - 图20模板三:搜索与图论 - 图21表示点数,模板三:搜索与图论 - 图22 表示边数

  1. int n; // 总点数
  2. int h[N], w[N], e[N], ne[N], idx; // 邻接表存储所有边
  3. int dist[N], cnt[N]; // dist[x]存储1号点到x的最短距离,cnt[x]存储1到x的最短路中经过的点数
  4. bool st[N]; // 存储每个点是否在队列中
  5. // 如果存在负环,则返回true,否则返回false。
  6. bool spfa()
  7. {
  8. // 不需要初始化dist数组
  9. // 原理:如果某条最短路径上有n个点(除了自己),那么加上自己之后一共有n+1个点,由抽屉原理一定有两个点相同,所以存在环。
  10. queue<int> q;
  11. for (int i = 1; i <= n; i ++ )
  12. {
  13. q.push(i);
  14. st[i] = true;
  15. }
  16. while (q.size())
  17. {
  18. auto t = q.front();
  19. q.pop();
  20. st[t] = false;
  21. for (int i = h[t]; i != -1; i = ne[i])
  22. {
  23. int j = e[i];
  24. if (dist[j] > dist[t] + w[i])
  25. {
  26. dist[j] = dist[t] + w[i];
  27. cnt[j] = cnt[t] + 1;
  28. if (cnt[j] >= n) return true; // 如果从1号点到x的最短路中包含至少n个点(不包括自己),则说明存在环
  29. if (!st[j])
  30. {
  31. q.push(j);
  32. st[j] = true;
  33. }
  34. }
  35. }
  36. }
  37. return false;
  38. }

floyd算法

时间复杂度 模板三:搜索与图论 - 图23模板三:搜索与图论 - 图24表示点数

  1. 初始化:
  2. for (int i = 1; i <= n; i ++ )
  3. for (int j = 1; j <= n; j ++ )
  4. if (i == j) d[i][j] = 0;
  5. else d[i][j] = INF;
  6. // 算法结束后,d[a][b]表示a到b的最短距离
  7. void floyd()
  8. {
  9. for (int k = 1; k <= n; k ++ )
  10. for (int i = 1; i <= n; i ++ )
  11. for (int j = 1; j <= n; j ++ )
  12. d[i][j] = min(d[i][j], d[i][k] + d[k][j]);
  13. }

朴素版prim算法

时间复杂度 模板三:搜索与图论 - 图25模板三:搜索与图论 - 图26表示点数,模板三:搜索与图论 - 图27 表示边数

  1. int n; // n表示点数
  2. int g[N][N]; // 邻接矩阵,存储所有边
  3. int dist[N]; // 存储其他点到当前最小生成树的距离
  4. bool st[N]; // 存储每个点是否已经在生成树中
  5. // 如果图不连通,则返回INF(值是0x3f3f3f3f), 否则返回最小生成树的树边权重之和
  6. int prim()
  7. {
  8. memset(dist, 0x3f, sizeof dist);
  9. int res = 0;
  10. for (int i = 0; i < n; i ++ )
  11. {
  12. int t = -1;
  13. for (int j = 1; j <= n; j ++ )
  14. if (!st[j] && (t == -1 || dist[t] > dist[j]))
  15. t = j;
  16. if (i && dist[t] == INF) return INF;
  17. if (i) res += dist[t];
  18. st[t] = true;
  19. for (int j = 1; j <= n; j ++ ) dist[j] = min(dist[j], g[t][j]);
  20. }
  21. return res;
  22. }

Kruskal算法

时间复杂度 模板三:搜索与图论 - 图28模板三:搜索与图论 - 图29表示点数,模板三:搜索与图论 - 图30 表示边数

  1. int n, m; // n是点数,m是边数
  2. int p[N]; // 并查集的父节点数组
  3. struct Edge // 存储边
  4. {
  5. int a, b, w;
  6. bool operator< (const Edge &W)const
  7. {
  8. return w < W.w;
  9. }
  10. }edges[M];
  11. int find(int x) // 并查集核心操作
  12. {
  13. if (p[x] != x) p[x] = find(p[x]);
  14. return p[x];
  15. }
  16. int kruskal()
  17. {
  18. sort(edges, edges + m);
  19. for (int i = 1; i <= n; i ++ ) p[i] = i; // 初始化并查集
  20. int res = 0, cnt = 0;
  21. for (int i = 0; i < m; i ++ )
  22. {
  23. int a = edges[i].a, b = edges[i].b, w = edges[i].w;
  24. a = find(a), b = find(b);
  25. if (a != b) // 如果两个连通块不连通,则将这两个连通块合并
  26. {
  27. p[a] = b;
  28. res += w;
  29. cnt ++ ;
  30. }
  31. }
  32. if (cnt < n - 1) return INF;
  33. return res;
  34. }

染色法判别二分图

时间复杂度 模板三:搜索与图论 - 图31模板三:搜索与图论 - 图32表示点数,模板三:搜索与图论 - 图33 表示边数

  1. int n; // n表示点数
  2. int h[N], e[M], ne[M], idx; // 邻接表存储图
  3. int color[N]; // 表示每个点的颜色,-1表示未染色,0表示白色,1表示黑色
  4. // 参数:u表示当前节点,c表示当前点的颜色
  5. bool dfs(int u, int c)
  6. {
  7. color[u] = c;
  8. for (int i = h[u]; i != -1; i = ne[i])
  9. {
  10. int j = e[i];
  11. if (color[j] == -1)
  12. {
  13. if (!dfs(j, !c)) return false;
  14. }
  15. else if (color[j] == c) return false;
  16. }
  17. return true;
  18. }
  19. bool check()
  20. {
  21. memset(color, -1, sizeof color);
  22. bool flag = true;
  23. for (int i = 1; i <= n; i ++ )
  24. if (color[i] == -1)
  25. if (!dfs(i, 0))
  26. {
  27. flag = false;
  28. break;
  29. }
  30. return flag;
  31. }

匈牙利算法

时间复杂度 模板三:搜索与图论 - 图34模板三:搜索与图论 - 图35表示点数,模板三:搜索与图论 - 图36 表示边数

  1. int n1, n2; // n1表示第一个集合中的点数,n2表示第二个集合中的点数
  2. int h[N], e[M], ne[M], idx; // 邻接表存储所有边,匈牙利算法中只会用到从第一个集合指向第二个集合的边,所以这里只用存一个方向的边
  3. int match[N]; // 存储第二个集合中的每个点当前匹配的第一个集合中的点是哪个
  4. bool st[N]; // 表示第二个集合中的每个点是否已经被遍历过
  5. bool find(int x)
  6. {
  7. for (int i = h[x]; i != -1; i = ne[i])
  8. {
  9. int j = e[i];
  10. if (!st[j])
  11. {
  12. st[j] = true;
  13. if (match[j] == 0 || find(match[j]))
  14. {
  15. match[j] = x;
  16. return true;
  17. }
  18. }
  19. }
  20. return false;
  21. }
  22. // 求最大匹配数,依次枚举第一个集合中的每个点能否匹配第二个集合中的点
  23. int res = 0;
  24. for (int i = 1; i <= n1; i ++ )
  25. {
  26. memset(st, false, sizeof st);
  27. if (find(i)) res ++ ;
  28. }