【LOJ6067】【2017 山东一轮集训 Day3】第三题 FFT

题目大意

  给你 \(n,b,c,d,e,a_0,a_1,\ldots,a_{n-1}\),定义

\[\begin{align}
x_k&=b\times c^{4k}+d\times c^{2k}+e\\
f(x)&=\sum_{i=0}^{n-1}a_ix^i
\end{align}
\]

  求 \(f(x_0),f(x_1),\ldots,f(x_{n-1})\)。

  对 \({10}^6+3\) 取模。

题解

  直接多项式多点求值(显然)会TLE。

  当 \(c=0\) 时:

\[\begin{align}
x_k&=
\begin{cases}
b+d+e,&k=0\\
e,&k\neq 0\\
\end{cases}
\end{align}
\]

  直接求就好了。

  当 \(c\neq 0,b=0\) 时:

\[\begin{align}
f(x_k)&=\sum_{i=0}^{n-1}a_i{(dc^{2k}+e)}^i\\
&=\sum_{i=0}^{n-1}a_i\sum_{j=0}^{i}{(dc^{2k})}^je^{i-j}\binom{i}{j}\\
&=\sum_{j=0}^{n-1}\frac{1}{j!}d^jc^{2kj}\sum_{i=j}^{n-1}i!a_ie^{i-j}\frac{1}{(i-j)!}\\
&=\sum_{j=0}^{n-1}\frac{1}{j!}d^jc^{2kj}\sum_{i=0}^{n-j-1}(n-i-1)!a_{n-i-1}e^{(n-i-1)-j}\frac{1}{((n-i-1)-j)!}\\
&=\sum_{j=0}^{n-1}\frac{1}{j!}d^jc^{2kj}g_j\\
&=\sum_{j=0}^{n-1}\frac{1}{j!}d^jc^{k^2-({k-j)}^2+j^2}g_j\\
&=c^{k^2}\sum_{j=0}^{n-1}\frac{1}{j!}d^jc^{j^2}g_j\frac{1}{c^{{(k-j)}^2}}
\end{align}
\]

  当 \(c\neq 0,b\neq 0\) 时:

