前言:

  $FWT$是用来处理位运算(异或、与、或)卷积的一种变换。位运算卷积是什么?形如$f[i]=\sum\limits_{j\oplus k==i}^{ }g[j]*h[k]$的卷积形式(其中$\oplus$为位运算)就是位运算卷积。如果暴力枚举的话,时间复杂度是$O(n^2)$,但运用$FWT$来解决就可达到$O(nlog_{n})$的时间复杂度。$FST$则是借助$FWT$来进行的对子集卷积的优化,相当于$FWT$的一个应用。

FWT

与卷积

对于与运算,有一个结论:$(i\&j)\&k==k<-->(i\&k==k)\&\&(j\&k==k)$。

那么我们就可以构造一个求父集和的函数$F(i)=\sum\limits_{j\&i==i}^{ }f(i)$,由此我们可以推出:

$G(k)*H(k)$

$=\sum\limits_{i\&k==k}^{ }g(i)\sum\limits_{j\&k==k}^{ }h(j)$

$=\sum\limits_{(i\&j)\&k==k}^{ }g(i)*h(j)$

$=\sum\limits_{t\&k==k}^{ }\sum\limits_{i\&j==t}^{ }g(i)*h(j)$

因为$f(t)=\sum\limits_{i\&j==t}^{ }g(i)*h(j)$,

所有上式$=\sum\limits_{t\&k==k}^{ }f(t)=F(k)$

因此我们只需要将$g,h$正变换成$G,H$,然后对应位相乘得到$F$后再将$F$逆变换回去即可得到$f$。

那么如何正变换?

以下面为例:

00 a

01 b

10 c

11 d

我们从最低位开始考虑,每次只考虑只有当前位不同的两个数之间的影响。显然求父集只有$1$会对$0$有贡献,因此我们将$01$的值加到$00$上,将$11$的值加到$10$上,再看下一位,同样将$11$的值加到$01$上,将$10$的值加到$00$上。这样最后$00$的值为$a+b+c+d$,$01$的值为$b+d$,$10$的值为$c+d$,$11$的值为$d$。同样逆变换就是将$1$的值从$0$上减掉即可。

附上代码

void fwt_and(int *a,int opt)
{
for(int k=2;k<=n;k<<=1)
{
for(int i=0,t=k>>1;i<n;i+=k)
{
for(int j=i;j<i+t;j++)
{
if(opt==1)
{
a[j]=(a[j]+a[j+t])%mod;
}
else
{
a[j]=(a[j]-a[j+t]+mod)%mod;
}
}
}
}
}

或卷积

或卷积和与卷积类似,对于或卷积同样有结论:$(i|j)|k==k<-->(i|k==k)\&\&(j|k==k)$

这次我们需要构造一个求子集和的函数$G(i)=\sum\limits_{j|i==i}^{ }g(j)$,推导过程和与卷积类似。

对于正变换,显然只有$0$对$1$有贡献;对于逆变换,只需要将$0$的值从$1$中减掉即可。

附上代码

void fwt_or(int *a,int opt)
{
for(int k=2;k<=n;k<<=1)
{
for(int i=0,t=k>>1;i<n;i+=k)
{
for(int j=i;j<i+t;j++)
{
if(opt==1)
{
a[j+t]=(a[j+t]+a[j])%mod;
}
else
{
a[j+t]=(a[j+t]-a[j]+mod)%mod;
}
}
}
}
}

异或卷积

对于异或卷积,我们设$bit(i)$代表$i$的二进制中$1$的奇偶性,因此有一个结论(这里异或用$\oplus$表示):$bit(i\&k)\oplus bit(j\&k)=bit((i\oplus j)\&k)$

对于原多项式$g$构造$G(i)=\sum\limits_{j=0}^{2^n-1}(-1)^{bit(j\&i)}g(j)$

开始推导:

$G(k)*H(k)$

$=\sum (-1)^{bit(i\&k)}g(i)\sum (-1)^{bit(j\&k)}h(j)$

$=\sum (-1)^{bit((i\oplus j)\& k)}g(i)*h(j)$

$=\sum (-1)^{bit(t\&k)}\sum\limits_{i\oplus j==t}^{ }g(i)*h(j)$

$=\sum (-1)^{bit(t\&k)}f(t)$

$=F(k)$

