TZOJ:6024信息传递(tarjan求最小环(无环套环))

题目链接:TZOJ:6024信息传递

题面:

样例输入:

5
2 4 2 3 1

 样例输出:
3

从题中可以分析出,每个点的出度有且仅有1。

那么可以发现任意一个点向外只能伸出一个方向,最后若形成一个环的话。这个环内一定不存在更小的环了。即不存在环套环的情况。(见下图)

 像这样1->2->3->4->1是一个环,而2->3->2又是一个环,且在前面一个环的内部。

不会存在这种环套环的情况。

这样的话用tarjan缩点后求出的每个强连通分量内部一定不是环套环的现象,那么每个强连通分量就一定是一个情况。即求所有强连通分量的最小点数即可。

但还要特判一种情况,就是若该强连通分量只有一个点的话,他就不会存在环,所以该强连通分量不能算进去。

#include <bits/stdc++.h>
using namespace std;
const int maxn=2e5+50;
int n,m,idx,scc_cnt;
int h[maxn];
int dfn[maxn],low[maxn],timestamp;
stack<int> stk;
bool in_stk[maxn];
int sz[maxn];
struct Edge{
    int v,nxt;
}edge[maxn];
void add(int u,int v){
    edge[idx].v=v;
    edge[idx].nxt=h[u];
    h[u]=idx++;
}
void tarjan(int u){
    dfn[u]=low[u]=++timestamp;
    stk.push(u);in_stk[u]=true;
    for(int i=h[u];~i;i=edge[i].nxt){
        int v=edge[i].v;
        if(!dfn[v]){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(in_stk[v])
            low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u]){
        int y;scc_cnt++;
        do{
            y=stk.top();
            stk.pop();
            sz[scc_cnt]++;
            in_stk[y]=false;
        }while(y!=u);
    }
}
int main(){
    memset(h,-1,sizeof(h));
    scanf("%d",&n);
    for(int i=1;i<=n;i++){
        int x;scanf("%d",&x);
        add(i,x);
    }
    for(int i=1;i<=n;i++)
        if(!dfn[i])
            tarjan(i);
    int ans=0x3f3f3f3f;
    for(int i=1;i<=scc_cnt;i++)
        if(sz[i]>1)
            ans=min(ans,sz[i]);
    cout<<ans<<endl;
    return 0;
}

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值