正题

题目链接:https://www.luogu.com.cn/problem/P6097


题目大意

长度为\(2^n\)的序列\(a,b\)求一个\(c\)满足

\[c_k=\sum_{i|j=k,i\&j=\varnothing}a_i\times b_j
\]

解题思路

从炫酷反演魔术过来的,顺便写掉这题

简单的说就是求\(k\)的所有子集和其补集的乘积和。

只有\(i|j=k\)的话就是普通的\(\text{FWT}\)了,但是还有\(i\&j=\varnothing\)这个东西。

一个巧妙的想法是把这个条件转换为\(|i|+|j|=|i\cup j|\),显然两个之间是充要的。

然后可以把\(a_i\)存在\(f_{ct(i),i}\)这个位置,其中\(ct(i)\)表示\(i\)中\(1\)的个数。同理\(b_i\)存在\(g_{ct(i),i}\)这个位置。

然后就有卷积

\[h_{a,b}=\sum_{i+j=a,x|y=b}f_{i,x}\times g_{j,y}
\]

这个先暴力\(\text{FWT}\)了\(f,g\)然后暴力卷积然后\(\text{IFWT}\)回去就好了。

时间复杂度\(O(n^22^n)\),不能全开\(\text{long long}\)不然会\(\text T\)的


code

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=21,P=1e9+9;
int n,k,ct[1<<N],f[N][1<<N],g[N][1<<N],h[N][1<<N];
void FWT(int *f,int op){
for(int p=2;p<=n;p<<=1)
for(int k=0,len=p>>1;k<n;k+=p)
for(int i=k;i<k+len;i++)
(f[i+len]+=(f[i]*op+P)%P)%=P;
return;
}
signed main()
{
// printf("%d",sizeof(f)>>20);
scanf("%d",&k);n=(1<<k);
for(int i=0;i<n;i++){
if(i)ct[i]=ct[i-(i&-i)]+1;
scanf("%d",&f[ct[i]][i]);
}
for(int i=0;i<n;i++)
scanf("%d",&g[ct[i]][i]);
for(int i=0;i<=k;i++)
FWT(f[i],1),FWT(g[i],1);
for(int i=0;i<=k;i++)
for(int j=0;j<=i;j++)
for(int x=0;x<n;x++)
(h[i][x]+=1ll*f[j][x]*g[i-j][x]%P)%=P;
for(int i=0;i<=k;i++)FWT(h[i],-1);
for(int i=0;i<n;i++)
printf("%d ",h[ct[i]][i]);
return 0;
}

最新文章

  1. emoji表情 与 iconfont 一锅炖&#128514;
  2. gdb可以调试python的pdb么
  3. Solution for Error FRM-92095: Oracle Jnitiator version too low
  4. linux命令行将已有项目提交到github
  5. C++ 中 typename
  6. hdu 1398 Square Coins(简单dp)
  7. MatLab GUI Change Size 改变界面大小
  8. Android 【问题汇总】列表数组越界的问题
  9. 只是一个用EF写的一个简单的分页方法而已
  10. 一步步搭建自己的轻量级MVCphp框架-(一)什么是PHP框架以及MVC设计模式
  11. 【技术贴】解决Mysql ERROR 1045 (28000): Access denied for
  12. 9张思维导图学习Javascript
  13. 解决struts2中UI标签出现的问题: The Struts dispatcher cannot be found
  14. 第二章排错的工具:调试器Windbg(下)
  15. 用Java实现将多级文件夹下的所有文件统一放到一个文件夹中
  16. 我的日志文件java logger
  17. Ubuntu17.04配置LNMP(Nginx+PHP7+MySQL)简单教程 快速 易学 简单易懂
  18. FileZilla出现Failed to convert command to 8 bit charset 
  19. ES6 Symbol数据类型和set-map 数据结构
  20. 通过keras例子理解LSTM 循环神经网络(RNN)

热门文章

  1. WPF---数据绑定(二)
  2. Java 数组结构
  3. (三)ES6基础语法。。。freecodecamp笔记
  4. linux下设备驱动的结构&amp;编译&amp;加载
  5. AOP的底层实现-CGLIB动态代理和JDK动态代理
  6. mybatis相关函数
  7. Linux压缩解压 tar.gz格式的文件.查看tomcat是否运行
  8. tensorflow models flags 初步使用
  9. 整理之Java容器
  10. BeanUtils基本使用方法与原理