传送门:QAQQAQ

题意:给你一个数$n$,把它拆分成至多$k$个正整数,使得这些数的和等于$n$且每一个正整数的个数不能超过$4$

拆分的顺序是无序的,但取出每一个数方案是不同的(例如我要拆$1$,就有$4$种方案,因为$4$个“1”是不同的)

思路:依旧神仙题。。满分好像是什么BM算法,但这道题可以用矩阵快速幂卡过去

40分:暴力,我们把$n$种数拆分成$4*n$个数,然后跑01背包就可以了,防止MLE,可以开滚动,但注意转移时要反着来

#include<bits/stdc++.h>
using namespace std;
const int MOD=; int dp[][],n,k,a[]; int main()
{
while(scanf("%d%d",&n,&k)!=EOF)
{
if(k>n) k=n;
if(n==) break;
memset(dp,,sizeof(dp));
dp[][]=;
for(int i=;i<=*n;i++) a[i]=(i+)/;
for(int i=;i<=*n;i++)
{
for(int j=min(i,k);j>=;j--)
{
for(int t=n;t>=a[i];t--)
{
dp[t][j]=(dp[t][j]+dp[t-a[i]][j-])%MOD;
}
}
}
int ans=;
for(int i=;i<=k;i++) ans=(ans+dp[n][i])%MOD;
printf("%d\n",ans);
}
return ;
}

60分:我们考虑转移时优化一维——即把枚举数的ID这一维优化掉

我们对于转移进行分类讨论:

1.若转移前数列中没有1,那么我们就可以一次性往现数列中加1,并对新加上的1进行“不同化”——即对加进的t个1乘上C(4,t)(这样可以保证2,3,4……都已进行“不同化”)

2.若转移中有1,那么我们就把数列中所有数都加一,使其没有1

我们可以设$dp[i][j][bl]$为和为$i$,取了$j$个数,数列中是否含有1(这种设状态较好理解)

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll MOD=; ll dp[][][],n,k; void add(ll &x,ll y)
{
x+=y;
if(x>=MOD) x-=MOD;
}
ll c4[]={,,,,}; int main()
{
while(scanf("%lld%lld",&n,&k)!=EOF)
{
if(k>n) k=n;
if(n==&&k==) break;
memset(dp,,sizeof(dp));
dp[][][]=;
for(ll i=;i<=n;i++)
{
for(ll j=;j<=min(i,k);j++)
{
if(i>j)
{
add(dp[i][j][],dp[i-j][j][]);
add(dp[i][j][],dp[i-j][j][]);
}
for(ll t=;t<=min(j,4LL);t++)
add(dp[i][j][],dp[i-t][j-t][]*c4[t]%MOD);
}
}
ll ans=;
for(ll i=;i<=k;i++)
{
add(ans,dp[n][i][]);
add(ans,dp[n][i][]);
}
printf("%lld\n",ans);
}
return ;
}

当然,为了后面的满分代码更方便,我们考虑对状态进行降维,我们把最后bl去掉,把“所有数加1”和“往数组里加1”两个操作一起进行

考虑到满分是矩阵快速幂,我们把剩下的两位压进一维(k比较小,所以可以压)

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll MOD=; ll dp[],n,k; void add(ll &x,ll y)
{
x+=y;
if(x>=MOD) x-=MOD;
}
ll c4[]={,,,,};
ll id(ll x,ll y)
{
return x*+y;
} int main()
{
while(scanf("%lld%lld",&n,&k)!=EOF)
{
if(k>n) k=n;
if(n==&&k==) break;
memset(dp,,sizeof(dp));
dp[]=;
for(ll i=;i<=n;i++)
{
for(ll j=;j<=min(i,k);j++)
{
for(ll t=;t<=min(j,4LL);t++)
add(dp[id(i,j)],dp[id(i-j,j-t)]*c4[t]%MOD);
//先让原数组j-t个数都加1,再加入t个1
}
}
ll ans=;
for(ll i=;i<=k;i++)
{
add(ans,dp[id(n,i)]);
}
printf("%lld\n",ans);
}
return ;
}

100分:第二天补的。。。其实dp并不需要压入一维,而且dp压维因为转移的时候会涉及到dp[0][0],所以dp压维有点不方便,我们只需要在把dp数组弄进矩阵的时候压一压就可以了

