题目地址

洛谷P3338

Solution

第一道FFT的应用AC祭!

我们要求:

\[E_j=\frac{F_j}{q_j}=\sum_{i<j}\frac{q_i}{(i-j)^2}-\sum_{i>j}\frac{q_i}{(i-j)^2}
\]

(\(q_j\) 直接在除法的时候消掉了qwq)

  • Step 0 卷积是什么?

首先我们要有明确的目标,我们要把上面的式子推成卷积的形式,我们就要来回顾一下卷积是什么。卷积的形式如下:

\[C_k=\sum_{i=0}^{k}A_i*B_{k-i}
\]

  • Step 1 直接推式子

有了目标,我们就好来推式子了(推式子真好玩),下面给出推理的重要步骤,尽量没有繁琐的步骤,读者可以自己思考一下。

\[E_j=\sum_{i<j}\frac{q_i}{(i-j)^2}-\sum_{i>j}\frac{q_i}{(i-j)^2}
\]

改变一下 \(\sum\) 的上下标表示形式,原式变成

\[\sum_{i=1}^{j-1}\frac{q_i}{(i-j)^2}-\sum_{i=j+1}^{n}\frac{q_i}{(i-j)^2}
\]

如果 \(i=j\) 也累加进去,对答案不影响,所以式子变成

\[\sum_{i=1}^{j}\frac{q_i}{(i-j)^2}-\sum_{i=j}^{n}\frac{q_i}{(i-j)^2}
\]

  • Step 2 转化

设 \(f[i]=q_i,g[i]=\frac{1}{i^2}\) ,所以原式变成

\[\sum_{i=1}^{j}f[i]*g[j-i]-\sum_{i=j}^{n}f[i]*g[i-j]
\]

令 \(f[0]=0,g[0]=0\),则原式变成

\[\sum_{i=0}^{j}f[i]*g[j-i]-\sum_{i=j}^{n}f[i]*g[i-j]
\]

这时我们发现,左边已经是一个卷积的形式,所以我们直接来推右边

将 \(\sum_{i=j}^{n}f[i]*g[i-j]\) 展开,发现:

\[f[j]*g[0]+f[j+1]*g[1]+...+f[j+(n-j)]*g[n-j]
\]

所以我们可以将原式写成

\[\sum_{i=0}^{n-j}f[j+i]*g[i]
\]

  • Step 3 继续转化

