tarjan讲解(用codevs1332(tarjan的裸题)讲解)
来源:互联网 发布:专家系统 数据库设计 编辑:程序博客网 时间:2024/06/18 05:02
主要借助这道比较裸的题来讲一下tarjan这种算法View Code
tarjan是一种求解有向图强连通分量的线性时间的算法。(用dfs来实现)
如果两个顶点可以相互通达,则称两个顶点强连通。如果有向图G的每两个顶点都强连通,称G是一个强连通图。有向图的极大强连通子图,称为强连通分量。
在上面这张有向图中1,2,3,4形成了一个强连通分量,而1,2,4,和1,3,4并不是(因为它们并不是极大强连通子图)。
tarjan是用dfs来实现的(用了tarjan后我们就可以对图进行缩点(当然这道裸题用不到))
这道题只要找到最大的强连通分量,并且把将该强连通分量的序号从小到大输出(如果有一样大的强连通分量,那么输出含有更小的点的那一个)
下面来道题:(tarjan代码加注释往下拉)
题目
题目描述 Description 在幻想乡,上白泽慧音是以知识渊博闻名的老师。春雪异变导致人间之里的很多道路都被大雪堵塞,使有的学生不能顺利地到达慧音所在的村庄。因此慧音决定换一个能够聚集最多人数的村庄作为新的教学地点。人间之里由N个村庄(编号为1..N)和M条道路组成,道路分为两种一种为单向通行的,一种为双向通行的,分别用1和2来标记。如果存在由村庄A到达村庄B的通路,那么我们认为可以从村庄A到达村庄B,记为(A,B)。当(A,B)和(B,A)同时满足时,我们认为A,B是绝对连通的,记为<A,B>。绝对连通区域是指一个村庄的集合,在这个集合中任意两个村庄X,Y都满足<X,Y>。现在你的任务是,找出最大的绝对连通区域,并将这个绝对连通区域的村庄按编号依次输出。若存在两个最大的,输出字典序最小的,比如当存在1,3,4和2,5,6这两个最大连通区域时,输出的是1,3,4。 输入描述 Input Description第1行:两个正整数N,M第2..M+1行:每行三个正整数a,b,t, t = 1表示存在从村庄a到b的单向道路,t = 2表示村庄a,b之间存在双向通行的道路。保证每条道路只出现一次。输出描述 Output Description第1行: 1个整数,表示最大的绝对连通区域包含的村庄个数。第2行:若干个整数,依次输出最大的绝对连通区域所包含的村庄编号。样例输入 Sample Input5 51 2 11 3 22 4 25 1 23 5 1样例输出 Sample Output31 3 5数据范围及提示 Data Size & Hint对于60%的数据:N <= 200且M <= 10,000对于100%的数据:N <= 5,000且M <= 50,000
很明显这道题需要用到tarjan
#include<stdio.h>#include<algorithm>using namespace std;int dfn[500000], low[500000], stack[900000], j, number, n, m, x, y, w, hh[600000], cnt, top, c, q, ans, yy[100000];int color[400000], u, num, p[400000];bool d[500000];struct node{ int next, z, e;} b[110000];void add(int aa, int bb)//邻接表{ b[++cnt].e = bb; b[cnt].next = hh[aa]; hh[aa] = cnt;}
tarjan代码:
int tarjan(int k){ int i; dfn[k] = low[k] = ++number;//dfn记录的是访问此节点的真实时间,low记录的是 stack[++top] = k;将当前点入栈 d[k] = true;//这是表示点k的状态 for(i = hh[k]; i != 0; i = b[i].next) { if(!dfn[b[i].e])如果当前节点没有访问过就继续搜 { tarjan(b[i].e); low[k] = min(low[k], low[b[i].e]); } else if(d[b[i].e] == true) { low[k] = min(low[k], dfn[b[i].e]);
//当然也可以写成low[k]=min(low[k],low[b[i].e]); } } if(dfn[k] == low[k])//如果该点是强连通分量的根,也就是说我们已经找到了一个强连通分量,就开始弹栈 { color[k] = ++num;//把该强连通分量上的点全部染成同一种颜色 while(1) { p[num]++;//记录该强连通分量上的点 d[stack[top]] = false;//栈顶元素出栈 color[stack[top--]] = num;将栈顶元素的颜色染成当前该强连通分量的颜色 if(stack[top + 1] == k)break;//因为根肯定是当前强连通分量上最先访问,也就是最先入站的,所以弹出了根代表该强连通分量上的已全部弹出 } } return 0;}
int main(){ int i; scanf("%d %d", &n, &m); u = 1; for(i = 1; i <= m; i++) { scanf("%d %d %d", &x, &y, &w); if(w == 1)add(x, y);//建边 else { add(x, y); add(y, x); } } for(j = 1; j <= n; j++) { if(!dfn[j])tarjan(j);//如果当前点没有被搜过,就从当前点进行深搜 } for(i = 1; i <= n; i++) { if(p[color[i]] > ans)ans = p[color[i]], u = i; } printf("%d\n", ans); for(i = 1; i <= n; i++) { if(color[i] == color[u])printf("%d ", i); } return 0;}
0 0
- tarjan讲解(用codevs1332(tarjan的裸题)讲解)
- [tarjan][codevs1332] 上白泽慧音
- tarjan算法讲解
- tarjan算法讲解
- tarjan算法讲解
- 通俗tarjan算法讲解
- byvoid 神牛的tarjan算法讲解!
- Tarjan求强连通分量的讲解与实现
- 全网最!详!细!Tarjan算法讲解。
- 全网最!详!细!tarjan算法讲解
- 全网最!详!细!tarjan算法讲解。
- 受欢迎的牛(Tarjan模板题)
- 【基础练习】【强连通tarjan】codevs1332 上白沢慧音题解
- Uva247(tarjan模板题)
- 有向图tarjan算法求连通分量的粗浅讲解、证明, // hdu1269
- 最形象的讲解,让你一次学会什么叫LCA离线算法tarjan
- 裸的tarjan(模板)
- nyoj120(dfs+Tarjan)
- 欢迎使用CSDN-markdown编辑器
- To do list
- MySQL索引背后的数据结构及算法原理
- codevs 1021 玛丽卡(spfa)
- spfa
- tarjan讲解(用codevs1332(tarjan的裸题)讲解)
- bzoj 1179[Apio2009]Atm (tarjan+spfa)
- jquery easyui datagrid.load方法参数传递问题
- bzoj 1001狼抓兔子(对偶图+最短路)最大流
- 线性筛法(欧拉筛法)求素数
- HDU 1022 Train Problem I (stack)
- linux下Docker容器意外停止的恢复方法
- javascript基础笔记(十三)之Math对象
- SocketIO protocol