码迷,mamicode.com
首页 > 其他好文 > 详细

ZOJ 3795 Grouping 强连通分量-tarjan

时间:2014-08-10 18:17:30      阅读:199      评论:0      收藏:0      [点我收藏+]

标签:style   blog   color   os   io   for   ar   div   

一开始我还天真的一遍DFS求出最长链以为就可以了

不过发现存在有向环,即强连通分量SCC,有向环里的每个点都是可比的,都要分别给个集合才行,最后应该把这些强连通分量缩成一个点,最后保证图里是 有向无环图才行,这个时候再找最长链,当然缩点之后的scc是有权值的,不能只看成1,缩点完了之后,用记忆化搜索DP就可以再On的复杂度内求出结果

所以现学了一下SCC-Tarjan,所谓Scc-tarjan,就是找到强连通分量并且缩点,特别好用,其原理就是利用dfs时间戳,每个点有自己的时间戳,同时再开一个记录通过孩子的路径能指向的最上边的节点的时间戳,lowlink,如果当前lowlink就等于自己,即找到了强连通分量,并且找到了最大的头头。所以一个点也是强连通分量

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>
#include <stack>
using namespace std;
const int N = 100010;
stack<int> sta;
vector <int> G[N];
vector <int> G4[N];
int vis[N];
int n,m;
int pre[N],lowlink[N],sccno[N],w[N],dfs_clk,scc_cnt;
int dp[N];
void init()
{
    dfs_clk=scc_cnt=0;
    for (int i=0;i<=n;i++){
        G[i].clear();
        pre[i]=0;
        lowlink[i]=0;
        sccno[i]=0;
        vis[i]=0;
        w[i]=0;
        G4[i].clear();
    }
}
void dfs(int u)
{
    pre[u]=lowlink[u]=++dfs_clk;
    sta.push(u);
    for (int i=0;i<G[u].size();i++){
        int v=G[u][i];
        if (!pre[v]){
            dfs(v);
            lowlink[u]=min(lowlink[u],lowlink[v]);
        }
        else if (!sccno[v]){
            lowlink[u]=min(lowlink[u],pre[v]);
        }
    }
    if (lowlink[u]==pre[u]){
        scc_cnt++;
        for (;;){
            int x=sta.top();sta.pop();
            sccno[x]=scc_cnt;
            w[scc_cnt]++;
            if (x==u) break;
        }
    }
}
void tarjan()
{
    for (int i=1;i<=n;i++){
        if (!pre[i]) dfs(i);
    }
}
void calc(int u)
{
    if (dp[u]!=-1) return;
    dp[u]=w[u];
    int now=w[u];
    for (int j=0;j<G4[u].size();j++){
        int v=G4[u][j];
        calc(v);
        dp[u]=max(dp[u],dp[v]+now);
    }
}
void solve()
{
    for (int i=1;i<=n;i++){
        int u=sccno[i];
        for (int j=0;j<G[i].size();j++){
            int v=sccno[G[i][j]];
            if (u!=v) G4[u].push_back(v);
        }
    }
    for (int i=1;i<=scc_cnt;i++){
        dp[i]=-1;
    }
    for (int i=1;i<=scc_cnt;i++){
        calc(i);
    }
    int ans=0;
    for (int i=1;i<=scc_cnt;i++){
        ans=max(ans,dp[i]);
    }
    printf("%d\n",ans);
}
int main()
{
    while (scanf("%d%d",&n,&m)!=EOF)
    {
        init();
        int a,b;
        while (m--)
        {
            scanf("%d%d",&a,&b);
            G[a].push_back(b);
        }
        tarjan();
        solve();
    }
    return 0;
}

 

ZOJ 3795 Grouping 强连通分量-tarjan,布布扣,bubuko.com

ZOJ 3795 Grouping 强连通分量-tarjan

标签:style   blog   color   os   io   for   ar   div   

原文地址:http://www.cnblogs.com/kkrisen/p/3902983.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!