我们考虑转移需要的最早的dp和转移的周期,本来想一个一个递推的,但这种要分类j是否大于4,所以每次矩阵都会改变,无法使用矩阵快速幂。

所以我们加大周期:每十个一次转移,$dp[i][j]$由$dp[i-j][j-t]$转移而来,所以我们对于要更新出的dp[m+1][j],枚举所有合法的t(此时t=j不合法,我们已经枚举了$dp[k][k]$前的所有状态,所以转移前状态$i$一定都大于0,所以此时$j=0$不合法)

所以总结一下,矩阵快速幂由这些要点:转移需要的最早的值,转移周期,和初始矩阵边界条件

我们把前$k*(k-1)$列都设为把ANS矩阵往前推10位,后k列根据$dp[m+1][j]$的转移前缀和系数在适当的位置填上$C(4,t)$,为了方便理解,下面打印一个k=5时的初始转移矩阵

(ANS矩阵时横着的,转移时ANS=ANS*B)

$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 $
$1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 $
$0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 $
$0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 $
$0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 $
$0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 $
$0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 $
$0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 $
$0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 $
$0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 $
$0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 $

代码:

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll MOD=; ll dp[][];
int n,k; void add(ll &x,ll y)
{
x+=y;
if(x>=MOD) x-=MOD;
}
ll c4[]={,,,,};
int id(int x,int y)
{
return (x-)*k+y;
} struct matrix{
ll a[][];
int n,m;
matrix(){}
matrix(int n,int m):n(n),m(m)
{
memset(a,,sizeof(a));
}
void print()
{
for(int i=;i<=n;i++)
{
for(int j=;j<=m;j++) printf("%lld ",a[i][j]);
puts("");
}
}
}; matrix operator * (matrix A,matrix B)
{
matrix C(A.n,B.m);
int t=min(A.m,B.n);
for(int i=;i<=C.n;i++)
{
for(int j=;j<=C.m;j++)
{
for(int p=;p<=t;p++)
add(C.a[i][j],A.a[i][p]*B.a[p][j]%MOD);
}
}
return C;
} matrix qpow(matrix B,matrix A,int y)
{
matrix Z=A;
while(y)
{
if(y&) Z=Z*B;
B=B*B;
y>>=;
}
return Z;
} void ready()
{
memset(dp,,sizeof(dp));
dp[][]=;
for(int i=;i<=;i++)
{
for(int j=;j<=min(k,i);j++)
{
for(int t=;t<=min(j,);t++)
add(dp[i][j],dp[i-j][j-t]*c4[t]%MOD);
//先让原数组j-t个数都加1,再加入t个1
}
}
} void make_matrix()
{
matrix A(k*k,k*k);
matrix B(k*k,k*k);
for(int i=;i<=A.m;i++) A.a[i][i]=;
for(int i=;i<=k*k-k;i++) B.a[i+k][i]=;
for(int j=;j<=k;j++)
{
for(int t=;t<=min(,j-);t++) //和已经大于k,不可能再从取数为0的情况下一次转移而来
//dp[2][1]就从dp[1][1]转移而来
{
B.a[id(k+-j,j-t)][k*k-k+j]=c4[t];
}
}
matrix C(,k*k);
for(int i=;i<=k;i++)
{
for(int j=;j<=k;j++)
{
C.a[][id(i,j)]=dp[i][j];
}
}
B=qpow(B,A,n-k);
C=C*B;
ll ans=;
for(int i=;i<=k;i++)
{
add(ans,C.a[][id(k,i)]);
}
printf("%lld\n",ans%MOD);
} int main()
{
while(scanf("%d%d",&n,&k)!=EOF)
{
if(k>n) k=n;
if(n==&&k==) break;
ready();
if(n<=k)
{
ll ans=;
for(int i=;i<=k;i++) add(ans,dp[n][i]);
printf("%lld\n",ans);
}
else make_matrix();
}
return ;
}

