题目链接:Click here

Solution:

设\(f(x)\)代表第\(x\)个人送的礼物的数量,\(s(x)\)代表\(f(x)\)的前缀和,即:

\[f(x)=s(x-1)+x^k\\
s(x)=s(x-1)+f(x)\\
s(x)=2\times s(x-1)+x^k
\]

则我们只需求出\(s(n-1)\)即可,\(n\le1e18\),考虑矩阵快速幂优化\(dp\)

这里唯一麻烦的就是\(x^k\),考虑二项式定理:\((x+1)^k=\sum_{i=0}^k{k\choose i}x^{k-i}\)

则我们得到这样的转移:

\[\left[
\begin{matrix}
2&C_k^0&C_k^1&\dots &C_k^k\\
0&C_k^0&C_k^1&\dots &C_k^k\\
0&0&C_{k-1}^0&\dots &C_{k-1}^{k-1}\\
\vdots&\ddots&\dots& &\vdots\\
0&0&0&\dots&C_0^0
\end{matrix}
\right]
\left[
\begin{matrix}
s(x)\\
x^k\\
x^{(k-1)}\\
\vdots\\
x^0
\end{matrix}
\right]
=
\left[
\begin{matrix}
s(x+1)\\
(x+1)^k\\
(x+1)^{(k-1)}\\
\vdots\\
(x+1)^0
\end{matrix}
\right]
\]

Code:

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int mod=1e9+7;
int n,k,c[11][11];
struct Matrix{
int g[12][12],w,h;
void init(){memset(g,0,sizeof(g));}
void org(){for(int i=0;i<12;i++)g[i][i]=1;}
friend Matrix operator *(Matrix a,Matrix b){
Matrix tmp;tmp.w=a.w;tmp.h=b.h;tmp.init();
for(int i=0;i<a.w;i++)
for(int j=0;j<b.h;j++)
for(int k=0;k<a.h;k++)
tmp.g[i][j]=(tmp.g[i][j]+(a.g[i][k]*1ll*b.g[k][j])%mod)%mod;
return tmp;
}
};
Matrix qpow(Matrix a,int b){
Matrix re;re.w=re.h=k+2;
re.init();re.org();
while(b){
if(b&1) re=re*a;
b>>=1;a=a*a;
}return re;
}
int pow(int a,int b){
int re=1;
while(b){
if(b&1) re=(re*1ll*a)%mod;
b>>=1;a=(a*1ll*a)%mod;
}return re;
}
int read(){
int x=0,f=1;char ch=getchar();
while(!isdigit(ch)){if(ch=='-')f=-f;ch=getchar();}
while(isdigit(ch)){x=x*10+ch-48;ch=getchar();}
return x*f;
}
signed main(){
n=read(),k=read();
for(int i=0;i<=k;i++) c[i][i]=c[i][0]=1;
for(int i=1;i<=k;i++)
for(int j=1;j<i;j++)
c[i][j]=(c[i-1][j-1]+c[i-1][j])%mod;
Matrix trans;trans.w=k+2,trans.h=k+2;
trans.init();trans.g[0][0]=2;
for(int i=1;i<=k+1;i++) trans.g[0][i]=c[k][i-1];
for(int i=1;i<=k+1;i++)
for(int j=i;j<=k+1;j++)
trans.g[i][j]=c[k+1-i][j-i];
if(n==1) return puts("1"),0;
trans=qpow(trans,n-2);
Matrix ans;ans.w=k+2;ans.h=1;ans.init();
for(int i=0;i<=k+2;i++) ans.g[i][0]=1;
ans=trans*ans;printf("%lld\n",(ans.g[0][0]+pow(n%mod,k))%mod);
return 0;
}

