[BZOJ1004][HNOI2008]Cards-Burnside引理

Cards

Description

小春现在很清闲,面对书桌上的N张牌,他决定给每张染色,目前小春只有3种颜色:红色,蓝色,绿色.他询问Sun有多少种染色方案,Sun很快就给出了答案.

进一步,小春要求染出Sr张红色,Sb张蓝色,Sg张绿色.他又询问有多少种方案,Sun想了一下,又给出了正确答案. 最后小春发明了M种不同的洗牌法,这里他又问Sun有多少种不同的染色方案.两种染色方法相同当且仅当其中一种可以通过任意的洗牌法(即可以使用多种洗牌法,而每种方法可以使用多次)洗成另一种.

Sun发现这个问题有点难度,决定交给你,答案可能很大,只要求出答案除以P的余数(P为质数).

Input

第一行输入 5 个整数：Sr,Sb,Sg,m,p(m <= 60,m+1 < p < 100)。n=Sr+Sb+Sg。
接下来 m 行，每行描述一种洗牌法，每行有 n 个用空格隔开的整数 X1X2…Xn，恰为 1 到 n 的一个排列，表示使用这种洗牌法，第 i位变为原来的 Xi位的牌。
输入数据保证任意多次洗牌都可用这 m种洗牌法中的一种代替，且对每种洗牌法，都存在一种洗牌法使得能回到原状态。

Output

不同染法除以P的余数

Sample Input

1 1 1 2 7
2 3 1
3 1 2

Sample Output

2

HINT

有2 种本质上不同的染色法RGB 和RBG，使用洗牌法231 一次可得GBR 和BGR，使用洗牌法312 一次 可得BRG 和GRB。

100%数据满足 Max{Sr,Sb,Sg}<=20。

---

手残写出CE结果发现头文件没开够，本机没有报错……
还有这种操作(╯‵□′)╯︵┻━┻

---

思路:
这显然是个置换群相关的题目。
然后，注意到有颜色，咱不能用Polya。
那么考虑用Burnside引理：
通过dp求出对于每种洗牌法，也就是置换的不动点个数。
按照Burnside引理公式计算即可~

具体做法:
设f[i][j][k]表示当前枚举到第i个当前置换中的循环，用了j次红色，k次蓝色的方案数。
然后就是一个三维01背包了，物品便是当前置换中的循环。
这么做的原因是，如果想要在置换后某些位置不动，那么这些位置的颜色必须相同，因此做成一个背包即可~

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>

using namespace std;

inline int read()
{
    int x=0;char ch=getchar();
    while(ch<'0' || '9'<ch)ch=getchar();
    while('0'<=ch && ch<='9')x=x*10+(ch^48),ch=getchar();
    return x;
}

const int N=69;
const int M=29;

int n,m,p,ans;
int sr,sb,sg,tot;
int cnt[N],shuf[N];
int f[N][M][M];
bool vis[N];

inline int qpow(int a,int b)
{
    int ret=1;
    while(b)
    {
        if(b&1)
            ret=ret*a%p;
        a=a*a%p;
        b>>=1;
    }
    return ret;
}

int main()
{
    tot+=(sr=read());
    tot+=(sg=read());
    tot+=(sb=read());
    m=read()+1;p=read();

    for(int j=1;j<=m;j++)
    {
        if(j==m)
            for(int i=1;i<=tot;i++)
                shuf[i]=i;
        else
            for(int i=1;i<=tot;i++)
                shuf[i]=read();

        n=0;
        memset(vis,0,sizeof(vis));
        for(int i=1,tmp,pos;i<=tot;i++)
            if(!vis[i])
            {
                tmp=0,pos=i;
                while(!vis[pos])
                {
                    tmp++;
                    vis[pos]=1;
                    pos=shuf[pos];
                }
                cnt[++n]=tmp;
            }

        memset(f,0,sizeof(f));
        f[0][0][0]=1;
        for(int i=1;i<=n;i++)
            for(int r=0;r<=sr;r++)
                for(int g=0;g<=sg;g++)
                {
                    int b=tot-r-g;
                    if(!(b<0) || !(b>sb))
                    {
                        if(r>=cnt[i])
                            (f[i][r][g]+=f[i-1][r-cnt[i]][g])%=p;
                        if(g>=cnt[i])
                            (f[i][r][g]+=f[i-1][r][g-cnt[i]])%=p;
                        if(b>=cnt[i])
                            (f[i][r][g]+=f[i-1][r][g])%=p;
                    }
                }
        (ans+=f[n][sr][sg])%=p;
    }

    printf("%d\n",ans*qpow(m,p-2)%p);
    return 0;
}