C - Critical Links UVA - 桥TARJAN割边

  • C - Critical Links

  •  UVA - 796 
  • 对于当前结点 x,若邻接点中存在结点 y 满足 low[y]$\textgreater$dfn[x] ,则 (x,y) 为割边。
  • #include
    #include
    #include
    #include
    #include
    using namespace std;
    struct node
    {
        int from,to,next,flag;
    } e[1500000];
    int cont,tot,cnt,n;
    int head[150000];
    int dfn[150000];
    int low[150000];
    int fa[150000];
    void add(int from,int to)
    {
        e[cont].flag=0;
        e[cont].to=to;
        e[cont].next=head[from];
        head[from]=cont++;
    }
    void tarjan(int u,int pre)
    {
        dfn[u]=low[u]=++cnt;
        for(int i=head[u]; i!=-1; i=e[i].next)
        {
            int v=e[i].to;
            if(v == pre)continue;
            if(!dfn[v])
            {
                tarjan(v,u);
                if(low[u]>low[v])low[u]=low[v];
                ///桥
                if(low[v]>dfn[u])
                {
                    e[i].flag=1;
                    e[i^1].flag=1;
                    tot++;
                }
            }
            else if(low[u]>dfn[v])
                low[u]=dfn[v];
        }
    }
    void Slove()
    {
        tot=0,cnt=0;
        memset(dfn,0,sizeof(dfn));
        memset(low,0,sizeof(low));
        for(int i=1; i<=n; i++)tarjan(i,-1);
        printf("%d critical links\n",tot);
        vector >ans;
        for(int u=1; u<=n; u++)
        {
            for(int i=head[u]; i!=-1; i=e[i].next)
            {
                if(e[i].flag&&e[i].to>u)
                {
                    ans.push_back(make_pair(u,e[i].to));
                }
            }
        }
        sort(ans.begin(),ans.end());
        for(int i=0; i
  •  

你可能感兴趣的:(图论)