[agc008E]Next or Nextnext-[dp+思考题]

Description

传送门

Solution

官方题解

然后我谈下个人理解。由于我们的两个条件只要任意满足，则在p的图中i有两种连边法:i->p[i],i->p[p[i]]。

我们考虑在a的图中i->a[i]。可得我们要把p图塞到a图里。

具体分析看题解吧，题解图画的很清晰呀。然后。。就各种dp+乱搞了。

Code

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
using namespace std;
typedef long long ll;
const int mod=1e9+;
int n,x;
int a[];
int in[],col[],cir[];
int len[],cnt[];
ll dp[],ans=;
int main()
{
    scanf("%d",&n);
    for (int i=;i<=n;i++) scanf("%d",&a[i]);
    for (int i=;i<=n;i++)
    {
        in[a[i]]++;
        x=i;while (!col[x]) {col[x]=i;x=a[x];}
        if (col[x]!=i) continue;
        while (!cir[x]) {cir[x]=i;x=a[x];}
    }
    for (int i=;i<=n;i++)
    if ((cir[i]&&in[i]>)||(!cir[i]&&in[i]>)) return printf(""),;

    int js;
    for (int i=;i<=n;i++)
    {
        if (in[i]) continue;
        x=i;js=;
        while (!cir[x]) {js++;x=a[x];}
        len[x]=js;
    }
    int _len,fir,st,id;
    for (int i=;i<=n;i++)
    {
        if (!cir[i]) continue;
        x=i;
        _len=fir=st=id=;
        for(;cir[x];x=a[x])
        {
            id++;cir[x]=;
            if(len[x])
            {
                if (!fir){fir=st=id;_len=len[x];}
                else
                {
                    ans=ans*((len[x]<id-st)+(len[x]<=id-st))%mod;
                    if (!ans) return printf(""),;st=id;
                }
            }
        }
        if (fir)
        {
        ans=ans*((_len<id+fir-st)+(_len<=id+fir-st))%mod;
        if (!ans)return printf(""),;
        }
        else cnt[id]++;
    }
    for (int i=;i<=n;i++)
    {
        if (!cnt[i]) continue;
        dp[]=;
        if (i>&&i%)
        for (int j=;j<=cnt[i];j++)
        {
            dp[j]=dp[j-]*%mod;
            if (j>) dp[j]=(dp[j]+dp[j-]*(j-)*i%mod)%mod;
        } else
        for (int j=;j<=cnt[i];j++)
        {
            dp[j]=dp[j-];
            if (j>) dp[j]=(dp[j]+dp[j-]*(j-)*i%mod)%mod;
        }
        ans=ans*dp[cnt[i]]%mod;
        if (!ans) return printf(""),;
    }
    cout<<ans;
}