为什么这个代码能AC！！！

#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<iostream>
using namespace std;
int dfn[200005],index,low[200005],sta[200005],head[200005];
bool vis[200005];
int n,m;
int ans=0x7fffffff;
int tot,num;
struct Edge
{
	int to;
	int next;
}edge[20000050];
inline void addedge(int from,int to)
{
	edge[++tot].next=head[from];
	edge[tot].to=to;
	head[from]=tot;
}

void tarjan(int x)
{
	dfn[x]=low[x]=++tot;
	sta[++num]=x;
	vis[x]=1;
	for(int i=head[x];i;i=edge[i].next)
	{
		int v=edge[i].to;
		if(!vis[v])
		{
			tarjan(v);
			low[x]=min(low[x],low[v]);
		}
		if(vis[v])
		{
			low[x]=min(low[x],dfn[v]);
		}
	}
	if(dfn[x]==low[x])
	{
		int s=0;
		while(x!=sta[num+1])
		{
			s++;
			vis[num--]=0;//注意这一行，改成vis[sta[num--]]=0;之后，80分会tarjan的大佬求解
		}
		if(s>1)
    	ans=min(ans,s);
    }
}
int main()
{
	cin>>n;
	for(int i=1;i<=n;i++)
	{
		int x;
		scanf("%d",&x);
		addedge(i,x);
	}
	tot=0;
	for(int i=1;i<=n;i++)
	{
		if(!dfn[i])tarjan(i);
	}
	printf("%d",ans);
}