对于正变换,我们同样从最低位向最高位考虑,每次只考虑只有当前位不同的两个数之间的影响。对于每对$0$和$1$(设值分别为$a$和$b$),$0\&0=0$和$0\&1=0$都不会影响$bit$的值,所以$0$那个位置的值变成$a+b$;$1\&0=0$不会影响$bit$的值,但$1\&1=1$会影响$bit$的值(相当于在前面乘上一个$-1$的系数),因此$1$那个位置的值变成$a-b$。对于逆变换,相当于我们现在知道两个位置$x=a+b$,$y=a-b$,求$a$和$b$,可以得到$a=\frac{x+y}{2},b=\frac{x-y}{2}$。

附上代码

void fwt_xor(int *a,int opt)
{
int tmp;
for(int k=2;k<=n;k<<=1)
{
for(int i=0,t=k>>1;i<n;i+=k)
{
for(int j=i;j<i+t;j++)
{
tmp=a[j];
a[j]=(a[j]+a[j+t])%mod;
a[j+t]=(tmp-a[j+t]+mod)%mod;
if(opt==-1)
{
a[j]=1ll*a[j]*inv%mod;
a[j+t]=1ll*a[j+t]*inv%mod;
}
}
}
}
}

K进制异或卷积

可以发现二进制的异或运算相当于不进位加法即每一位对应相加后对$2$取模,而与运算相当于不进位乘法即每一位对应相乘后对$2$取模,$bit$相当于求二进制每一位的和对$2$取模。那么我们将这些在二进制下的运算扩展到$K$进制可以发现同样满足上述的结论,但对于从$g$求$G$的部分每个数前面的系数的底数是$-1$,显然这个系数不能扩展到$K$进制。那么我们现在就需要找一个系数$w$满足$w^0,w^1,w^2……w^{k-1}$都各不相同且$w^i=w^{i\%k}$。从$FFT$中我们知道了复数单位根这个东西,那么我们完全可以将$w$取$K$次单位根,这样就可以满足以上性质了!类比二进制亦或的正变换也可以得出$K$进制的正变换。

FST

$FST$通常用来优化一类子集$DP$,例如$f(S)=\sum g(T)*h(S-T)$,其中$T$是$S$的子集。

对于这个方程我们不能直接用$FWT$卷积,因为如果$g(i)*h(j)$会对$f(k)$有贡献就要求$i|j=k,i\&j=0$。

显然位运算卷积不能同时满足这两个要求,那么我们将方程变成二维表示$f[S][i]=\sum\limits_{j=1}^{i}\sum\limits_{a|b==S}^{ }g[a][j]*h[b][i-j]$

其中的第二维表示集合大小,对于$f[S][i]$只有当$i=|S|$时才有值,这样第一维保证并集为$S$,第二维保证交集为空集,所以其他不合法的状态不会影响答案。

这样我们就能对式子进行卷积:$F[S][i]=\sum\limits_{j=1}^{i}G[S][j]*H[S][i-j]$。求出每个$F$的值再$FWT$逆变换回去即可。

原题中的$f[S]$就是二维状态中的$f[S][|S|]$。

时间复杂度为$O(2^n*n^2)$。

