UOJ #272. 【清华集训2016】石家庄的工人阶级队伍比较坚强
md为了做这题恶补了之前一知半解的很多多项式相关姿势,才总算是写掉了这题
首先考虑一个暴力的矩乘做法,我们考虑设一个矩阵,其中即为轮后状态为的人的分数,很显然我们可以找出一个矩阵来进行转移,那么最后要求的就是
然后我们进行一个转化,令为三进制下不进位加法,为三进制下不退位减法,它们两个互为逆运算
然后我们根据剪刀石头布的定义可以知道当时,有
因此我们有,然后它也可以用归纳法扩展到
所以的第项就是:
然后我们发现这个式子就是一个卷积的形式,而且只需要的第一行即可
那么我们再化一下式子:
那么我们发现其实只要把的第一行和自己做次卷积即可,然后再卷上就是答案
那么现在我们要找到一个三进制不进位加法的卷积变换,那么它其实是一个循环卷积,它的一般形式是:
对于循环卷积的话其实就是对于它的卷积的矩阵的每一行都有:
因此的每一行都是方程组的一组解
但是我们都知道如果卷积没有逆变换(就叫鸡卷好了)就GG了,因此我们的还必须有逆矩阵
然后这也就说明的行列式不为,因此方程组至少要有组不同的解
所以这个矩阵应该怎么构造呢?然后如果你认真学了FFT的姿势就会知道这个矩阵就是范德蒙德矩阵
因此矩阵长这样:
即
那么它的逆矩阵为:
然后因为这题是三进制不进位加法,因此我们选三次单位根,然后我们发现所有的复数都可以被表示成的形式
又由单位根的一个性质,因此有,因此我们可以将乘出来的结果降幂,因此我们发现现在复数的乘法就是:
然后我们由上面的可知:
同时我们知道:
其中是单位矩阵,因此我们就把后面那个当作逆矩阵来算就好了
然后由于DFT和IDFT的本质都是分治做向量对矩阵的乘法,它每次IDFT的时候都多乘了一个,而一共有层,因此总共多乘了次,那么最后只要把所有元素都除以一个就好了!
PS:是不是明白了一般的FFT的转移系数是哪里来的,以及做一般卷积的时候要把扩大一倍(这样做循环卷积不会被膜到前面去),以及IDFT之后为什么要除以这些问题
然后提到除以我们就会想到是不是有逆元的问题,因为我们要求有逆元,那么也就是
假设,那么我们令,那么有:
与假设矛盾!因此得证
所以这题终于是做完了……
#include<cstdio>
#define RI register int
#define CI const int&
using namespace std;
const int N=531441,M=20;
int m,t,mod,n,x,b[M+5][M+5];
inline int sum(CI x,CI y)
{
int t=x+y; return t>=mod?t-mod:t;
}
inline int sub(CI x,CI y)
{
int t=x-y; return t<0?t+mod:t;
}
inline void exgcd(int& x,int& y,CI m,CI n)
{
if (!n) return (void)(x=1,y=0);
exgcd(y,x,n,m%n); y-=m/n*x;
}
inline int inv(CI x)
{
int m,n; exgcd(m,n,x,mod);
return (m%mod+mod)%mod;
}
struct Complex
{
int x,y; //x+y*w
inline Complex(CI X=0,CI Y=0)
{
x=X; y=Y;
}
friend inline Complex operator + (const Complex& A,const Complex& B)
{
return Complex(sum(A.x,B.x),sum(A.y,B.y));
}
friend inline Complex operator - (const Complex& A,const Complex& B)
{
return Complex(sub(A.x,B.x),sub(A.y,B.y));
}
friend inline Complex operator * (const Complex& A,const Complex& B)
{
return Complex(sub(1LL*A.x*B.x%mod,1LL*A.y*B.y%mod),
sub(sum(1LL*A.x*B.y%mod,1LL*A.y*B.x%mod),1LL*A.y*B.y%mod));
}
}f[N],g[N];
inline Complex quick_pow(Complex x,int p,Complex mul=Complex(1,0))
{
for (;p;p>>=1,x=x*x) if (p&1) mul=mul*x;
return mul;
}
inline Complex calc1(const Complex& A) //calc A*w
{
return Complex(mod-A.y,sub(A.x,A.y));
}
inline Complex calc2(const Complex& A) //calc A*w^2
{
return Complex(sub(A.y,A.x),mod-A.x);
}
inline void DFT(Complex *f)
{
RI mid,j,k; for (mid=1;mid<n;mid*=3)
for (j=0;j<n;j+=mid*3) for (k=0;k<mid;++k)
{
Complex x=f[j+k],y=f[j+k+mid],z=f[j+k+(mid<<1)];
f[j+k]=x+y+z; f[j+k+mid]=x+calc1(y)+calc2(z);
f[j+k+(mid<<1)]=x+calc2(y)+calc1(z);
}
}
inline void IDFT(Complex *f)
{
RI mid,j,k; for (mid=1;mid<n;mid*=3)
for (j=0;j<n;j+=mid*3) for (k=0;k<mid;++k)
{
Complex x=f[j+k],y=f[j+k+mid],z=f[j+k+(mid<<1)];
f[j+k]=x+y+z; f[j+k+mid]=x+calc2(y)+calc1(z);
f[j+k+(mid<<1)]=x+calc1(y)+calc2(z);
}
int invn=inv(n); for (RI i=0;i<n;++i) f[i].x=1LL*f[i].x*invn%mod;
}
int main()
{
RI i,j; for (scanf("%d%d%d",&m,&t,&mod),n=i=1;i<=m;++i) n*=3;
for (i=0;i<n;++i) scanf("%d",&x),f[i].x=x;
for (i=0;i<=m;++i) for (j=0;j<=m-i;++j) scanf("%d",&b[i][j]);
for (i=0;i<n;++i)
{
int x=i,cw=0,cl=0; while (x)
{
int nw=x%3; if (nw==1) ++cw;
else if (nw==2) ++cl; x/=3;
}
g[i].x=b[cw][cl];
}
for (DFT(f),DFT(g),i=0;i<n;++i) f[i]=f[i]*quick_pow(g[i],t);
for (IDFT(f),i=0;i<n;++i) printf("%d\n",f[i].x);
return 0;
}
【推荐】还在用 ECharts 开发大屏?试试这款永久免费的开源 BI 工具!
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· AI与.NET技术实操系列:使用Catalyst进行自然语言处理
· 分享一个我遇到过的“量子力学”级别的BUG。
· Linux系列:如何调试 malloc 的底层源码
· AI与.NET技术实操系列:基于图像分类模型对图像进行分类
· go语言实现终端里的倒计时
· 历时 8 年,我冲上开源榜前 8 了!
· 物流快递公司核心技术能力-海量大数据处理技术
· 四大AI编程工具组合测评
· 关于能否用DeepSeek做危险的事情,DeepSeek本身给出了答案
· 几个技巧,教你去除文章的 AI 味!