强联通tarjan的一些黑科技以及随想

Posted 2020-10-29 akcqhzdy

我很不要脸的直接安利ATP大佬的blog了（原谅我大yz风气习惯把女生叫做大佬）

放置一些ban（突然想到某农药）子。

int z,dfn[110000],low[110000];
int top,sta[110000];bool v[110000];
int cnt,belong[110000];
void strong_unicom(int x)
{
    dfn[x]=low[x]++z;
    sta[++top]=x;v[x]=true;
    for(int k=last[x];k;k=a[k].next)
    {
        int y=a[k].y;
        if(dfn[y]==0)
        {
            strong_unicom(y);
            low[x]=min(low[x],low[y]);
        }
        else
        {
            if(v[y]==true)
                low[x]=min(low[x],dfn[y]);
        }
    }
    if(dfn[x]==low[x])
    {
        int i;cnt++;
        do
        {
            i=sta[top];top--;
            v[i]=false;
            belong[i]=cnt;
        }while(i!=x);
    }
}
//----------------function--------------------
    z=top=cnt=0;
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(v,false,sizeof(v));
    for(int i=1;i<=n;i++)
        if(dfn[i]==0)strong_unicom(i);
//------------------main------------------- 

基本的强联通（摆着也是摆着）

 

曾经大家都很纠结一个问题
low[x]=min(low[x],dfn[y]);换成low[x]=min(low[x],low[y]);
也可以AC，现在明白了，是强调割点的意义。

int z,dfn[110000],low[110000],cut[110000];
void findcut(int x)
{
    dfn[x]=low[x]=++z;
    for(int k=last[x];k;k=a[k].next)
    {
        int y=a[k].y;
        if(dfn[y]==0)
        {
            findcut(y);
            low[x]=min(low[x],low[y]);
            if(low[y]>=dfn[x])cut[x]++;
        }
        else low[x]=min(low[x],dfn[y]);
    }
}
//----------------function--------------------
    z=0;
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(cut,0,sizeof(cut));
    for(int i=1;i<=n;i++)
        if(dfn[i]==0)findcut(i);
        else cut[i]++;
//------------------main------------------- 

求一个点连向的割点个数(bzoj2730矿场搭建)