D14【模板】强连通分量 Tarjan 算法

D14【模板】强连通分量 Tarjan 算法_哔哩哔哩_bilibili

1. SCC、DFS树、树边、反祖边、横叉边

2. 时间戳 dfn[]、追溯值 low[]、栈 stk[]、分量 scc[]、大小 siz[]

3. 更新 low 值：若y未访问，回溯更新；若y已访问且未构成scc，则更新

4. 记录SCC：若x是SCC的根 dfn[x]==low[x]

P2863 [USACO06JAN] The Cow Prom S - 洛谷

// Tarjan算法 O(n+m)
#include<bits/stdc++.h>
using namespace std;

const int N=10010;
int n,m,a,b,ans;
vector<int> e[N]; 
int dfn[N],low[N],tim,stk[N],top,scc[N],siz[N],cnt;

void tarjan(int x){
  dfn[x]=low[x]=++tim; //时间戳 追溯值
  stk[++top]=x;
  for(int y:e[x]){
    if(!dfn[y]){ //若y尚未访问
      tarjan(y);
      low[x]=min(low[x],low[y]); //因y是儿子
    }
    else if(!scc[y]) //若y已访问且未构成SCC
      low[x]=min(low[x],dfn[y]); //因y是祖先或左子树点
  }

  if(dfn[x]==low[x]){ //若x是SCC的根
    ++cnt;
    for(int y=-1;y!=x;){
      y=stk[top--];
      scc[y]=cnt; //SCC的编号
      ++siz[cnt]; //SCC的大小
    }
  }
}
int main(){
  ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
  cin>>n>>m;
  while(m--) cin>>a>>b, e[a].push_back(b);
  for(int i=1;i<=n;i++)if(!dfn[i]) tarjan(i);
  for(int i=1;i<=cnt;i++)if(siz[i]>1) ans++;
  cout<<ans;
}

 

强连通分量 - OI Wiki

P2341 [USACO03FALL / HAOI2006] 受欢迎的牛 G - 洛谷

B3609 [图论与代数结构 701] 强连通分量 - 洛谷

P3387 【模板】缩点 - 洛谷