「SNOI2017」礼物的更多相关文章

  1. loj2253 「SNOI2017」礼物

    对于一个在位置 \(i\) 的数,他等于 \(i^k+sum_{1,k-1}\). 二项式定理推 \(i^k\),矩阵快速幂即可. #include <iostream> #include ...

  2. AC日记——「HNOI2017」礼物 LiBreOJ 2020

    #2020. 「HNOI2017」礼物 思路: A题进程: 一眼出式子->各种超时过不去->看题解明白还有fft这个东西->百度文库学习fft->学习dft->学习fft ...

  3. loj #2255. 「SNOI2017」炸弹

    #2255. 「SNOI2017」炸弹 题目描述 在一条直线上有 NNN 个炸弹,每个炸弹的坐标是 XiX_iX​i​​,爆炸半径是 RiR_iR​i​​,当一个炸弹爆炸时,如果另一个炸弹所在位置 X ...

  4. loj #2254. 「SNOI2017」一个简单的询问

    #2254. 「SNOI2017」一个简单的询问 题目描述 给你一个长度为 NNN 的序列 aia_ia​i​​,1≤i≤N1\leq i\leq N1≤i≤N,和 qqq 组询问,每组询问读入 l1 ...

  5. loj#2255. 「SNOI2017」炸弹 线段树优化建图,拓扑,缩点

    loj#2255. 「SNOI2017」炸弹 线段树优化建图,拓扑,缩点 链接 loj 思路 用交错关系建出图来,发现可以直接缩点,拓扑统计. 完了吗,不,瓶颈在于边数太多了,线段树优化建图. 细节 ...

  6. 「SNOI2017」一个简单的询问

    「SNOI2017」一个简单的询问 简单的解法 显然可以差分一下. \[get(l,r,x)\times get(l1,r1,x)=get(1,r,x) \times get(1,r1,x)-get( ...

  7. LOJ——#2256. 「SNOI2017」英雄联盟

    https://loj.ac/problem/2256 题目描述 正在上大学的小皮球热爱英雄联盟这款游戏,而且打的很菜,被网友们戏称为「小学生」.现在,小皮球终于受不了网友们的嘲讽,决定变强了,他变强 ...

  8. 「Poetize9」礼物运送

    3055: 礼物运送 Time Limit: 3 Sec  Memory Limit: 128 MBSubmit: 18  Solved: 12[Submit][Status] Description ...

  9. LOJ2255. 「SNOI2017」炸弹 (线段树)

    本文为线段树做法 (听说可以tarjan缩点+拓扑? 感觉差不多..而且这样看起来方便很多 找到左端点的过程可以看作 点 -> 区间内lowerbound最小的点 -> lowerboun ...

随机推荐

  1. python3.6以后的新写法

    声明redis_store为StrictRedis 类型,值为None,用处:在别处调用时,如果redis_store仍为None,不会有提示(自动补全的提示),如果想要自动补全的提示则写成这样,函数 ...

  2. Postgresql explain的analyze和buffers选项

    sql查询分析: 原文地址:https://blog.csdn.net/qq_28893679/article/details/78316283

  3. Java-this关键词

    this关键词 1,this调用本类属性 在程序里面是有this可以实现以下三类的结构的描述: ·当前类中的属性:this.属性: ·当前类中的方法(普通方法.构造方法):this().this.方法 ...

  4. Http请求头缓存设置方法

    1.直接在.aspx页面中设置最直接的,在.aspx页面中添加一行如下代码: <%@ OutputCache Duration="3600" VaryByParam=&quo ...

  5. svn的一些使用技巧

    新项目的目录结构说明: 代码分三部分 1.01_Trunk(开发主干) 2.02_Branches(开发分支) 3.03_Tags(提交代码区) 文档区 请注意SVN的路径是区分大小写的! 与VSS的 ...

  6. 帝国cms常用标签

    .loop获取时间标签 /*获取年月日,时分秒.可以按照自己的需求单独获取年,或者月.*/ <?=date("Y-m-d H:i:s",$bqr[newstime])?> ...

  7. S=a+aa+aaa...(js)

    /*求s=a+aa+aaa+aaaa+aa...a的值,其中a是一个数字. 例如2+22+222+2222+22222(此时共有5个数相加),几个数相加有键盘控制.*/ let readline = ...

  8. SQL 多表查询展示

    ########################多表########################SELECT COUNT(*) FROM MEMBER1 A; 查询出来的结果为43行数据: SEL ...

  9. Linux学习--第九天--du、df、fsck、dumpe2fs、mount、NTFS-3G、fdisk、partprobe、/etc/fstab、free、mkswap、swapon

    分区类型 主分区:最多只能分四个 扩展分区:只能有一个,如果有了扩展分区,主分区只能有三个.扩展分区不能格式化和存储数据,再划分为逻辑分区才能进行相应操作. 逻辑分区:IDE硬盘,linux最多支持5 ...

  10. 【转】(深入理解计算机系统) bss段,data段、text段、堆(heap)和栈(stack)

    bss段: bss段(bss segment)通常是指用来存放程序中未初始化的全局变量的一块内存区域. bss是英文Block Started by Symbol的简称. bss段属于静态内存分配. ...