[HNOI2017] 礼物 - 多项式乘法FFT
题意:给定两个 \(n\) 元环,环上每个点有权值,分别为 \(x_i, y_i\)。定义两个环的差值为
\]
可以旋转其中的一个环,或者将其中一个环的每种权值加上一个数。求最小化的差值。
Solution: 加数只需要加在一个上面即可(假设可以为负),那么差值可以写成
\]
我们可以将差值定义为旋转位数\(k\)与加数\(c\)的函数,即 \(f(k,c)\) 。我们现在要找的就是二元函数的峰值。展开得
\]
我们惊喜地发现没有交叉项,即
\]
那么我们只需要分别最小化两部分即可。
考虑\(g(k)\),翻转序列\(x\),这是一个循环卷积的形式。我们可以将序列\(y\)扩增一倍来转化为线性卷积。那么此时
\]
对应到多项式乘法上,找\(g(k)\)的最小值,即在幂次为 \([n-1,2n-1)\) 的项中找最大系数即可。
考虑\(h(c)\),由于\(m \leq 100\),暴力枚举即可。
#include<bits/stdc++.h>
#define pi acos(-1)
using namespace std;
struct poly {
typedef complex<double> E;
int n,m;
vector <double> c;
void read(int deg) {
c.resize(deg+1);
for(int i=0;i<=deg;i++) scanf("%lf",&c[i]);
}
void write() {
for(int i=0;i<c.size();i++) printf("%lf ",c[i]);
printf("\n");
}
void fft(E *a,int f,int *R){
for(int i=0;i<n;i++)if(i<R[i])swap(a[i],a[R[i]]);
for(int i=1;i<n;i<<=1){
E wn(cos(pi/i),f*sin(pi/i));
for(int p=i<<1,j=0;j<n;j+=p){
E w(1,0);
for(int k=0;k<i;k++,w*=wn){
E x=a[j+k],y=w*a[j+k+i];
a[j+k]=x+y;a[j+k+i]=x-y;
}
}
}
}
void mul(vector<double> A, vector<double> B){
int *R; E *a,*b; int L=0;
int _s=(A.size()+B.size()+2)<<5;
a=(E*)malloc(_s); b=(E*)malloc(_s); R=(int*)malloc(_s);
memset(a,0,_s);memset(b,0,_s);memset(R,0,_s);
n=A.size()-1; for(int i=0;i<=n;i++) a[i]=A[i];
m=B.size()-1; for(int i=0;i<=m;i++) b[i]=B[i];
m=n+m;for(n=1;n<=m;n<<=1)L++;
for(int i=0;i<n;i++)R[i]=(R[i>>1]>>1)|((i&1)<<(L-1));
fft(a,1,R);fft(b,1,R);
for(int i=0;i<=n;i++)a[i]=a[i]*b[i];
fft(a,-1,R);
c.resize(m+1);
for(int i=0;i<=m;i++)c[i]=a[i].real()/n;
free(a); free(b); free(R);
}
poly mul(poly pa,poly pb) {
poly pc; pc.mul(pa.c,pb.c); return pc;
}
poly operator * (const poly &pb) {
poly ret = mul(*this,pb); return ret;
}
poly operator *= (const poly &pb) {
mul(this->c,pb.c); return *this;
}
};
int n,m,a[100005],b[100005];
int main() {
ios::sync_with_stdio(false);
cin>>n>>m;
for(int i=0;i<n;i++) cin>>a[i];
for(int i=0;i<n;i++) cin>>b[i];
long long sx=0,sy=0;
for(int i=0;i<n;i++) sx+=a[i],sy+=b[i];
long long px=0,py=0;
for(int i=0;i<n;i++) px+=a[i]*a[i],py+=b[i]*b[i];
long long ans = 1e+9;
for(int i=-100;i<=100;i++) {
ans = min(ans, n*i*i+2*i*sx-2*i*sy);
}
ans += px + py;
poly x,y;
x.c.resize(n);
for(int i=0;i<n;i++) x.c[i]=a[n-i-1];
y.c.resize(2*n);
for(int i=0;i<n;i++) y.c[i]=y.c[i+n]=b[i];
poly z=x*y;
long long mx=0;
for(int i=0;i<n;i++) mx=max(mx,(long long)(z.c[n+i-1]+0.5));
cout<<ans-2*mx<<endl;
}
[HNOI2017] 礼物 - 多项式乘法FFT的更多相关文章
- 多项式乘法(FFT)学习笔记
------------------------------------------本文只探讨多项式乘法(FFT)在信息学中的应用如有错误或不明欢迎指出或提问,在此不胜感激 多项式 1.系数表示法 ...
- 【learning】多项式乘法&fft
[吐槽] 以前一直觉得这个东西十分高端完全不会qwq 但是向lyy.yxq.yww.dtz等dalao们学习之后发现这个东西的代码实现其实极其简洁 于是趁着还没有忘记赶紧来写一篇博 (说起来这篇东西的 ...
- 洛谷.3803.[模板]多项式乘法(FFT)
题目链接:洛谷.LOJ. FFT相关:快速傅里叶变换(FFT)详解.FFT总结.从多项式乘法到快速傅里叶变换. 5.4 又看了一遍,这个也不错. 2019.3.7 叕看了一遍,推荐这个. #inclu ...
- @总结 - 1@ 多项式乘法 —— FFT
目录 @0 - 参考资料@ @1 - 一些概念@ @2 - 傅里叶正变换@ @3 - 傅里叶逆变换@ @4 - 迭代实现 FFT@ @5 - 参考代码实现@ @6 - 快速数论变换 NTT@ @7 - ...
- [uoj#34] [洛谷P3803] 多项式乘法(FFT)
新技能--FFT. 可在 \(O(nlogn)\) 时间内完成多项式在系数表达与点值表达之间的转换. 其中最关键的一点便为单位复数根,有神奇的折半性质. 多项式乘法(即为卷积)的常见形式: \[ C_ ...
- BZOJ4827 [Hnoi2017]礼物 多项式 FFT
原文链接http://www.cnblogs.com/zhouzhendong/p/8823962.html 题目传送门 - BZOJ4827 题意 有两个长为$n$的序列$x$和$y$,序列$x,y ...
- UOJ 34 多项式乘法 FFT 模板
这是一道模板题. 给你两个多项式,请输出乘起来后的多项式. 输入格式 第一行两个整数 nn 和 mm,分别表示两个多项式的次数. 第二行 n+1n+1 个整数,表示第一个多项式的 00 到 nn 次项 ...
- 【Luogu3808】多项式乘法FFT(FFT)
题目戳我 一道模板题 自己尝试证明了大部分... 剩下的还是没太证出来... 所以就是一个模板放在这里 以后再来补东西吧.... #include<iostream> #include&l ...
- 【模板】多项式乘法(FFT)
题目描述 给定一个n次多项式F(x),和一个m次多项式G(x). 请求出F(x)和G(x)的卷积. 输入输出格式 输入格式: 第一行2个正整数n,m. 接下来一行n+1个数字,从低到高表示F(x)的系 ...
随机推荐
- setter&getter
let _age = 4 class Animal { construct (type){ this.type = type } get age(){ return _age } set age(va ...
- 从HTML到node.js以及跨域问题的解决
废话不多说,直接上代码 网页客户端 <!DOCTYPE html> <html> <head> <meta http-equiv="Content- ...
- C# MVC 全局错误Application_Error中处理(包括Ajax请求)
在MVC的Global.asax Application_Error 中处理全局错误. 如果在未到创建请求对象时报错,此时 Context.Handler == null . 判断为Ajax请求时,我 ...
- VS2019 backspace键失效,无法使用
原因:据网上其他资源了解,可能是和其它的快捷键冲突了,但是我这边没有设置快捷键,突然就这样了,出现原因不详,有了解的伙伴可以留言学习一下. 解决方法:工具=>设置=>键盘=>点击重置
- Cmake编译库注意
在生成工程文件后要在Debug x64模式下菜单栏选择:生成->生成解决方案,等10几分钟然后在Cmake Targets下INSTALL,点击“仅用于项目->仅生成INSTALL”,然后 ...
- C++析构、拷贝、赋值、移动拷贝函数的几个知识点(不全)
怕忘了,写这:析构函数不会释放指针成员指向的对象. 众所周知,C++的类如果没有默认构造函数,会自动生成一个. 同理,如果没有复制构造函数即A::A(const A&){}这个函数 ,则系统也 ...
- 嵊州D6T2 城市 city
城市 city [问题描述] 众所周知,why 是czyz 王国的国王. czyz 王国一共有n 个城市,每个城市都有一条道路连向一个城市(可能连向这个城市自己). 同时,对于每一个城市,也只有一条道 ...
- exiftool生成XMP文件方法
ExifTool是一个独立于平台的Perl库,另外还有一个命令行应用程序,用于读取,编写和编辑各种文件中的元信息.ExifTool支持许多不同的元数据格式,包括EXIF,Gps,IPTC,XMP,JF ...
- 2019-08-23 纪中NOIP模拟A组
T1 [JZOJ2908] 矩阵乘法 题目描述 给你一个 N*N 的矩阵,不用算矩阵乘法,但是每次询问一个子矩形的第 K 小数. 数据范围 对于 $20\%$ 的数据,$N \leq 100$,$Q ...
- Vue中axios有关请求头的几点小结
在Vue前端中向后端发起http请求会有着两种写法:一种是在vue文件中直接导入axios模板,另外一种是使用Vue的属性$http. 1.在第一种方式中,在同一个工程中所添加的vue文件直接使用ax ...