题意:
解法:
可以将问题转化为:
有n个点n条无向边,现在要给每条边定向,问有多少种定向方案,满足定向之后图中不存在有向环.
n个点n条边显然是基环树森林,
我们求出每个基环树中环的大小cir和顶点个数cnt,
环外的边显然可以任意定向,方案数为2^(cnt-cir),
环内的边只要不同向即可,方案数为2^cir-2.
将每个连通块的方案数乘起来就是答案.
code:
#include<bits/stdc++.h>
#define int long long
#define PI pair<int,int>
using namespace std;
const int maxm=2e6+5;
const int mod=1e9+7;
vector<PI>g[maxm];
int p2[maxm];
int d[maxm];
int a[maxm];
int cir,cnt;
int n;
void dfs(int x,int pre){
cnt++;
for(auto i:g[x]){
int v=i.first,id=i.second;
if(id==pre)continue;
if(!d[v]){
d[v]=d[x]+1;
dfs(v,id);
}else if(d[x]>d[v]){
cir=d[x]-d[v]+1;
}
}
}
void solve(){
p2[0]=1;
for(int i=1;i<maxm;i++)p2[i]=p2[i-1]*2%mod;
cin>>n;
for(int i=1;i<=n;i++){
int x;cin>>x;
g[i].push_back({x,i});
g[x].push_back({i,i});
}
int ans=1;
for(int i=1;i<=n;i++){
if(!d[i]){
cir=cnt=0;
d[i]=1;
dfs(i,-1);
ans=ans*p2[cnt-cir]%mod*(p2[cir]-2)%mod;
}
}
ans=(ans%mod+mod)%mod;
cout<<ans<<endl;
}
signed main(){
ios::sync_with_stdio(0);cin.tie(0);
solve();
return 0;
}