Function
Time Limit: 4000/2000 MS (Java/Others) Memory Limit: 131072/131072 K (Java/Others)
Total Submission(s): 652 Accepted Submission(s): 267
Sample Input
3 2
1 0 2
0 1
3 4
2 0 1
0 2 3 1
Sample Output
Case #1: 4
Case #2: 4
Source
分析：
题目大意：
给你一个数组A，和一个数组B，数组A是【0~n-1】的排咧，数组B是【0~m-1】的排列。
现在定义F(i)=bF(ai)；
问有多少种取值，使得F(i)全部合法。
样例1可行的解：
110
111
001
000
分析：
写出样例2的公式：
①F(0)=bF(2)
②F(1)=bF(0)
③F(2)=bF(1)
我们不难发现，如果我们设定了F（0）的值，就能够通过式子②能够得知F（1）的值，然后就能通过式子③得知F（2）的值，最后再回归式子①尝试当前设定的值是否合法了。
这就是一个循环节
我们对于A数组中的一个环的话如果一个环中的任意一个点的价值我们能够设定出来，那么这一个循环节的所有点的值就都能够知道了。
然而这个能够设定的值，肯定是数组B中的一个值，而且我们已知都是循环节，那么数组B中的这个被选中设定的值也一定存在一个循环节，而且这个循环节的长度，一定是A长度循环节的因子长度。
A数组中长度为D的一个循环节，如果B数组中有一个循环节的长度为d，并且如果D%d==0.那么这个B数组的这个循环节的所有值，都可以作为A数组中这个循环节的值。那么对于A数组中的这个循环节来讲，答案数就多了d个。
过程统计每个循环节能够满足的答案的个数，然后累乘即可。
下面给出AC代码：
#include <bits/stdc++.h>
using namespace std;
const int maxn=;
const int mod=;
int n,m,ans=;
int a[maxn],b[maxn];
int cal[][maxn];
bool vis[maxn];
inline void DFS(int t,int l,int *a,int k)
{
if(vis[t])
{
cal[k][l]++;
return;
}
vis[t]=;
DFS(a[t],l+,a,k);
}
int main()
{
int tcase=;
while(scanf("%d%d",&n,&m)!=EOF)
{
for(int i=;i<n;i++)
scanf("%d",&a[i]);
for(int i=;i<m;i++)
scanf("%d",&b[i]);
memset(cal,,sizeof(cal));
memset(vis,false,sizeof(vis));
for(int i=;i<m;i++)
{
if(!vis[i])
DFS(i,,b,);
}
memset(vis,false,sizeof(vis));
for(int i=;i<n;i++)
{
if(!vis[i])
DFS(i,,a,);
}
ans=;
for(int i=;i<=n;i++)
{
if(cal[][i])
{
int lim=(int)sqrt(i+0.5);
int ta=;
for(int j=;j<=lim;j++)
{
if(i%j==)
{
(ta+=(long long)cal[][j]%mod*j%mod)%=mod;
if(j*j!=i)
(ta+=(long long)cal[][i/j]%mod*(i/j)%mod)%=mod;
}
}
for(int j=;j<=cal[][i];j++)
{
ans=(long long)ans*ta%mod;
}
}
}
printf("Case #%d: %d\n",tcase++,ans);
}
return ;
}