强连通分量(等价性证明,LA 4287)

就是找到所有强连通分量然后缩点,得到DAG。

设a为DAG入度为零的点的个数,b为DAG出度为零的点的个数。

答案就是max(a,b)

当DAG只有一个点时特判输出0。


注意一些细节,就是缩点建图时不但要判断边的两端是否在同一个强连通分量内,还要判断是否已经使用过(即避免重边)。

还有一些手误,以后应该注意。


代码

#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<=b;i++)
using namespace std;
const int maxn = 20010;
const int maxm = 50010;

int pre[maxn],lowlink[maxn],sccno[maxn],dfs_clock,scc_cnt;
vector<int>G[maxn];
stack<int>s;

void dfs(int u)
{
    pre[u]=lowlink[u]=++dfs_clock;
    s.push(u);
    for(unsigned 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=s.top();s.pop();
            sccno[x]=scc_cnt;
            if(x==u) break;
        }
    }
}

void get_scc(int n)
{
    dfs_clock=scc_cnt=0;
    rep(i,1,n) if(!pre[i]) dfs(i);
}

int u[maxm],v[maxm];
int id[maxn],od[maxn];

int main()
{
    int T,n,m;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d %d",&n,&m);
        rep(i,1,n)
        {
            G[i].clear();
            pre[i]=lowlink[i]=sccno[i]=id[i]=od[i]=0;
        }
        rep(i,1,m)
        {
            scanf("%d %d",&u[i],&v[i]);
            G[u[i]].push_back(v[i]);
        }
        get_scc(n);
        rep(i,1,m) if(sccno[u[i]]!=sccno[v[i]])
        {
            id[sccno[v[i]]]=1;
            od[sccno[u[i]]]=1;
        }
        int a=0,b=0;
        rep(i,1,scc_cnt)
        {
            if(!id[i]) a++;
            if(!od[i]) b++;
        }
        if(scc_cnt==1) puts("0");
        else printf("%d\n",max(a,b));
    }
    return 0;
}


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值