2013长春网赛1009 hdu 4767 Bell(矩阵快速幂+中国剩余定理)
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4767
题意:求集合{1, 2, 3, ..., n}有多少种划分情况bell[n],最后结果bell[n] mod 95041567.
分析:首先了解三个概念:贝尔数 第二类斯特灵数 中国剩余定理
贝尔数是指基数为n的集合的划分方法的数目。

贝尔数适合递推公式:

每个贝尔数都是"第二类Stirling数"的和

贝尔数满足两个公式:(p为质数)
1) B[n+p] = B[n] + B[n+1] (mod p) ;
2) B[p^m+n] = m*B[n] + B[n+1] (mod p) .
将95041567质因数分解发现,95041567 = 31*37*41*43*47
所以B[n]%95041567可以分解为 B[n]%p(p=31,41,43,47),
我们可以先求出B[n] mod p[i]的值a[i],这样问题就转化为 X=a[i](mod p[i]),
很明显这是几个一次同余方程,最后用中国剩余定理合并就可以了。
那要怎么求B[n]%p[i]呢?
利用上面的公式(1),我们发现这是 一个递推式,所以可以利用矩阵法来求解。
我们可以构造一个大小为当前p*p的矩阵。
这样我们就可以求出任意的B[n]了
我们可以先用贝尔数递推公式
求出前50个贝尔数,因为p[i]<50,所以对于大于p[i]的贝尔数,由上面的矩阵法可以求得。
比如:| 1 1 0 0 .... 0 0 | | B[1] | | B[1+p] |
| 0 1 1 0 .... 0 0 | | B[2] | | B[2+p] |
| 0 0 1 1 .... 0 0 | | B[3] | | B[3+p] |
| .... .... .... .... | * | ..... | = | ..... |
| 0 0 0 0 .... 1 1 | | B[p-1] | | B[2p-1]|
| 1 1 0 0 .... 0 1 | | B[p] | | B[2p] |
若n=i+p,则只需求一次A*C=D,然后输出D[n-p]即D[i]就行了,
比如p[0]=31,如要求B[32]=B[1+31],只需求一次A*C=D,然后输出D[1],求B[51]则输出D[20]。
那么
若n=i+p^m,这只需求A^m*C=D,然后输出D[i]即可
到此算法结束
总结一下:
先用贝尔数递推公式求出前50个贝尔数,然后用矩阵快速幂分别求出bell[n]%p[i]赋给a[i],然后用中国剩余定理合并结果就可以求出bell[n]%95041567了。
AC代码如下:
#include<stdio.h>
#include<string.h>
#define LL __int64
int w[]={,,,,};
LL c[][][],bell[][];
LL a[];
struct Matrix{
LL m[][];
};
void init()
{
int i,j,k;
for(k=;k<;k++)
{
c[][][k]=;
for(i=;i<;i++) //c[i][j][k] 表示c(i,j)%w[k]
{
c[i][][k]=c[i][i][k]=;
for(j=;j<i;j++)
c[i][j][k]=(c[i-][j-][k]+c[i-][j][k])%w[k];
}
}
// 预处理出前50项分别取模的大小
for(k=;k<;k++)
{
bell[][k]=;
for(i=;i<;i++)
{
bell[i][k]=;
for(j=;j<i;j++)
{
bell[i][k]=(bell[i][k]+c[i-][j][k]*bell[j][k])%w[k];
}
}
}
}
LL exgcd(LL a,LL b,LL &x,LL &y) //扩展欧几里得
{
if(b==)
{
x=; y=;
return a;
}
LL d=exgcd(b,a%b,x,y);
LL t=x;
x=y;
y=t-a/b*y;
return d;
}
LL CRT(int k) //中国剩余定理
{
LL i,N=,ans=;
LL t,x,y,d;
for(i=;i<k;i++)
N*=w[i];
for(i=;i<k;i++)
{
t=N/w[i];
d=exgcd(t,w[i],x,y);
ans=(ans+x*t*a[i])%N;
}
return (ans+N)%N;
}
Matrix mul(Matrix x,Matrix y,int n,int mod) //矩阵乘法
{
int i,j,k;
Matrix tmp;
memset(tmp.m,,sizeof(tmp.m));
for(i=;i<=n;i++)
for(j=;j<=n;j++)
for(k=;k<=n;k++)
{
tmp.m[i][j]+=(x.m[i][k]*y.m[k][j])%mod;
tmp.m[i][j]%=mod;
}
return tmp;
}
Matrix quickpow(Matrix res,Matrix A,int k,int n,int mod) //矩阵快速幂模
{
int i;
memset(res.m,,sizeof(res.m));
for(i=;i<=n;i++)
res.m[i][i]=;
while(k)
{
if(k&)
res=mul(res,A,n,mod);
A=mul(A,A,n,mod);
k>>=;
}
return res;
}
LL BellNumber(int n,int p) //求bell[n][p]即bell[n]%w[p]
{
int i;
if(n<)
return bell[n][p];
Matrix A,origin,ans;
memset(A.m,,sizeof(A.m));
memset(origin.m,,sizeof(origin.m));
for(i=;i<w[p];i++)
A.m[i][i]=A.m[i][i+]=;
A.m[w[p]][]=;
A.m[w[p]][]=;
A.m[w[p]][w[p]]=;
for(i=;i<=w[p];i++)
origin.m[i][]=bell[i][p];
LL cnt=n/w[p];
n=n-w[p]*cnt;
Matrix res;
res=quickpow(res,A,cnt,w[p],w[p]);
ans=mul(res,origin,w[p],w[p]);
return ans.m[n][];
}
void solve(int n)
{
int i;
for(i=;i<;i++)
a[i]=BellNumber(n,i); //bell[n]mod各个质数的值
LL ans=CRT();
printf("%I64d\n",ans);
}
int main()
{
int t,n;
init();
scanf("%d",&t);
while(t--)
{
scanf("%d",&n);
solve(n);
}
return ;
}
2013长春网赛1009 hdu 4767 Bell(矩阵快速幂+中国剩余定理)的更多相关文章
- Bell(矩阵快速幂+中国剩余定理)
Bell Time Limit:3000MS Memory Limit:32768KB 64bit IO Format:%I64d & %I64u Submit Status ...
- 2013长春网赛1005 hdu 4763 Theme Section(kmp应用)
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4763 题意:给出一个字符串,问能不能在该串的前中后部找到相同的子串,输出最长的字串的长度. 分析:km ...
- 2013长春网赛1001 hdu 4759 Poker Shuffle
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4759 题意:有一堆2^n的牌,牌原先按(1,2,....k)排序,每一次洗牌都将牌分成两种情况:(1, ...
- 2013长春网赛1004 hdu 4762 Cut the Cake
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4762 题意:有个蛋糕,切成m块,将n个草莓放在上面,问所有的草莓放在同一块蛋糕上面的概率是多少.2 & ...
- 2013长春网赛1010 hdu 4768 Flyer
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4768 题意:有n个社团发传单,每个社团发给编号为A_i, A_i+C_i,A_i+2*C_i,…A_i ...
- 2013长春网赛 1006 hdu 4764 Stone(巴什博弈)
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4764 题意:Tang 和 Jiang 玩一个游戏,轮流写下一个数,Tang先手,第一次Tang只能写[ ...
- HDU.2640 Queuing (矩阵快速幂)
HDU.2640 Queuing (矩阵快速幂) 题意分析 不妨令f为1,m为0,那么题目的意思为,求长度为n的01序列,求其中不含111或者101这样串的个数对M取模的值. 用F(n)表示串长为n的 ...
- HDU 5667 构造矩阵快速幂
HDU 5667 构造矩阵快速幂 题目描述 解析 我们根据递推公式 设 则可得到Q的指数关系式 求Q构造矩阵 同时有公式 其中φ为欧拉函数,且当p为质数时有 代码 #include <cstdi ...
- HDU 6185 Covering 矩阵快速幂
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=6185 题意:用 1 * 2 的小长方形完全覆盖 4 * n的矩形有多少方案. 解法:小范围是一个经典题 ...
随机推荐
- redis主从搭建
两台服务器 127.0.0.101 A 主服务器 127.0.0.108 B 从服务器 从服务器设置 1.修改redis.conf 依次修改daemonize no改为daemonize yes 默 ...
- 微信小程序开发 [07] 写在后面的话
写在后面的话基本算是吐槽了,在学完小程序的课程之后,我用博客园的api,写了个闪存的小程序,本来兴致勃勃甚至这篇是准备写"我的第一个小程序发布啦",然而并没有. 不是说我偷懒了没写 ...
- odoo之recoed.append()方法
# 这里只是带数据到订单里面去,所以append要加append((0,0,)数据已经存在,放入到表中if dict: for line in dict: record.append((0,0,{'s ...
- TF-IDF算法-golang实现
1.TF-IDF算法介绍 TF-IDF(term frequency–inverse document frequency,词频-逆向文件频率)是一种用于信息检索(information retrie ...
- 大数据入门第十二天——sqoop入门
一.概述 1.sqoop是什么 从其官网:http://sqoop.apache.org/ Apache Sqoop(TM) is a tool designed for efficiently tr ...
- 20155311《网络对抗》Web安全基础实践
20155311<网络对抗>Web安全基础实践 基础问题回答 SQL注入攻击原理,如何防御? 原理:SQL注入攻击指的是通过构建特殊的输入作为参数传入Web应用程序,而这些输入大都是SQL ...
- vue 使用 proxyTable 解决跨域问题
1.在 main.js 中,在引入 axios: import axios from 'axios' Vue.config.productionTip = false Vue.prototype.$a ...
- TMS320VC5509驱动LCD1602之奇怪问题和时序图
1. 最近调试自己板子上LCD1602的时候,看下测试的时序图,因为下面的时序图导致LCD1602无法显示,下面的时序图是有问题的,E的上升沿和下降沿的时候,RW需要低电平 对比下淘宝上买的可以显示的 ...
- [BZOJ4144][AMPPZ2014]Petrol[多源最短路+MST]
题意 题目链接 分析 假设在 \(a \rightarrow b\) 的最短路径中出现了一个点 \(x\) 满足到 \(x\) 最近的点是 \(c\) ,那么我们完全可以从 \(a\) 直接走到 \( ...
- PowerBI开发 第十三篇:增量刷新
PowerBI 将要解锁增量刷新(Incremental refresh)功能,这是一个令人期待的更新,使得PowerBI可以加载大数据集,并能减少数据的刷新时间和资源消耗,该功能目前处于预览状态,只 ...