标签：tarjan 有向图 int ++ DAG low dfn id

添加链接描述

#include<bits/stdc++.h>
using namespace std;
const int N=110,M=1e4+10;
int h[N],ne[M],e[M],idx,n;
void add(int a,int b){
    e[idx]=b,ne[idx]=h[a],h[a]=idx++;
}
int dfn[N],low[N],ssc_cnt,id[N],timestamp,in_stack[N],size_scc[N];
stack<int>st;
void tarjan(int u){
    dfn[u]=low[u]=++timestamp;
    st.push(u),in_stack[u]=true;
    for(int i=h[u];~i;i=ne[i]){
        int j=e[i];
        if(!dfn[j]){
            tarjan(j);
            low[u]=min(low[u],low[j]);
        }
        else if(in_stack[j]){
            low[u]=min(low[u],dfn[j]);
        }
    }
    if(dfn[u]==low[u]){
        int j;
        ++ssc_cnt;
        do{
            j=st.top();
            st.pop();
            in_stack[j]=0;
            id[j]=ssc_cnt;
            size_scc[ssc_cnt]++;
        }while(u!=j);
    }
}
int din[N],dout[N];
int main(){
    cin>>n;
    memset(h,-1,sizeof h);
    for(int i=1;i<=n;i++){
        int x;
        while(cin>>x,x){
            add(i,x);
        }
    }
    for(int i=1;i<=n;i++){
        if(!dfn[i]){
            tarjan(i);
        }
    }
    for(int i=1;i<=n;i++){
        for(int j=h[i];~j;j=ne[j]){
            int k=e[j];
            int a=id[i],b=id[k];
            if(a!=b){
                dout[a]++;
                din[b]++;
            }
        }
    }
    int ans1=0,ans2=0;
    for(int i=1;i<=ssc_cnt;i++){//遍历的是缩点后的DAG的联通分量数目
        if(!din[i])ans1++;
        if(!dout[i])ans2++;
    }
    cout<<ans1<<endl;
    if(ssc_cnt==1)printf("0");
    else 
    cout<<max(ans1,ans2)<<endl;
    return 0;
}

标签：tarjan,有向图,int,++,DAG,low,dfn,id
来源： https://blog.csdn.net/Minelois/article/details/119682213

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。