夏令营501-511NOIP训练18——高二学堂的更多相关文章

  1. XJOI 夏令营501-511NOIP训练18 高二学堂

    在美丽的中山纪念中学中,有座高二学堂,同样也是因为一个人,让它们变 成了现在这个样子~那就是我们伟大的级主任.因为他,我们又迎来了一个木有电影,只有对答案的段考日:又迎来了一个不是大礼拜,而是小礼拜的 ...

  2. test20190802 夏令营NOIP训练18

    今天的题很有难度啊.然而我10:40才看题-- 高一学堂 在美丽的中山纪念中学里面,有一座高一学堂.所谓山不在高,有仙则名:水不在深,有龙则灵.高一学堂,因为有了yxr,就成了现在这个样子 = =. ...

  3. 夏令营501-511NOIP训练18——高三楼

    传送门:QAQQAQ 题意:定义矩阵A与矩阵B重复,当且仅当A可以通过任意次行列交换得到B,例如下图A,B即为合法矩阵 现求对于$n*n$的矩阵有多少个不重复的矩阵 数据范围: 对于10%的数据 N≤ ...

  4. XJOI夏令营501训练1——分配工作

    传送门:QAQQAQ 题意:某公司有工作人员x1,x2,…,xn ,他们去做工作y1,y2,…,ym(n<=m) ,每个人都能做其中的几项工作,并且对每一项工作都有一个固定的效率.问能否找到一种 ...

  5. XJOI 夏令营501-511NOIP训练18 高三楼

    参观完各种饭堂,学校还有什么著名的景点呢?当然是教室了,此时此刻我 们来到了高三楼.你会发现高三楼门口会有以身份认证系统,这东西还有着一段疼人的历史.每年的九月到来,高三的童鞋大多不习惯学校的作息时间 ...

  6. 台州学院maximum cow训练记录

    前队名太过晦气,故启用最大牛 我们的组队大概就是18年初,组队阵容是17级生詹志龙.陶源和16级的黄睿博. 三人大学前均无接触过此类竞赛,队伍十分年轻.我可能是我们队最菜的,我只是知道的内容最多,靠我 ...

  7. Oracle汉字转拼音package

    --函数GetHzFullPY(string)用于获取汉字字符串的拼音 --select GetHzFullPY('中华人民共和国') from dual; --返回:ZhongHuaRenMinGo ...

  8. Linux运维之基础拾遗

    第一部分 Linux常用文件管理命令 1.1 cp 文件复制 常用选项 -i # 覆盖之前提醒用户确认 -f # 强制覆盖目标文件 -r # 递归复制目录 -d # 复制符号链接本身而非其指向的源文件 ...

  9. 获取文本的编码类型(from logparse)

    import java.io.BufferedReader; import java.io.File; import java.io.FileInputStream; import java.io.F ...

随机推荐

  1. Python_day01——变量

    变量 1.声明变量   name="钱成龙"  变量定义的规则: 变量名只能是 字母.数字或下划线的任意组合 变量名的第一个字符不能是数字 关键字不能声明为变量名 2.变量类型 整 ...

  2. IntelliJ IDEA创建Maven web项目速度慢的解决方法

    在Properties中添加Name:archetypeCatalog和Value:internal,如下图那样

  3. ES6(简单了解)

    1.import类似于var,不过是定义对外接口的,接受外部的文件. import  xx  from  xx ,有点像var i =3: 如import  profile  from './prof ...

  4. unittest框架学习笔记四之report

    # coding=utf-8'''created:2018/3/29 author:star project:test report'''# import time,os# from selenium ...

  5. 【转】java使用java.lang.management监视和管理 Java 虚拟机

    原文地址:https://blog.csdn.net/zhongweijian/article/details/7619383 软件包 java.lang.management 提供管理接口,用于监视 ...

  6. Linux 一些常识命令

    linux的性能优化: .CPU,MEM .DISK--RAID .网络相关的外设,网卡 linux系统性能分析: top:linux系统的负载,CPU,MEM,SWAP,占用CPU和内存比较的进程, ...

  7. [已解决]报错SyntaxError: Non-ASCII character '\xe6'

    解决方案:开头加上 # -*- coding: utf-8 -*

  8. 【洛谷】P1349广义斐波那契

    题目链接:https://www.luogu.org/problemnew/show/P1349 题意:现在定义fib数列为 an = p * an-1 + q * an-2求第n项%m的答案. 题解 ...

  9. QT MSVC2017 ratio chrono

    如果引用了stdint.h可能会引发一些列错误,各种未申明和语法错误. 参加以下帖子解决问题 https://github.com/ftylitak/qzxing/issues/54 When com ...

  10. Use on Git

    Preface            The document is about to introduce some specialties on PLM development and mainte ...