【HNOI】矩阵染色 数论
【题目描述】一个2*i的矩阵,一共有m种颜色,相邻两个格子颜色不能相同,m种颜色不必都用上,f[i]表示这个答案,求Σf[i]*(2*i)^m (1<=i<=n)%p。
【数据范围】
20% n,m<10^5 p<10^9
其余 n<10^9
其中40% m<100 p<10^9
20% m<10^3 p<10^9
20% m<10^4 p<10^3
首先我们可以推导出f[i]的式子,f[1]=m*(m-1),因为其余的格子,我们第一个格子可以放m-1种颜色,第二个格子在第一个格子和上一层第二个格子颜色不同时有m-2种情况,相同时有m-1种情况,那么我们可以得出f[i]=f[i-1]*(m^2-3*m+3),设a=m^2-3*m+3,那么问题就变成了求2^m*m*(m-1)/a*Σa^i*i^m (1<=i<=n)。
对于前20%的数据,我们可以暴力的nlogm递推求解。
对于中间的20%数据,我们可以化简一下求解式。
设w[i][j]为Σa^j*j^k (1<=j<=i),那么答案就成了2^m*m*(m-1)/a*w[n][m],现在的问题就是求解w[n][m]。
w[n][m]=Σa^i*i^m (1<=i<=n),w[n+1][m]=Σa^i*i^m (1<=i<=n+1)=a+Σa^i*i^m (2<=i<=n+1)=a+a*Σa^i*(i+1)^m (1<=i<=n)
那么我们可以根据二项式展开来化简,w[n+1][m]=a+a*Σa^iΣc(m,j)*i^j (1<=i<=n) (0<=j<=m)=a+a*Σc(m,j)*w[n][j] (0<=j<=m),那么这样我们就可以写一个矩阵来加速在n^3logn的时间内求解了。
对于m<10^3的情况,w[n+1][m]=w[n][m]+a^(n+1)*(i+1)^m。根据刚才的推导,w[n+1][m]=a+a*Σc(m,j)*w[n][j] (0<=j<=m)。所以我们可以得到
w[n][m]+a^(n+1)*(i+1)^m=a+a*Σc(m,j)*w[n][j] (0<=j<=m),这样我们发现,如果我们知道了w[n][m]之前的w[n][j],那么我们可以在m的时间内反解出w[n][j]。
对于最后的20%,我们发现p非常小,考虑答案的求和式Σa^i*i^m,发现这个式子之和i和i^m有关,当i,i^m和j,j^m关于mod p相等之后,那么i与j之后的变换是相同的,我们可以发现一共有p^2个不同的情况,那么我们记下来这个循环之后就可以算出来了。
//By BLADEVIL
#include <cstdio>
#define LL long long
#define maxp 1010
#define maxm 1010 using namespace std; int n,m,p,a;
int mo[maxp],next[maxp],w[maxm],c[maxm][maxm];
int flag[maxp][maxp],f[maxp*maxp],g[maxp*maxp]; int mi(int a,int k) {
int ans=;
while (k) {
if (k&) ans=((LL)ans*a)%p;
a=((LL)a*a)%p;
k>>=;
}
return ans;
} void work1() {
int ans=;
ans=((LL)m*(m-))%p; ans=((LL)ans*mi(,m))%p;
ans=((LL)ans*mi(a,p-))%p; //printf("%d\n",ans);
int cur=;
for (int i=;i<=n;i++) cur=((LL)cur+(LL)mi(a,i)*mi(i,m))%p;
ans=((LL)ans*cur)%p;
printf("%d\n",ans);
} void work2() {
int i,l,r;
f[]=(LL)m*(m-)%p; g[]=(LL)f[]*mi(,m)%p;
flag[][f[]]=;
for (i=;i<=n;i++) {
f[i]=(LL)f[i-]*a%p;
g[i]=(LL)f[i]*mi(*i,m)%p;
if (flag[i%p][f[i]]) {
l=flag[i%p][f[i]];
r=i-;
break;
}
flag[i%p][f[i]]=i;
}
//printf("%d %d %d %d\n",l,r,i,g[i]);
int len=r-l+,ans=,tmp=;
for (int j=;j<l;j++) ans=(ans+g[j])%p;
n-=l-;
for (int j=l;j<=r;j++) tmp=(tmp+g[j])%p;
ans=(ans+(LL)tmp*(n/len)%p)%p;
for (int j=;j<=n%len;j++) ans=(ans+g[l+j-])%p;
printf("%d\n",ans);
} void work3() {
for (int i=;i<=m;i++) {
c[i][]=c[i][i]=;
for (int j=;j<i;j++) c[i][j]=(c[i-][j]+c[i-][j-])%p;
}
int ans=;
ans=((LL)m*(m-))%p; ans=((LL)ans*mi(,m))%p;
ans=((LL)ans*mi(a,p-))%p; //printf("%d\n",ans);
//for (int i=1;i<=m;i++) printf("%d ",c[m][i]); printf("\n");
w[]=((LL)mi(a,n+)-a+p)%p; w[]=((LL)w[]*mi(a-,p-))%p;
//printf("%d\n",w[0]);
for (int i=;i<=m;i++) {
w[i]=((LL)mi(a,n+)*mi(n+,i)-a+p)%p;
for (int j=;j<i;j++) w[i]=((LL)w[i]-((LL)a*c[i][j]%p*w[j]%p)+p)%p;
w[i]=(LL)w[i]*mi(a-,p-)%p;
w[i]%=p;
}
//printf("%d\n",w[m]);
ans=((LL)ans*w[m])%p;
printf("%d\n",ans);
} int main() {
freopen("color.in","r",stdin); freopen("color.out","w",stdout);
scanf("%d%d%d",&n,&m,&p);
a=((LL)m*m-*m+)%p;
if (n<=) work1(); else
if (m>) work2(); else work3();
fclose(stdin); fclose(stdout);
return ;
}
【HNOI】矩阵染色 数论的更多相关文章
- 【BZOJ3243】【NOI2013】向量内积(矩阵,数论)
[BZOJ3243][NOI2013]向量内积(矩阵,数论) 题面 BZOJ 题解 这题好神仙. 首先\(60\)分直接是送的.加点随机之类的可以多得点分. 考虑正解. 我们先考虑一下暴力. 我们把\ ...
- 矩阵乘法快速幂 codevs 1250 Fibonacci数列
codevs 1250 Fibonacci数列 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 钻石 Diamond 题目描述 Description 定义:f0=f1=1 ...
- Codevs 1287 矩阵乘法&&Noi.cn 09:矩阵乘法(矩阵乘法练手题)
1287 矩阵乘法 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 黄金 Gold 题解 查看运行结果 题目描述 Description 小明最近在为线性代数而头疼, ...
- Codevs 1305 Freda的道路(矩阵乘法 DP优化)
1305 Freda的道路 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 大师 Master 题目描述 Description Freda要到Rainbow的城堡去玩了.我们可以认 ...
- Codevs 1482 路线统计(矩阵乘法)
1482 路线统计 时间限制: 1 s 空间限制: 256000 KB 题目等级 : 钻石 Diamond 题目描述 Description N个节点的有向图, 求从start到finish刚好经过时 ...
- Codevs 1070 普通递归关系(矩阵乘法)
1070 普通递归关系 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 大师 Master 题目描述 Description 考虑以下定义在非负整数n上的递归关系 f(n) = f0 ...
- 1250 Fibonacci数列(矩阵乘法)
1250 Fibonacci数列 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 钻石 Diamond 题目描述 Description 定义:f0=f1=1, fn=fn-1+fn ...
- Codevs 1574 广义斐波那契数列(矩阵乘法)
1574 广义斐波那契数列 时间限制: 1 s 空间限制: 256000 KB 题目等级 : 钻石 Diamond 题目描述 Description 广义的斐波那契数列是指形如an=p*an-1+q* ...
- Codeforces Round #344 (Div. 2) B. Print Check
B. Print Check time limit per test 1 second memory limit per test 256 megabytes input standard input ...
随机推荐
- TCP标志位简析
TCP标志位简析 TCP标志位 URG:此标志表示TCP包的紧急指针域(后面马上就要说到)有效,用来保证TCP连接不被中断,并且督促中间层设备要尽快处理这些数据: ACK:此标志表示应答域有效, ...
- [转]matlab语言中的assert断言函数
MATLAB语言没有系统的断言函数,但有错误报告函数 error 和 warning.由于要求对参数的保护,需要对输入参数或处理过程中的一些状态进行判断,判断程序能否/是否需要继续执行.在matlab ...
- PowerDesigner 建表语句没出现字段描述
填写了Name 还是没有 修改步骤如下:
- [POI2007]ZAP-Queries && [HAOI2011]Problem b 莫比乌斯反演
1,[POI2007]ZAP-Queries ---题面---题解: 首先列出式子:$$ans = \sum_{i = 1}^{n}\sum_{j = 1}^{m}[gcd(i, j) == d]$$ ...
- Android 数据库升级中数据保持和导入已有数据库
一.数据库升级: 在我们的程序中,或多或少都会涉及到数据库,使用数据库必定会涉及到数据库的升级,数据库升级带来的一些问题,如旧版本数据库的数据记录的保持,对新表的字段的添加等等一系列问题,还记得当我来 ...
- POJ2074:Line of Sight——题解
http://poj.org/problem?id=2074 题目大意:(下面的线段都与x轴平行)给两条线段,一个点在其中一条线段看另一条线段,但是中间有很多线段阻挡视线.求在线段上最大连续区间使得在 ...
- BZOJ5319 & 洛谷4559 & LOJ2551:[JSOI2018]军训列队——题解
https://www.lydsy.com/JudgeOnline/problem.php?id=5319 https://www.luogu.org/problemnew/show/P4559 ht ...
- BZOJ1492: [NOI2007]货币兑换Cash 【dp + CDQ分治】
1492: [NOI2007]货币兑换Cash Time Limit: 5 Sec Memory Limit: 64 MB Submit: 5391 Solved: 2181 [Submit][S ...
- 牛客网 提高组第8周 T1 染色
染色 链接: https://ac.nowcoder.com/acm/contest/176/A 来源:牛客网 题目描述 \(\tt{fizzydavid}\)和\(\tt{leo}\)有\(n\)个 ...
- 洛谷 U32911 道路维护 解题报告
U32911 道路维护 题目背景 最近很多人投诉说C国的道路破损程度太大,以至于无法通行. C国的政府很重视这件事,但是最近财政有点紧,不可能将所有的道路都进行维护,所以他们决定按照下述方案进行维护. ...