题目地址

洛谷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. C#规范整理·语言要素

    如有不理解,请留言,开始! 1. 正确操作字符串 拼接字符串一定要考虑使用 StringBuilder ,默认长度为16,实际看情况设置. StringBuilder本质: 是以非托管方式分配内存. ...

  2. Python_元组、字典内建方法详解

    目录 目录 前言 软件环境 元组Tuple count 查询一个元素在Tuple中的数量 index 查询元素在Tuple中的索引号 元组的遍历 字典Dictionary 创建一个字典对象 简单的创建 ...

  3. jquery.qrcode.min.js——前端生成二维码

    下载地址:[http://www.jq22.com/jquery-info294] demo1:[https://www.helloweba.com/view-blog-226.html] demo2 ...

  4. python 一周总结

    从7月27前就开始了Djangoj框架的学习到今天一个项目实战已经过了一半了, django给我的感觉就像一个成熟的mov 首先是是数据模型层,Django已经成熟的加入了很多的数据模型供我们所使用 ...

  5. 利用Ansible模块copy和fetch进行主机间文件的传递

    场景: java应用程序和Ansible不在同一台机子,要读取的文件又在另一台主机. 主机a不能保存文件,可以临时保存. 文件都在主机b上保存. 需求: 需要将文件从主机c传到主机b,再从主机b传到主 ...

  6. C#模态对话框和非模态对话框

    模态对话框弹出窗口阻止调用窗口的所有消息响应.只有在弹出窗口结束后调用窗口才能继续.在模态窗口“关闭”后,可以读取模态窗口中信息,包括窗口的返回状态,窗口子控件的值. 非模态对话框可以在弹出窗口和调用 ...

  7. python,pycharm环境安装

    1.1 python3安装四部曲 第一步下载 地址 https://www.python.org/downloads/windows/ 第二步安装 1. 第三步 配置坏境变量 第四步 测试是否完成安装 ...

  8. python3.6 使用newspaper库的Article包来快速抓取网页的文章或者新闻等正文

    我主要是用了两个方法来抽去正文内容,第一个方法,诸如xpath,css,正则表达式,beautifulsoup来解析新闻页面的时候,总是会遇到这样那样各种奇奇怪怪的问题,让人很头疼.第二个方法是后面标 ...

  9. docker安装教程-centos

    Docker 要求CentOS 系统的内核版本在3.10以上,查看本页面的前提条件来验证你的CentOS 版本是否支持Docker . 1.通过uname -r 命令查看你当前的内核版本 uname ...

  10. IA-32 Assembly Language Reference Manual

    Load Full Pointer (lds,les, lfs, lgs, and lss) lds{wl} mem[32|48], reg[16|32]les{wl} mem[32|48], reg ...