CodeForces 711 D.Directed Roads(组合数学)

探讨一种算法,用于计算通过反转有向图中部分边的方向,使其变为无环图的所有可能方案数量。该算法利用DFS寻找环,并确定反转方案。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

Description

给出一个n个点n条边的有向图,第i个点连向第pi个点,现可以给边集的一个子集进行反转,即改变有向边的方向,问有多少种方案可以使得该有向图无环

Input

第一行一整数n,之后输入n个整数pi表示ipi有一条有向边(2n2105,1pin,pii)

Output

输出方案数,结果模109+7

Sample Input

3
2 3 1

Sample Output

6

Solution

由于每个点的出度只有1,故不会出现两个环有交集的情况,也不会出现对某个环反转后与原先一些非环边组成新环的情况,故对每个环单独破坏即可,一个长度为x的环,现在要给其反转,只要不是不反转或者全部反转,均可破坏该环,方案数为2x2,而对于非环边,反不反转不影响,假设有y条非环边,则方案数为2y,找环直接dfs给每个点打标记并记录该点与起点的距离即可,当前访问的点之前被标记过说明成环,当前距离减去之前到该点的距离即为环的大小

Code

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<ctime>
using namespace std;
typedef long long ll;
typedef pair<int,int>P;
const int INF=0x3f3f3f3f,maxn=200005;
#define mod 1000000007
int n,p[maxn],f[maxn],num,ans,vis[maxn],dep[maxn];
void dfs(int u,int cnt,int tar)
{
    dep[u]=cnt;
    vis[u]=tar;
    if(!vis[p[u]])dfs(p[u],cnt+1,tar);
    else if(vis[p[u]]==tar)
    {
        num-=(cnt-dep[p[u]]+1);
        ans=(ll)ans*(f[cnt-dep[p[u]]+1]+mod-2)%mod;
    }
}
int main()
{
    f[0]=1;
    for(int i=1;i<=2e5;i++)f[i]=2*f[i-1]%mod;
    while(~scanf("%d",&n))
    {
        for(int i=1;i<=n;i++)scanf("%d",&p[i]);
        num=n;ans=1;
        memset(vis,0,sizeof(vis));
        for(int i=1;i<=n;i++)
            if(!vis[i])dfs(i,1,i);
        ans=(ll)ans*f[num]%mod;
        printf("%d\n",ans);
    }
    return 0;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值