有向图的连通问题

有向图的强连通分量:

SSC:给定一个有向图,若图中任意两个点星x,y,存在x->y,且存在y->x,呢么这个图就是强连通分量图.

tarjan求强连通分量:

时间戳:dfn[i],表示搜索的时候首次搜索到i位置的顺序

追溯值:low[i],i的所以孩子存在一条有向边指向i,连接i

1.当结点首次被访问,x入栈,初始化low[x]=dfn[x]

2.(1)扫描从x出发的所以有向边(x->y),若y没有被访问,则(x,y)是树枝边,递归访问y,从y回溯后,令low[x]=min(low[x],low[y])

   (2)若y被访问,且y在栈中,则令low[x]=min(low[x],dfn[y]).

3.遍历完从x出发的所以有向边后,如果low[x]==dfn[x],栈中所以元素都是同一连通分量

代码:

#include<bits/stdc++.h>
#define MAXN 200005
using namespace std;
int to[MAXN<<1],nxt[MAXN<<1],head[MAXN<<1];
int tot,cnt;
int low[MAXN],dfn[MAXN],vis[MAXN];
stack<int> st;
int stck[MAXN<<1],top;
int c[MAXN],num;//c:记录强连通分量,num:强连通分量的数目

void init()
{
    tot=1;
    top=num=cnt=0;
    memset(head,0,sizeof(head));
}

void add(int u,int v)
{
    to[++tot]=v;
    nxt[to