标签：两把 相同 斧子 FFT NTT 相乘 Triple 刷题

正解是指数型母函数+FFT。

才学了多项式，做了一道比较好的题了。

首先有三个斧子被偷了。

我们考虑构造一种指数型母函数。

就是说一种多项式吧，我的理解。

系数是方案，下标，也就是所谓的元指数代表的是价值。

这样如果两个母函数相乘的话，指数相加，系数相乘。

正好就是两个单元合并之后的方案和价值。

$A(x),B(x),C(x)$分别代表一把相同的斧子用价值为x，2把为x，3把为x的方案数。

容斥一下。

三把的答案就是$A(x)*A(x)*A(x)-C_3^1A(x)B(x)+2C(x)$

解释一下，三把相乘得到每把斧子有三把的方案，但是每个只有一把，所以减掉有两把相同的，但是不知道是哪两把，所以乘$C_3^1$，最后发现两把相同的也包含三把相同的但是减掉了三次，而应当减一次，所以加回来两次。

要除以6，因为默认了有第一把第二把和第三把。

两把的话就是$A(x)*A(x)*-B(x)$要除以2。

同样简单的容斥即可。

一把就是$A(x)$了。

然后$FFT$乘一下就行了。

还没搞懂$NTT$。

猜测一下$NTT$的原理应该是和$FFT$一样的。

只不过是用了两个不同的群吧。

$FFT$用的是复数群，群运算是复数的$+-*/$。

$NTT$用的是$Z_p$也就是同余系，群运算是整数的$+-*/ mod $。

能够相通是因为对于复数群的$n$次单位根$w_n^1$，$Z_p$中有具有相同性质的原根$g$。

我猜。。。

标签：两把,相同,斧子,FFT,NTT,相乘,Triple,刷题
来源： https://www.cnblogs.com/Lrefrain/p/11563963.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。