CF1027D Mouse Hunt 题解

CF1027D Mouse Hunt

图论-强联通分量-Tarjan

根据题目给出小老鼠去向的方式，我们可以发现每一个点只有一条出边，而这些边构成的图就是一条链
对于这条链，我们发现链的尾端有可能为一个环（如下图）

又因为每个点只能有一条出边，所以这个环不可能在链的中间

这样，答案就被转换成了链尾端的强联通分量中的最小点权

#include<cstdio>
#include<iostream>
#include<stack>
#include<vector>
#include<algorithm>
using namespace std;
const int Maxn=200000+10,inf=0x3f3f3f3f;
vector <int> e[Maxn];
stack <int> s;
int a[Maxn],f[Maxn],minv[Maxn];
int dfn[Maxn],low[Maxn],ind[Maxn];
bool vis[Maxn];
int n,timecnt,ans;
inline int read()
{
	int s=0,w=1;
	char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-')w=-1;ch=getchar();}
	while(ch>='0' && ch<='9')s=(s<<3)+(s<<1)+(ch^48),ch=getchar();
	return s*w;
}
void tarjan(int x)
{
	dfn[x]=low[x]=++timecnt;
	vis[x]=1,s.push(x);
	for(int i=0;i<e[x].size();++i)
	{
		int y=e[x][i];
		if(!dfn[y])
		{
			tarjan(y);
			low[x]=min(low[x],low[y]);
		}
		else if(vis[y])low[x]=min(low[x],low[y]);
	}
	if(dfn[x]==low[x])
	{
		while(s.size())
		{
			int y=s.top();
			s.pop();
			f[y]=x,vis[y]=0;
			minv[x]=min(minv[x],a[y]);
			if(x==y)break;
		}
	}
}
int main()
{
	//freopen("in.txt","r",stdin);
	n=read();
	for(int i=1;i<=n;++i)
	a[i]=read();
	for(int i=1;i<=n;++i)
	{
		int x=i,y=read();
		e[x].push_back(y);
	}
	fill(minv+1,minv+1+n,inf);
	for(int i=1;i<=n;++i)
	if(!dfn[i])tarjan(i);
	for(int i=1;i<=n;++i)
	{
		for(int j=0;j<e[i].size();++j)
		{
			int x=i,y=e[i][j];
			if(f[x]==f[y])continue;
			ind[f[x]]++;  //这里ind[]存的是出度，原谅我ind写惯了
		}
	}
	for(int i=1;i<=n;++i)
	{
		if(f[i]!=i || ind[i])continue;
		ans+=minv[i];
	}
	printf("%d\n",ans);
	return 0;
}