\[\begin{align}
bc^{4k}+dc^{2k}+e&=b(c^{4k}+\frac{d}{b}c^{2k})+e\\
&=b(c^{4k}+\frac{d}{b}c^{2k}+{(\frac{d}{2b})}^2-{(\frac{d}{2b})}^2)+e\\
&=b{(c^{2k}+\frac{d}{2b})}^2-\frac{d^2}{4b}+e\\
&=b{(c^{2k}+d')}^2+e'\\
\end{align}
\]

  然后用 \(d'\) 和 \(e'\) 替换原来的 \(d\) 和 \(e\):

\[\begin{align}
f(x_k)&=\sum_{i=0}^{n-1}a_i{(b{(c^{2k}+d)}^2+e)}^i\\
&=\sum_{i=0}^{n-1}a_i\sum_{j=0}^{i}b^j{(c^{2k}+d)}^{2j}e^{i-j}\binom{i}{j}\\
&=\sum_{j=0}^{n-1}b^j{(c^{2k}+d)}^{2j}\frac{1}{j!}\sum_{i=j}^{n-1}a_ii!e^{i-j}\frac{1}{i-j}\\
&=\sum_{j=0}^{n-1}b^j{(c^{2k}+d)}^{2j}\frac{1}{j!}g_j\\
&=\sum_{j=0}^{n-1}b^j\frac{1}{j!}g_j\sum_{i=0}^{2j}c^{2ki}d^{2j-i}\binom{2j}{i}\\
&=\sum_{i=0}^{2n-2}c^{2ki}\frac{1}{i!}\sum_{j=\lceil\frac{i}{2}\rceil}^{n-1}\frac{(2j)!}{j!}b^jg_j\frac{1}{(2j-i)!}d^{2j-i}\\
&=\sum_{i=0}^{2n-2}c^{2ki}\frac{1}{i!}\sum_{2j\geq i}^{2n-2}\frac{(2j)!}{j!}b^jg_j\frac{1}{(2j-i)!}d^{2j-i}\\
&=\sum_{i=0}^{2n-2}c^{2ki}\frac{1}{i!}h_i\\
&=c^{k^2}\sum_{i=0}^{2n-2}\frac{1}{i!}c^{i^2}h_i\frac{1}{c^{{(i-k)}^2}}
\end{align}
\]

  那些卷积都可以FFT(任意模数FFT)。

  时间复杂度:\(O(n\log n)\)

代码

  1. #include<cstdio>
  2. #include<cstring>
  3. #include<algorithm>
  4. #include<cstdlib>
  5. #include<ctime>
  6. #include<utility>
  7. #include<functional>
  8. #include<cmath>
  9. #include<vector>
  10. #include<assert.h>
  11. //using namespace std;
  12. using std::min;
  13. using std::max;
  14. using std::swap;
  15. using std::sort;
  16. using std::reverse;
  17. using std::random_shuffle;
  18. using std::lower_bound;
  19. using std::upper_bound;
  20. using std::unique;
  21. typedef long long ll;
  22. typedef unsigned long long ull;
  23. typedef std::pair<int,int> pii;
  24. typedef std::pair<ll,ll> pll;
  25. void open(const char *s){
  26. #ifndef ONLINE_JUDGE
  27. char str[100];sprintf(str,"%s.in",s);freopen(str,"r",stdin);sprintf(str,"%s.out",s);freopen(str,"w",stdout);
  28. #endif
  29. }
  30. int rd(){int s=0,c,b=0;while(((c=getchar())<'0'||c>'9')&&c!='-');if(c=='-'){c=getchar();b=1;}do{s=s*10+c-'0';}while((c=getchar())>='0'&&c<='9');return b?-s:s;}
  31. void put(int x){if(!x){putchar('0');return;}static int c[20];int t=0;while(x){c[++t]=x%10;x/=10;}while(t)putchar(c[t--]+'0');}
  32. int upmin(int &a,int b){if(b<a){a=b;return 1;}return 0;}
  33. int upmax(int &a,int b){if(b>a){a=b;return 1;}return 0;}
  34. const ll p=1000003;
  35. const int N=530000;
  36. ll fp(ll a,ll b)
  37. {
  38. if(!b)
  39. return 1;
  40. b=(b%(p-1)+p-1)%(p-1);
  41. ll s=1;
  42. for(;b;b>>=1,a=a*a%p)
  43. if(b&1)
  44. s=s*a%p;
  45. return s;
  46. }
  47. namespace fft
  48. {
  49. const int W=524288;
  50. const ll M=1000;
  51. typedef double db;
  52. db pi=acos(-1);
  53. struct cp
  54. {
  55. db x,y;
  56. cp(db a=0,db b=0):x(a),y(b){}
  57. };
  58. cp operator +(cp a,cp b){return cp(a.x+b.x,a.y+b.y);}
  59. cp operator -(cp a,cp b){return cp(a.x-b.x,a.y-b.y);}
  60. cp operator *(cp a,cp b){return cp(a.x*b.x-a.y*b.y,a.x*b.y+a.y*b.x);}
  61. cp operator /(cp a,int b){return cp(a.x/b,a.y/b);}
  62. cp conj(cp a){return cp(a.x,-a.y);}
  63. cp muli(cp a){return cp(-a.y,a.x);}
  64. cp divi(cp a){return cp(a.y,-a.x);}
  65. int rev[N];
  66. cp *w[20];
  67. void fft(cp *a,int n,int t)
  68. {
  69. for(int i=1;i<n;i++)
  70. {
  71. rev[i]=(rev[i>>1]>>1)|(i&1?n>>1:0);
  72. if(rev[i]>i)
  73. swap(a[rev[i]],a[i]);
  74. }
  75. for(int i=2,s=1;i<=n;i<<=1,s++)
  76. for(int j=0;j<n;j+=i)
  77. for(int k=0;k<i/2;k++)
  78. {
  79. cp u=a[j+k];
  80. cp v=a[j+k+i/2]*w[s][k];
  81. a[j+k]=u+v;
  82. a[j+k+i/2]=u-v;
  83. }
  84. if(t==-1)
  85. {
  86. reverse(a+1,a+n);
  87. for(int i=0;i<n;i++)
  88. a[i]=a[i]/n;
  89. }
  90. }
  91. void dft(db *a,db *b,cp *c,cp *d,int n)
  92. {
  93. static cp a1[N],a2[N];
  94. for(int i=0;i<n;i++)
  95. a1[i]=cp(a[i],b[i]);
  96. fft(a1,n,1);
  97. for(int i=0;i<n;i++)
  98. a2[i]=conj(a1[i]);
  99. reverse(a2+1,a2+n);
  100. for(int i=0;i<n;i++)
  101. {
  102. c[i]=(a1[i]+a2[i])/2;
  103. d[i]=divi(a1[i]-a2[i])/2;
  104. }
  105. }
  106. void idft(db *a,db *b,cp *c,cp *d,int n)
  107. {
  108. static cp a1[N];
  109. for(int i=0;i<n;i++)
  110. a1[i]=c[i]+muli(d[i]);
  111. fft(a1,n,-1);
  112. for(int i=0;i<n;i++)
  113. {
  114. a[i]=a1[i].x;
  115. b[i]=a1[i].y;
  116. }
  117. }
  118. void init()
  119. {
  120. for(int i=1;i<=19;i++)
  121. w[i]=new cp[1<<(i-1)];
  122. for(int i=0;i<W/2;i++)
  123. w[19][i]=cp(cos(2*pi/W*i),sin(2*pi/W*i));
  124. for(int i=18;i>=1;i--)
  125. for(int j=0;j<1<<(i-1);j++)
  126. w[i][j]=w[i+1][j<<1];
  127. }
  128. void mul(ll *a,ll *b,ll *c,int n,int m,int l)
  129. {
  130. static db a1[N],a2[N],b1[N],b2[N],c1[N],c2[N],d1[N],d2[N];
  131. static cp a3[N],a4[N],b3[N],b4[N],c3[N],c4[N],d3[N],d4[N];
  132. int k=1;
  133. while(k<=n+m)
  134. k<<=1;
  135. for(int i=0;i<k;i++)
  136. a1[i]=a2[i]=b1[i]=b2[i]=0;
  137. for(int i=0;i<=n;i++)
  138. {
  139. a[i]=(a[i]+p)%p;
  140. a1[i]=a[i]/M;
  141. a2[i]=a[i]%M;
  142. }
  143. for(int i=0;i<=m;i++)
  144. {
  145. b[i]=(b[i]+p)%p;
  146. b1[i]=b[i]/M;
  147. b2[i]=b[i]%M;
  148. }
  149. dft(a1,a2,a3,a4,k);
  150. dft(b1,b2,b3,b4,k);
  151. for(int i=0;i<k;i++)
  152. {
  153. c3[i]=a3[i]*b3[i];
  154. c4[i]=a3[i]*b4[i];
  155. d3[i]=a4[i]*b3[i];
  156. d4[i]=a4[i]*b4[i];
  157. }
  158. idft(c1,c2,c3,c4,k);
  159. idft(d1,d2,d3,d4,k);
  160. for(int i=0;i<=l;i++)
  161. c[i]=((ll)(c1[i]+0.5)%p*M%p*M%p+(ll)(c2[i]+0.5)%p*M%p+(ll)(d1[i]+0.5)%p*M%p+(ll)(d2[i]+0.5)%p)%p;
  162. }
  163. }
  164. int n;
  165. ll B,C,D,E;
  166. ll a[N];
  167. ll inv[N],fac[N],ifac[N];
  168. void init()
  169. {
  170. inv[1]=fac[0]=fac[1]=ifac[0]=ifac[1]=1;
  171. for(int i=2;i<=200000;i++)
  172. {
  173. inv[i]=-p/i*inv[p%i]%p;
  174. inv[i]=(inv[i]+p)%p;
  175. fac[i]=fac[i-1]*i%p;
  176. ifac[i]=ifac[i-1]*inv[i]%p;
  177. }
  178. }
  179. namespace pregao
  180. {
  181. ll b[N],c[N],s[N];
  182. void gao()
  183. {
  184. for(int i=0;i<n;i++)
  185. {
  186. b[i]=a[n-i-1]*fac[n-i-1]%p;
  187. c[i]=ifac[i]*fp(E,i)%p;
  188. }
  189. fft::mul(b,c,s,n-1,n-1,n-1);
  190. reverse(s,s+n);
  191. }
  192. }
  193. namespace gao1
  194. {
  195. ll d[N],e[N],f[N],g[N],h[N],ans[N];
  196. void gao()
  197. {
  198. pregao::gao();
  199. for(int i=0;i<n;i++)
  200. {
  201. d[i]=pregao::s[i]*fp(D,i)%p*fp(C,(ll)i*i)%p*ifac[i]%p;
  202. e[i]=fp(C,-(ll)i*i);
  203. }
  204. fft::mul(d,e,f,n-1,n-1,n-1);
  205. reverse(d,d+n);
  206. e[0]=0;
  207. fft::mul(d,e,g,n-1,n-1,n-1);
  208. for(int i=0;i<n;i++)
  209. {
  210. ans[i]=((f[i]+g[n-i-1])%p+p)%p;
  211. ans[i]=ans[i]*fp(C,(ll)i*i)%p;
  212. }
  213. for(int i=0;i<n;i++)
  214. printf("%lld\n",ans[i]);
  215. }
  216. }
  217. namespace gao2
  218. {
  219. ll b[N],c[N],d[N],e[N],f[N],g[N],ans[N];
  220. void gao()
  221. {
  222. E=(E-D*D%p*fp(4*B,p-2)%p+p)%p;
  223. D=D*fp(2*B,p-2)%p;
  224. pregao::gao();
  225. for(int i=0;i<n;i++)
  226. b[2*n-2*i-2]=fac[2*i]*ifac[i]%p*pregao::s[i]%p*fp(B,i)%p;
  227. for(int i=0;i<2*n-1;i++)
  228. c[i]=fp(D,i)*ifac[i]%p;
  229. fft::mul(b,c,d,2*n-2,2*n-2,2*n-2);
  230. reverse(d,d+2*n-1);
  231. for(int i=0;i<2*n-1;i++)
  232. {
  233. d[i]=d[i]*ifac[i]%p*fp(C,(ll)i*i)%p;
  234. e[i]=fp(C,-(ll)i*i);
  235. }
  236. fft::mul(d,e,f,n-1,n-1,n-1);
  237. reverse(d,d+2*n-1);
  238. e[0]=0;
  239. fft::mul(d,e,g,2*n-2,2*n-2,2*n-2);
  240. for(int i=0;i<n;i++)
  241. ans[i]=(fp(C,(ll)i*i)*(f[i]+g[2*n-i-2])%p+p)%p;
  242. for(int i=0;i<n;i++)
  243. printf("%lld\n",ans[i]);
  244. }
  245. }
  246. namespace gao0
  247. {
  248. void gao()
  249. {
  250. ll ans=0;
  251. for(int i=n-1;i>=0;i--)
  252. {
  253. ans=ans*(E+B+D)%p;
  254. ans=(ans+a[i])%p;
  255. }
  256. printf("%lld\n",ans);
  257. ans=0;
  258. for(int i=n-1;i>=0;i--)
  259. {
  260. ans=ans*E%p;
  261. ans=(ans+a[i])%p;
  262. }
  263. for(int i=1;i<n;i++)
  264. printf("%lld\n",ans);
  265. }
  266. }
  267. int main()
  268. {
  269. open("loj6067");
  270. fft::init();
  271. init();
  272. scanf("%d%lld%lld%lld%lld",&n,&B,&C,&D,&E);
  273. for(int i=0;i<n;i++)
  274. a[i]=rd();
  275. if(!C)
  276. gao0::gao();
  277. else if(!B)
  278. gao1::gao();
  279. else
  280. gao2::gao();
  281. return 0;
  282. }

【LOJ6067】【2017 山东一轮集训 Day3】第三题 FFT的更多相关文章

  1. 【LOJ#6066】「2017 山东一轮集训 Day3」第二题(哈希,二分)

    [LOJ#6066]「2017 山东一轮集训 Day3」第二题(哈希,二分) 题面 LOJ 题解 要哈希是很显然的,那么就考虑哈希什么... 要找一个东西可以表示一棵树,所以我们找到了括号序列. 那么 ...

  2. [LOJ#6066]. 「2017 山东一轮集训 Day3」第二题[二分+括号序列+hash]

    题意 题目链接 分析 首先二分,假设二分的答案为 \(mid\),然后考虑利用括号序列来表示树的形态. 点 \(u\) 的 \(k-\) 子树的括号序列表示实际上是刨去了 \(u\) 子树内若干个与 ...

  3. LOJ6066:「2017 山东一轮集训 Day3」第二题

    传送门 二分答案 \(k\),考虑如何 \(hash\) 使得做起来方便 把每个点挂在 \(k+1\) 级祖先上,考虑在祖先上删除 这道题巧妙在于其可以对于 \(dfs\) 序/括号序列 \(hash ...

  4. LOJ.6066.[2017山东一轮集训Day3]第二题(树哈希 二分)

    LOJ 被一件不愉快的小事浪费了一个小时= =. 表示自己(OI方面的)智商没救了=-= 比较显然 二分+树哈希.考虑对树的括号序列进行哈希. 那么每个点的\(k\)子树的括号序列,就是一段区间去掉距 ...

  5. loj6100 「2017 山东二轮集训 Day1」第一题

    传送门:https://loj.ac/problem/6100 [题解] 我们考虑维护从某个端点开始的最长满足条件的长度,如果知道了这个东西显然我们可以用主席树来对每个节点建棵关于右端点的权值线段树, ...

  6. Loj #6069. 「2017 山东一轮集训 Day4」塔

    Loj #6069. 「2017 山东一轮集训 Day4」塔 题目描述 现在有一条 $ [1, l] $ 的数轴,要在上面造 $ n $ 座塔,每座塔的坐标要两两不同,且为整点. 塔有编号,且每座塔都 ...

  7. Loj #6073.「2017 山东一轮集训 Day5」距离

    Loj #6073.「2017 山东一轮集训 Day5」距离 Description 给定一棵 \(n\) 个点的边带权的树,以及一个排列$ p\(,有\)q $个询问,给定点 \(u, v, k\) ...

  8. Loj 6068. 「2017 山东一轮集训 Day4」棋盘

    Loj 6068. 「2017 山东一轮集训 Day4」棋盘 题目描述 给定一个 $ n \times n $ 的棋盘,棋盘上每个位置要么为空要么为障碍.定义棋盘上两个位置 $ (x, y),(u, ...

  9. 「2017 山东一轮集训 Day5」苹果树

    「2017 山东一轮集训 Day5」苹果树 \(n\leq 40\) 折半搜索+矩阵树定理. 没有想到折半搜索. 首先我们先枚举\(k\)个好点,我们让它们一定没有用的.要满足这个条件就要使它只能和坏 ...

随机推荐

  1. WebService访问oracle数据库本地调试

    WebService访问oracle数据库本地调试-一步一个坑 上篇文章提到我们额数据库挂了,重装了数据库,然后呢我需要在本地调试WebService,看看那些数据结构缺失,迁移到新数据库中去.踩坑之 ...

  2. c或c++利用scanf无限输入并进行简单操作如比大小等

    #include <iostream> using namespace std; int main() { ; ) //scanf返回值为int类型表示成功输入的数据数量个数 { if(n ...

  3. Android入门第一课之Java基础

    通知:由于本周六场地申请没通过,所以本周的培训临时取消. 今天给大家带来的是Android入门的第一课,由于教室申请的不确定性,因此,每次培训的内容都会在博客先提前释放出来.首先Android的APP ...

  4. Android studio设置文件头,定制代码注释

    一.说明 在下载或者看别人的代码我们常会看见,每一个文件的上方有个所属者的备注.如果要是一个一个备注那就累死了. 二.设置方法 File >>> Setting >>&g ...

  5. 新更新,又是一年了。这次记录下关于android版的WeiboDemo的问题

    时隔一年多,现在又开始折腾android的代码了.之前看了Learning android,就想看下能否移植到Weibo.然后就下了weibo的代码,代码包里有个实例叫WeiboSDKDemo. 为了 ...

  6. idea部署Maven入门(一)——环境变量的配置和下载

        介绍:       1  Maven是用来管理jar包的一种工具,       2  Maven主要是构建java项目和java web项目        3 maven项目管理所依赖的jar ...

  7. 坚定关于考研或者工作的决定:work

    转眼之间,我已经夸过了大二结束的节点,已经是一个准大三了: 在这个岔路口,首要的选择就是考研和工作的选择:我也有过犹豫要不要考研,最终还是放弃了考研的想法,从考研的利弊两个方面来谈:        首 ...

  8. JMeter接口测试 (二) ~ 参数化

    对应qq群号:616961231 上篇内容介绍了jmeter的基本使用, 略微提了如何做参数化,  本篇对参数化做进一步深入讲解, 参数化可以将一个变量使用不同数据, 比如有多个用户下单购买商品,调用 ...

  9. linux FTP安全配置

    linux FTP安全配置 关闭防火墙,selinux安全机制   service iptables stop  setenforce 0 匿名用户 匿名用户只能访问ftp服务器上的/var/ftp/ ...

  10. 本机不安装Oracle客户端,使用PL/SQL Developer和 Instant Client 工具包连接oracle 11g远程数据库

    一.先到Oracle网站下载Instant Client 下载地址:http://www.oracle.com/technetwork/cn/database/features/instant-cli ...