入度就是:有向图的某个顶点作为终点的次数和。
出度就是:有向图的某个顶点作为起点的次数和。
tanjan算法主要是为了将一个强连通分量缩成一个点,使图变为有向无环图。复杂度O(n+m)
注意事项:
1、init()
2、把图用add 存下来,注意图点标为1-n,若是[0,n-1]则给所有点++;
3、调用tarjan_init(n);// n为点的总数。 再调用suodian();
4、新图就是vectorG[]; 新图点标从1-tar ;
5、对于原图中的每个点u,都属于新图中的一个新点Belong[u]; 新图一定是森林。
6、新图中的点u 所表示的环对应原图中的vector bcc[u];
7、旧图中u在新图中所属的点是Belong[u];
注意: 输入时不能有重边,可能造成算出度时出现问题(会指向两次或多次相同的点)。
bcc数组中保存的是每个缩完后的点包含的点。
belong数组表示跑完tarjan算法后每个点属于哪些新点。
G数组则存了跑完tarjan后的新图。
受欢迎的牛
题意:n 头⽜,m 条关系,形如(A, B),表示 A 认为 B 受欢迎,如果 A 认为 B 受欢迎,B 认为 C 受欢迎,A 也认为 C 受欢迎,问有多少头⽜被认为被所有其它⽜欢迎 n, m <= 10^5
题解:发现本图具有传递性,发现可以缩点后计算,缩点后构成DAG图,此时发现,如果没有出度为0的点,则该题无解,应该输出0,如果出度为0的点有多个,则也无解,只有出度为0的点有一个时,答案为这个强连通分量的点数。
#include<bits/stdc++.h>
using namespace std ;
#define N 30100
//N为最大点数
#define M 150100
//M为最大边数
int n, m;//n m 为点数和边数
struct Edge {
int from, to, nex;
bool sign;//是否为桥
} edge[M<<1];
int head[N], edgenum;
void add(int u, int v) { //边的起点和终点
Edge E= {u, v, head[u], false};
edge[edgenum] = E;
head[u] = edgenum++;
}
int DFN[N], Low[N], Stack[N], top, Time; //Low[u]是点集{u点及以u点为根的子树} 中(所有反向弧)能指向的(离根最近的祖先v) 的DFN[v]值(即v点时间戳)
int taj;//连通分支标号,从1开始
int Belong[N];//Belong[i] 表示i点属于的连通分支
bool Instack[N];
vector<int> bcc[N]; //标号从1开始
void tarjan(int u ,int fa) {
DFN[u] = Low[u] = ++ Time ;
Stack[top ++ ] = u ;
Instack[u] = 1 ;
for (int i = head[u] ; ~i ; i = edge[i].nex ) {
int v = edge[i].to ;
if(DFN[v] == -1) {
tarjan(v , u) ;
Low[u] = min(Low[u] ,Low[v]) ;
if(DFN[u] < Low[v]) {
edge[i].sign = 1;//为割桥
}
} else if(Instack[v]) Low[u] = min(Low[u] ,DFN[v]) ;
}
if(Low[u] == DFN[u]) {
int now;
taj ++ ;
bcc[taj].clear();
do {
now = Stack[-- top] ;
Instack[now] = 0 ;
Belong [now] = taj ;
bcc[taj].push_back(now);
} while(now != u) ;
}
}
void tarjan_init(int all) {
memset(DFN, -1, sizeof(DFN));
memset(Instack, 0, sizeof(Instack));
top = Time = taj = 0;
for(int i=1; i<=all; i++)if(DFN[i]==-1 )tarjan(i, i); //注意开始点标!!!
}
vector<int>G[N];
int du[N];
void suodian() {
memset(du, 0, sizeof(du));
for(int i = 1; i <= taj; i++)G[i].clear();
for(int i = 0; i < edgenum; i++) {
int u = Belong[edge[i].from], v = Belong[edge[i].to];
if(u!=v)G[u].push_back(v), du[v]++;
}
}
void init() {
memset(head, -1, sizeof(head));
edgenum=0;
}
int main() {
init();
int n,m;
scanf("%d %d",&n,&m);
int a,b;
for(int i=1; i<=m; i++) {
scanf("%d %d",&a,&b);
add(a,b);
}
tarjan_init(n);
suodian();
/*测试bcc数组和G数组的用法
for(int i=1; i<=taj; i++) {
for(int j=0; j<bcc[i].size(); j++) {
printf("%d ",bcc[i][j]);
}
cout<<endl;
}
printf("belong\n");
for(int i=0; i<10; i++) {
printf("%d==%d\n",i,Belong[i]);
}
printf("xintu\n");
for(int i=1;i<=taj;i++){
for(int j=0;j<G[i].size();j++){
printf("%d ",G[i][j]);
}
cout<<endl;
}*/
//判断本题的出度为0的点有几个
int ans=0;int flag=0;
for(int i=1;i<=taj;i++){
if(G[i].size()==0){
flag++;
int t=bcc[i].size();
ans=max(ans,t);
}
}
if(flag==1){
printf("%d\n",ans);
}
else{
printf("0\n");
}
}