[ZJOI2014]力 题解
题目地址
Solution
第一道FFT的应用AC祭!
我们要求:
\]
(\(q_j\) 直接在除法的时候消掉了qwq)
Step 0 卷积是什么?
首先我们要有明确的目标,我们要把上面的式子推成卷积的形式,我们就要来回顾一下卷积是什么。卷积的形式如下:
\]
Step 1 直接推式子
有了目标,我们就好来推式子了(推式子真好玩),下面给出推理的重要步骤,尽量没有繁琐的步骤,读者可以自己思考一下。
\]
改变一下 \(\sum\) 的上下标表示形式,原式变成
\]
如果 \(i=j\) 也累加进去,对答案不影响,所以式子变成
\]
Step 2 转化
设 \(f[i]=q_i,g[i]=\frac{1}{i^2}\) ,所以原式变成
\]
令 \(f[0]=0,g[0]=0\),则原式变成
\]
这时我们发现,左边已经是一个卷积的形式,所以我们直接来推右边
将 \(\sum_{i=j}^{n}f[i]*g[i-j]\) 展开,发现:
\]
所以我们可以将原式写成
\]
Step 3 继续转化
引入 \(f'[i]=f[n-i]\) ,实际上这是一种翻转的套路。则原式可写为
\]
即
\]
令 \(t = n-j\),则原式等于
\]
至此,我们成功的把两个式子化成了卷积!!!
总结一下:
\]
- 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]力 题解的更多相关文章
- BZOJ3527:[ZJOI2014]力——题解
http://www.lydsy.com/JudgeOnline/problem.php?id=3527 给出n个数qi,给出Fj的定义如下: 令Ei=Fi/qi,求Ei. 参考:https://ww ...
- [ZJOI3527][Zjoi2014]力
[ZJOI3527][Zjoi2014]力 试题描述 给出n个数qi,给出Fj的定义如下: 令Ei=Fi/qi.试求Ei. 输入 包含一个整数n,接下来n行每行输入一个数,第i行表示qi. 输出 有n ...
- [洛谷P3338] [ZJOI2014]力
洛谷题目链接:P3338 [ZJOI2014]力 题目描述 给出n个数qi,给出Fj的定义如下: \[F_j = \sum_{i<j}\frac{q_i q_j}{(i-j)^2 }-\sum_ ...
- bzoj3527: [Zjoi2014]力 fft
bzoj3527: [Zjoi2014]力 fft 链接 bzoj 思路 但是我们求得是 \(\sum\limits _{i<j} \frac{q_i}{(i-j)^2}-\sum_{i> ...
- 洛谷 P3338 [ZJOI2014]力 解题报告
P3338 [ZJOI2014]力 题目描述 给出n个数qi,给出Fj的定义如下: \(F_j = \sum_{i<j}\frac{q_i q_j}{(i-j)^2 }-\sum_{i>j ...
- 【BZOJ 3527】 3527: [Zjoi2014]力 (FFT)
3527: [Zjoi2014]力 Time Limit: 30 Sec Memory Limit: 256 MBSec Special JudgeSubmit: 2003 Solved: 11 ...
- P3338 [ZJOI2014]力(FFT)
题目 P3338 [ZJOI2014]力 做法 普通卷积形式为:\(c_k=\sum\limits_{i=1}^ka_ib_{k-i}\) 其实一般我们都是用\(i=0\)开始的,但这题比较特殊,忽略 ...
- [Luogu P3338] [ZJOI2014]力 (数论 FFT 卷积)
题面 传送门: 洛咕 BZOJ Solution 写到脑壳疼,我好菜啊 我们来颓柿子吧 \(F_j=\sum_{i<j}\frac{q_i*q_j}{(i-j)^2}-\sum_{i>j} ...
- 笔记-[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}{ ...
随机推荐
- [SPSS]学习笔记--数据分布形状描述
以下内容摘自:公众号- SPSS生活统计学 保存做复习之用. 峰度(Kurtosis) 峰度是描述总体(样本)中所有取值分布形态陡缓程度的统计量.通过计算可以得到峰度系数,峰度系数与分布形态的关系是: ...
- Java学习笔记之ArrayList基本用法
原文地址,转载请注明出处:https://blog.csdn.net/GongchuangSu/article/details/51514389 ArrayList简介 ArrayList是一个其容量 ...
- 四十二:数据库之SQLAlchemy之数据查询懒加载技术
懒加载在一对多,或者多对多的时候,如果要获取多的这一部分的数据的时候,通过一个relationship定义好对应关系就可以全部获取,此时获取到的数据是list,但是有时候不想获取全部数据,如果要进行数 ...
- HttpRunnerManager(一)--安装
1.相关地址 (1)中文文档介绍:https://cn.httprunner.org/ (2)相关安装包下载地址:链接:https://pan.baidu.com/s/13SP1mFsNKrLK0sn ...
- 分期花呗 账户交易通知:尾号6932客户,您的申请已通过,账户余额38139元,无手续费,点t.cn/Aijsx9vq取款,回T退订。
10692285499 分期花呗 账户变动通知:尾号6932客户,您的申请已通过,账户余额5000元,请及时点击t.cn/AiOMsNAm取款,回T退订. 106935276259002分期花呗 账户 ...
- harbor仓库安装
https://6xyun.cn/article/50 环境: 192.168.0.65 harbor .docker 一.安装相关依赖 .安装Docker Docker 使用离线版docker-ce ...
- What is an Activation object in JavaScript ?
********************* from Professional JavaScript for Web Development Execution Context And Scope T ...
- git 合并远程分支
假设远程分支 dev-by-wbw 本地分支dev-by-wgg 在本地新建一个与远程的分支dev-by-wbw相同(被合并的版本)的分支dev-by-wbw git checkout - b or ...
- python3实现自动化框架robotframework(最新)
# python3.6及以上版本兼容RIDE1.7.3版本由于最近RIDE1.7.3的版本改进,RIDE这个版本对高版本的wxpython兼容很好,python3.6及以上版本都可以顺利运行RIDE为 ...
- C++写Socket——TCP篇(0)建立连接及双方传输数据
满山的红叶--飘落之时-- 最近接触了点关于用C++写socket的东西,这里总结下. 这里主要是关于TCP的,TCP的特点什么的相关介绍在我另一篇博文里,所以这里直接动手吧. 我们先在windows ...