引入 \(f'[i]=f[n-i]\) ,实际上这是一种翻转的套路。则原式可写为

\[\sum_{i=0}^{n-j}f'[n-(j+i)]*g[i]
\]

\[\sum_{i=0}^{n-j}f'[n-j-i]*g[i]
\]

令 \(t = n-j\),则原式等于

\[\sum_{i=0}^{t}f'[t-i]*g[i]
\]

至此,我们成功的把两个式子化成了卷积!!!

总结一下:

\[E_j=\sum_{i=0}^{j}f[i]*g[j-i]-\sum_{i=0}^{t}f'[t-i)]*g[i]
\]

- Step 4 \(FFT\)加速卷积

设有多项式 \(A(x)=\sum_{i=0}^{n}f[i]\) , \(B(x)=\sum_{i=0}^{n}g[i]\) , \(C(x)=\sum_{i=0}^{n}f'[i]\),

我们令 \(L(x)=A(x)*B(x)\) , \(R(x)=C(x)*B(x)\)

所以 \(Ans[i]=l_i - r_{n-i}\) (\(l_i,r_i\) 分别是多项式 \(L(x)\) 和 \(R(x)\) \(x^i\) 的系数)

- Step 5 读到这里,你和暴力选手还没有差别 (逃

世界上卡你精度的办法有千千万万种。 ----By me

注意 \(g[i]=\frac{1}{i^2}\)

楼主在处理这里的时候写的是 1.0/(i*i*1.0),交上去只有 \(30pts\)。

在题解中看到大佬们处理这里时用的 (double)(1.0 / i / i),改一下后,\(100pts\)。

如果大家对处理精度问题有什么独特的见解,记得和我分享分享QwQ

Code

Talk is cheap.Show me the code.

#include<bits/stdc++.h>
using namespace std;
inline int read() {
int x=0,f=1; char ch=getchar();
while(ch<'0' || ch>'9') { if(ch=='-') f=-1; ch=getchar(); }
while(ch>='0'&&ch<='9') { x=(x<<3)+(x<<1)+(ch^48); ch=getchar(); }
return x * f;
}
const int N = 400007;
const double pi = acos(-1.0);
int n;
int rev[N];
struct CP {
double x,y;
CP operator + (CP el) { return (CP)<%x+el.x , y+el.y%>; }
CP operator - (CP el) { return (CP)<%x-el.x , y-el.y%>; }
CP operator * (CP el) { return (CP)<%x*el.x-y*el.y , x*el.y+y*el.x%>; }
}a[N],b[N],c[N];
void FFT(CP *A,int n,int flag) {
for(int i=0;i<n;++i) if(i < rev[i]) swap(A[i],A[rev[i]]);
for(int mid=1;mid<n;mid<<=1) {
CP Wn = (CP)<%cos(2*pi/(mid<<1)) , flag*sin(2*pi/(mid<<1))%>;
for(int i=0;i<n;i+=(mid<<1)) {
CP W = (CP)<%1 , 0%>;
for(int j=0;j<mid;++j,W=(W*Wn)) {
CP tmp0 = A[i+j], tmp1 = W*A[i+mid+j];
A[i+j] = tmp0 + tmp1;
A[i+mid+j] = tmp0 - tmp1;
}
}
}
if(flag == -1) {
for(int i=0;i<n;++i) A[i].x /= n;
}
}
int main()
{
//freopen("Li.txt","r",stdin);
//freopen("My.out","w",stdout);
n = read();
for(int i=1;i<=n;++i) {
scanf("%lf",&a[i].x);
c[n-i].x = a[i].x;
b[i].x = (double)(1.0 / i / i);
}
int lim = 1, L = 0; while(lim <= (n<<1)) lim <<= 1, ++L;
for(int i=0;i<lim;++i) rev[i] = (rev[i>>1]>>1) | ((i&1)<<(L-1));
FFT(a,lim,1), FFT(b,lim,1), FFT(c,lim,1);
for(int i=0;i<lim;++i) a[i] = a[i]*b[i], c[i] = c[i]*b[i];
FFT(a,lim,-1), FFT(c,lim,-1);
for(int i=1;i<=n;++i)
printf("%.3lf\n",a[i].x-c[n-i].x);
return 0;
}
/*
5
4006373.885184
15375036.435759
1717456.469144
8514941.004912
1410681.345880 -16838672.693
3439.793
7509018.566
4595686.886
10903040.872
*/

Summary

推理过程大部分是我自己的手推,和其他大佬不同请见谅,毕竟条条大路通罗马呗。

过程中的转折点就是我推不动的时候,所这个题目让我学会了:

  • 卷积 (雾 ,要把式子推成卷积形式

  • 巧设数组代替抽象的数学式子

  • 翻转序列的技巧

我多项式还是太菜了呢,赶紧去做题吧!QAQ

[ZJOI2014]力 题解的更多相关文章

  1. BZOJ3527:[ZJOI2014]力——题解

    http://www.lydsy.com/JudgeOnline/problem.php?id=3527 给出n个数qi,给出Fj的定义如下: 令Ei=Fi/qi,求Ei. 参考:https://ww ...

  2. [ZJOI3527][Zjoi2014]力

    [ZJOI3527][Zjoi2014]力 试题描述 给出n个数qi,给出Fj的定义如下: 令Ei=Fi/qi.试求Ei. 输入 包含一个整数n,接下来n行每行输入一个数,第i行表示qi. 输出 有n ...

  3. [洛谷P3338] [ZJOI2014]力

    洛谷题目链接:P3338 [ZJOI2014]力 题目描述 给出n个数qi,给出Fj的定义如下: \[F_j = \sum_{i<j}\frac{q_i q_j}{(i-j)^2 }-\sum_ ...

  4. bzoj3527: [Zjoi2014]力 fft

    bzoj3527: [Zjoi2014]力 fft 链接 bzoj 思路 但是我们求得是 \(\sum\limits _{i<j} \frac{q_i}{(i-j)^2}-\sum_{i> ...

  5. 洛谷 P3338 [ZJOI2014]力 解题报告

    P3338 [ZJOI2014]力 题目描述 给出n个数qi,给出Fj的定义如下: \(F_j = \sum_{i<j}\frac{q_i q_j}{(i-j)^2 }-\sum_{i>j ...

  6. 【BZOJ 3527】 3527: [Zjoi2014]力 (FFT)

    3527: [Zjoi2014]力 Time Limit: 30 Sec  Memory Limit: 256 MBSec  Special JudgeSubmit: 2003  Solved: 11 ...

  7. P3338 [ZJOI2014]力(FFT)

    题目 P3338 [ZJOI2014]力 做法 普通卷积形式为:\(c_k=\sum\limits_{i=1}^ka_ib_{k-i}\) 其实一般我们都是用\(i=0\)开始的,但这题比较特殊,忽略 ...

  8. [Luogu P3338] [ZJOI2014]力 (数论 FFT 卷积)

    题面 传送门: 洛咕 BZOJ Solution 写到脑壳疼,我好菜啊 我们来颓柿子吧 \(F_j=\sum_{i<j}\frac{q_i*q_j}{(i-j)^2}-\sum_{i>j} ...

  9. 笔记-[ZJOI2014]力

    [ZJOI2014]力 \[\begin{split} E_j=&\sum_{i=1}^{j-1}\frac{q_i}{(i-j)^2}-\sum_{i=j+1}^{n}\frac{q_i}{ ...

随机推荐

  1. Nodejs 之非阻塞 I/O、异步、事件驱动

    1.非阻塞 I/O var fs = require('fs'); console.log('); fs.readFile('mime.json',function (err,data) {//rea ...

  2. zabbix服务端安装

    1.安装zabbix服务(1)先rpm安装lamp环境 yum install -y httpd mysql mysql-libs php php-mysql mysql-server php-bcm ...

  3. 【C++学习笔记】static 关键字

    (阅读<C++ primer plus>可知 C++的static关键字跟Java还是很类似的) 为什么需要static关键字:在文件A中定义的非局部变量language,在文件B中可以通 ...

  4. 连接Xshell

    连xshell之前先进入[root@localhost zxj]# vim /etc/ssh/sshd_config, 将115行删除注释改为UseDNS  no, 保存重启sshd(xshell)的 ...

  5. LeetCode.925-长按的名字(Long Pressed Name)

    这是悦乐书的第355次更新,第380篇原创 01 看题和准备 今天介绍的是LeetCode算法题中Easy级别的第217题(顺位题号是925).你的朋友正在键盘上输入他的名字. 有时,在键入字符c时, ...

  6. 爬虫七之分析Ajax请求并爬取今日头条

    爬取今日头条图片 这里只讨论出现的一些问题,代码在最下面github链接里. 首先,今日头条取消了"图集"这一选项,因此对于爬虫来说效率降低了很多: 在所有代码都完成后,也许是爬取 ...

  7. reactstrap,scrollbar组件

    react-script 编译,部署,sass,less,test,helmet等 https://github.com/facebookincubator/create-react-app/blob ...

  8. Xcode增加头文件搜索路径的方法

    Xcode增加头文件搜索路径的方法 以C++工程为例: 在Build Settings 页面中的Search Paths一节就是用来设置头文件路径. 相关的配置项用红框框起来了,共有三个配置项: He ...

  9. excel常用快捷键和技巧

    1. Ctrl+方向键,对单元格光标快速移动,移动到数据边缘(空格位置). 2. Ctrl+方向键,对单元格光标快速移动,移动到数据边缘(空格位置). 3. Ctrl+A,选择整张表. 4. Ctrl ...

  10. poj1042(贪心+枚举)

    题目链接:https://vjudge.net/problem/POJ-1042 题意:给n个湖,给出每个湖第一次打捞时鱼的数量f[i],每单位时间鱼减少的数量d[i],从湖i到湖i+1用时t[i], ...