【bzoj 1004】[HNOI2008]Cards(burnside 引理)
2016-05-22 10:10
429 查看
1004: [HNOI2008]Cards
Time Limit: 10 Sec Memory Limit: 162 MBSubmit: 2801 Solved: 1673
[Submit][Status][Discuss]
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 72 3 1
3 1 2
Sample Output
2HINT
有2 种本质上不同的染色法RGB 和RBG,使用洗牌法231 一次可得GBR 和BGR,使用洗牌法312 一次 可得BRG和GRB。
100%数据满足 Max{Sr,Sb,Sg}<=20。
Source
[Submit][Status][Discuss]
【题解】【Burnside 引理】
有m个置换k种颜色,所有本质不同的染色方案数就是每种置换的不变元素的个数的平均数。所谓不变元素就是一种染色方案经过置换变换后和没变化之前一样。所以现在就是需要求出不变元素,同时还要满足各种颜色数量的限制。置换的循环在不变元素中一定是一个颜色,然后可以求一个三维的01背包的方案数。而最后的除法需要利用扩展欧几里得求乘法的逆元。(转自:http://hzwer.com/3222.html)
Burnside
引理de公式:L=1/|G| [c1(a1)+...+cg(ag)] =1/|g| [c1(a1)+..+cg(ag)]
(将除法改为求逆元)
#include<cstdio> #include<cstring> #include<algorithm> using namespace std; int sr,sb,sg,m,n,mod; int f[70][70][70],a[70][70],d[70],ans; bool p[70]; inline int dp(int k) { memset(p,0,sizeof(p)); int sum=0,i,j,h,l; for(i=1;i<=n;++i) if(!p[i]) { j=i; d[++sum]=0; while(!p[j]) { d[sum]++; p[j]=1; j=a[k][j]; } } memset(f,0,sizeof(f)); f[0][0][0]=1; for(l=1;l<=sum;++l) for(i=sr;i>=0;--i) for(j=sb;j>=0;--j) for(h=sg;h>=0;--h) { if(i>=d[l]) f[i][j][h]=(f[i][j][h]+f[i-d[l]][j][h])%mod; if(j>=d[l]) f[i][j][h]=(f[i][j][h]+f[i][j-d[l]][h])%mod; if(h>=d[l]) f[i][j][h]=(f[i][j][h]+f[i][j][h-d[l]])%mod; } return f[sr][sb][sg]; } void exgcd(int a,int b,int &x,int &y) { if(!b) {x=1,y=0; return;} exgcd(b,a%b,x,y); int t=x; x=y; y=t-a/b*y; } int main() { int i,j; scanf("%d%d%d%d%d",&sr,&sb,&sg,&m,&mod); n=sr+sb+sg; for(i=1;i<=m;++i) for(j=1;j<=n;++j) scanf("%d",&a[i][j]); ++m; for(i=1;i<=n;++i) a[m][i]=i; for(i=1;i<=m;++i) ans=(ans+dp(i))%mod; int x,y; exgcd(m,mod,x,y); while(x<=0) x+=mod,y-=m; printf("%d\n",ans*x%mod); return 0; }
相关文章推荐
- BZOJ3275 Number (最小割)
- BZOJ2809——[Apio2012]dispatching
- BZOJ2809——[Apio2012]dispatching
- [bzoj1003] [ZJOI2006]物流运输trans
- [bzoj1500][NOI2005]维修数列
- [bzoj1208] [HNOI2004]宠物收养所
- [bzoj1269][AHOI2006]文本编辑器editort
- [bzoj1503][NOI2004]郁闷的出纳员
- bzoj4305 数学
- bzoj3926 广义后缀自动机
- bzoj2780 广义后缀自动机+parent树+Dfs序+树状数组
- BZOJ1997 2-sat
- bzoj4027 贪心
- [BZOJ2038][2009国家集训队][莫队][分块]小z的袜子
- [BZOJ2594][WC2006][LCT][MST]水管局长数据加强版
- [BZOJ2300][HAOI2011][动态凸包]防线修建
- [BZOJ1045][HAOI2008][贪心]糖果传递
- [BZOJ2539][CTSC2000][KM]丘比特的烦恼
- [BZOJ1004][HNOI2008][Burnside引理][DP]Cards
- BZOJ - 1609/USACO - Feb08 Silver Eating Together 麻烦的聚餐 重庆一中高2018级竞赛班第九次测试 2016.9.10 Problem 2