【bzoj】2438杀人游戏-Tarjan缩点

题解

为了得知杀手而不被杀死，必须要知道所有人的身份且去查证的人都不是杀手。
假设最优的情况下，问了k个人以后就知道了全部人的身份，那么答案就是(n-k)/n，（杀手不会被问到）
但是杀手的概率是均等的，并不知道谁到底是杀手，所以只能追求问到最少的人而不需要考虑其它任何因素。
那么Tarjan缩点以后，所有入度为0的点都需要查证。
但有一个注意事项，假设已经知道了前n-1个人的信息，完全可以通过推理得知最后一个人的信息。所以如果有一个或多个scc大小为1，且所有它连向的其它scc入度均大于1（可以通过其它scc走过去，也就是这个点不是必要的），那么最多可以不用考虑其中一个点，也就是k可以-1（要是没考虑到这点，你可能会WA的懵逼）

---

代码

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+100,M=3e5+100;
int head[N],to[M],nxt[M],tot,cnt;
int n,m,dfn,df[N],low[N],sta[N],sz[N],top;
int scc[N],vis[N],ap[N],ans,fig;
vector<int>g[N];

inline void dfs(int x)
{
    int i,j;
    df[x]=++dfn;low[x]=df[x];sta[++top]=x;
    for(i=head[x];i;i=nxt[i]){
        j=to[i];
        if(!df[j]) {dfs(j);low[x]=min(low[x],low[j]);}
        else if(!scc[j]) low[x]=min(low[x],df[j]);
    }
    if(low[x]==df[x]){
        cnt++;
        for(;sta[top]!=x;--top) scc[sta[top]]=cnt,sz[cnt]++;
        scc[sta[top--]]=cnt;sz[cnt]++;
    }
}

inline void lk(int u,int v)
{to[++tot]=v;nxt[tot]=head[u];head[u]=tot;}

inline bool jud(int x)
{
    if(sz[x]!=1 || fig>0) return true;
    for(int j,i=g[x].size()-1;i>=0;--i){
        j=g[x][i];if(ap[j]<2) return true; 
    }
    fig++;return false;
}

int main(){
    int i,j,ix,iy;
    scanf("%d%d",&n,&m);
    for(i=1;i<=m;++i){
        scanf("%d%d",&ix,&iy);
        lk(ix,iy);
    }
    for(i=1;i<=n;++i) if(!df[i]) dfs(i);
    for(i=1;i<=n;++i){
        for(j=head[i];j;j=nxt[j]){
           ix=to[j];if(scc[i]==scc[ix] || vis[scc[ix]]) continue;
           vis[scc[ix]]=1;ap[scc[ix]]++;
           g[scc[i]].push_back(scc[ix]);
        }
        for(j=head[i];j;j=nxt[j]) vis[scc[to[j]]]=0;
    }
    for(i=1;i<=cnt;++i)
        if(ap[i]==0 && jud(i)) ans++;
    printf("%.6f\n",(double)(n-ans)/(double)n);
}