快速沃尔什变换(FWT)及K进制异或卷积&快速子集变换(FST)讲解的更多相关文章

  1. 2019.7.3模拟 七星连珠(行列式+随机+k进制FWT)

    题目大意: 给一个\(n*n\)的矩阵,对于所有排列p,记录\(a[i][p[i]]\)的k进制下不进位加法的结果,问所有被记录过的数. \(n<=50,p=2.3,0<=a[i][j]& ...

  2. 快速沃尔什变换与k进制FWT

    这是一篇用来卖萌的文章QAQ 考虑以下三类卷积 \(C_k = \sum \limits_{i \;or\;j = k} A_i * B_j\) \(C_k = \sum \limits_{i\;an ...

  3. 一个数学不好的菜鸡的快速沃尔什变换(FWT)学习笔记

    一个数学不好的菜鸡的快速沃尔什变换(FWT)学习笔记 曾经某个下午我以为我会了FWT,结果现在一丁点也想不起来了--看来"学"完新东西不经常做题不写博客,就白学了 = = 我没啥智 ...

  4. 快速沃尔什变换FWT

    快速沃尔什变换\(FWT\) 是一种可以快速完成集合卷积的算法. 什么是集合卷积啊? 集合卷积就是在集合运算下的卷积.比如一般而言我们算的卷积都是\(C_i=\sum_{j+k=i}A_j*B_k\) ...

  5. 集合并卷积的三种求法(分治乘法,快速莫比乌斯变换(FMT),快速沃尔什变换(FWT))

    也许更好的阅读体验 本文主要内容是对武汉市第二中学吕凯风同学的论文<集合幂级数的性质与应用及其快速算法>的理解 定义 集合幂级数 为了更方便的研究集合的卷积,引入集合幂级数的概念 集合幂级 ...

  6. Codeforces 662C(快速沃尔什变换 FWT)

    感觉快速沃尔什变换和快速傅里叶变换有很大的区别啊orz 不是很明白为什么位运算也可以叫做卷积(或许不应该叫卷积吧) 我是看 http://blog.csdn.net/liangzhaoyang1/ar ...

  7. 【学习笔鸡】快速沃尔什变换FWT

    [学习笔鸡]快速沃尔什变换FWT OR的FWT 快速解决: \[ C[i]=\sum_{j|k=i} A[j]B[k] \] FWT使得我们 \[ FWT(C)=FWT(A)*FWT(B) \] 其中 ...

  8. CF459C Pashmak and Buses (构造d位k进制数

    C - Pashmak and Buses Codeforces Round #261 (Div. 2) C. Pashmak and Buses time limit per test 1 seco ...

  9. P1066 2^k进制数

    传送门 题目描述 设r是个2^k 进制数,并满足以下条件: (1)r至少是个2位的2^k 进制数. (2)作为2^k 进制数,除最后一位外,r的每一位严格小于它右边相邻的那一位. (3)将r转换为2进 ...

随机推荐

  1. C#根据屏幕分辨率改变图片尺寸

    最近工作中遇到一个问题,就是需要将程序文件夹中的图片根据此时电脑屏幕的分辨率来重新改变图片尺寸 以下为代码实现过程: 1.获取文件夹中的图片,此文件夹名为exe程序同目录下 //读取文件夹中文件 Di ...

  2. Arrays工具、二维数组以及LeetCode练习题

    1 Arrays PS:Arrays位于java.util包下 int binarySearch(type[] a, type key); 使用二分法查询 key 元素在 a 数组中的索引,如果数组不 ...

  3. 第二章:shiro身份验证

    身份验证,即在应用中谁能证明他就是他本人.一般提供如他们的身份ID一些标识信息来表明他就是他本人,如提供身份证,用户名/密码来证明. 在shiro中,用户需要提供principals (身份)和cre ...

  4. vue学习记录③(路由)

    上篇文章我们用vue-cli脚手架工具做了个简单的hello world页面,但是我们破坏了原来的流程,而正常的访问页面应该是通过路由来实现的. 那么什么是路由呢? 路由就是通过不同的url来访问不同 ...

  5. Java基础小知识笔记

    1. Integer转进制的一个类2. toBinaryString,toOctalString,toHexString.(转为二进制,八进制,十六进制的方法)3. 如果·数据的大小没有超过byte/ ...

  6. Python数据描述与分析

    在进行数据分析之前,我们需要做的事情是对数据有初步的了解,比如对数据本身的敏感程度,通俗来说就是对数据的分布有大概的理解,此时我们需要工具进行数据的描述,观测数据的形状等:而后才是对数据进行建模分析, ...

  7. 生鲜配送管理系统_升鲜宝V2.0 供应商协同系统设计思想及设计效果展现(一)

    生鲜配送管理系统[升鲜宝]V2.0 供应商协同系统小程序设计思想及操作说明(一)     生鲜供应链企业,最重要的二个方面,其中一个是客户服务(销售订单)    另外一个就是供应商的管控,只有做好了这 ...

  8. shell 中 if then语句中会跟着-ne -ge之类的参数的含义

    if [ 1 -ne 1 ];then...fi这是指当1不等于1时执行then后的语句 -eq:等于-ne:不等于-le:小于等于-ge:大于等于-lt:小于-gt:大于

  9. SQL学习笔记---非select操作

    非select命令 数据库 1.创建     //create database 库名 2.删除     //drop database 库名,... 2.重命名//exec sp_renamedb ...

  10. Windows Server 2016-Telnet 简介及安装

    Telnet是基于请求注释(RFC)854的因特网标准程序和协议,该RFC规定了一种在网络上发送和接收未加密的ASCII字符(明文)的方法.Telnet包含两个功能模块:Telnet客户端和Telne ...