各种数和各种反演(所谓FFT的前置知识?)
每次问NC做多项式的题需要什么知识点。
各种数。
各种反演。
多项式全家桶。
然后我就一个一个地学知识点。然而还差好多,学到后面的前面的已经忘了(可能是我太菜吧不是谁都是NC啊)
然后发现每个知识点基本只做一道题,肯定会忘,所以再归纳一下。
不附证明只写结论以便查阅,如果需要证明还是自行百度。
第一类斯特林数
- 含义:$\left[ ^k_n \right]$表示讲n个元素划分为k个环的方案数。
- 递推公式:$\left[ ^k_n \right] = \left[ ^k_{n-1} \right] \times (n-1)+ \left[ ^{k-1}_{n-1} \right]$
- 求一行:$\left[ ^k_n \right]$是多项式$f_n(x) = \prod\limits_{i=0}^{n-1} (x+i)$的k次项系数。这个多项式乘法可以进行分治递归求解,复杂度$O(nlog^2n)$。存在$O(nlogn)$的做法,比较复杂,贴一个链接。
- 应用:$x^{\overline{n}}=\sum\limits_{k=0}^{n} \left[ ^k_n \right] x^k$。比较少见。
第二类斯特林数
- 含义:$\left\{ ^k_n \right\}$表示讲n个元素划分为k个集合的方案数。
- 递推公式:$\left\{ ^k_n \right\} =\left\{ ^k_{n-1} \right\} \times k+ \left\{ ^{k-1}_{n-1} \right\}$
- 求单点/一行:$\left \{ ^n_k \right \}=\sum\limits_{i=0}^{k} \frac{(-1)^{k-i} \times i^n}{(k-i)! \times i!}$。单点直接$O(n)$枚举,一行的话NTT算卷积。
- 应用:$x^n=\sum\limits_{i=0}^{n} \left \{ ^n_k \right \} \times \frac{x!}{(x-i)!}$。
- 例题:《图的价值》
伯努利数
- 含义:$\sum\limits_{i=1}^{n} i^d = \frac{1}{d+1} \sum\limits_{i=0}^{d} C_{d+1}^{i} B_i n^{d+1-i} $。其中的系数$B_i$就是伯努利数。
- 递推公式:$ \sum\limits_{k=0}^{n} C_{n+1}^{k} \times B_k =0 $ 。复杂度是$O(n^2)$的。
- 求值:运用多项式求逆可以做到$O(nlogn)$。然而我还不会,贴一个链接。
- 应用:自然数幂和(常用)。与两类斯特林数可以转化。
- 例题:《一个人的数论》其实这个题并不很伯努利但是我做题太少。。。
莫比乌斯函数
- 含义:$\mu(prime)=-1$,$\mu(i^2 \times x)=0$,else $\mu(x)=1$
- 求值:线筛。杜教筛求前缀和。
- 应用:容斥系数,莫比乌斯反演。
- 例题:太多。
欧拉函数
- 含义:比x小且与x互质的数的个数
- 求值:线筛。
- 应用:容斥系数,欧拉反演。
- 例题:不少。
反演(个人理解)
- 含义:你现在有用g函数得到f函数的公式,把它转化为用f函数表示g函数的形式。
- 基本形式:$f(n) = \sum\limits_{condition1} g(i) \Leftrightarrow g(n)=\sum\limits_{condition2} f(i)$
二项式反演
- 基本形式:$f(n)=\sum\limits_{i=0}^{n} (-1)^{i} \times C_n^i \times g(i) \Leftrightarrow g(n)=\sum\limits_{i=0}^{n} (-1)^{i} \times C_n^i \times f(i)$
- 常用形式:$f(n)=\sum\limits_{i=0}^{n} C_n^i \times g(i) \Leftrightarrow g(n)=\sum\limits_{i=0}^{n} (-1)^{n-i} \times C_n^i \times f(i)$
- 应用:证明其它反演,化简带组合数的式子。
- 例题:《染色》
莫比乌斯反演
- 基本形式:$f(n)=\sum\limits_{d|n} g(d) \Leftrightarrow g(n) = \sum\limits_{d|n} f(d) \times \mu(\frac{n}{d})$
- 常用形式:$[n]=\sum\limits_{d|n} \mu(d)$。
- 应用:gcd/lcm之类的有关倍数,因子之类的题目。
- 例题:《一个人的数论》
欧拉反演
- 基本形式:$n=\sum\limits_{d|n} \phi(d)$
- 应用:gcd/lcm之类的玩意。
子集反演
- 基本形式:$f(S)=\sum\limits_{T \subseteq S} g(T) \Leftrightarrow g(S) = \sum\limits_{T \subseteq S} (-1)^{|S|-|T|}\times f(T)$
- 应用:与FWT结合求解子集类问题。
- 例题:《遗失的答案》(还不会做正在学习)
待补。。。
各种数和各种反演(所谓FFT的前置知识?)的更多相关文章
- fft.ntt,生成函数,各种数和各种反演
前置知识: 一,导数 倒数其实就是函数的斜率函数 设D[f(x)]表示f(x)的导数,则满足 $$1,D[f(x)]=\lim\limits_{\delta x->\infty}\frac{f( ...
- 有标号DAG计数 [容斥原理 子集反演 组合数学 fft]
有标号DAG计数 题目在COGS上 [HZOI 2015]有标号的DAG计数 I [HZOI 2015] 有标号的DAG计数 II [HZOI 2015]有标号的DAG计数 III I 求n个点的DA ...
- FFT,NTT入门
目录 -1.前置知识 复数 单位根 单位根反演 0.卷积 1.FFT -1.前置知识 复数 复数单位\(i\):定义为\(i^2=-1\).\(i\)可以直接参与运算. 复数:形如\(z=a+ ...
- 很详细的FFT(快速傅里叶变换)概念与实现
FFT 首先要说明一个误区,很多人认为FFT只是用来处理多项式乘的,其实FFT是用来实现多项式的系数表示法和点值表示法的快速转换的,所以FFT的用处远不止多项式乘. FFT的前置知识:点值表示法,复数 ...
- ZJOI 2019 划水记
作为一个极其蒟蒻的OIer,虽然没有省选资格但还是去见见世面. ZJOI2019一试是在浙江省镇海中学.听名字就很霸气. 学习OI的最后一年,记录下一些事情,即使最终走到最后也一无所获,也是一段美好的 ...
- 多项式fft、ntt、fwt 总结
做了四五天的专题,但是并没有刷下多少题.可能一开始就对多项式这块十分困扰,很多细节理解不深. 最简单的形式就是直接两个多项式相乘,也就是多项式卷积,式子是$N^2$的.多项式算法的过程就是把卷积做一种 ...
- 全网第二好懂的FFT(快速傅里叶变换)
声明:本FFT是针对OI的.专业人员请出门左拐. Ⅰ前言 很久以前,我打算学习FFT. 然而,算法导论讲的很详细,却看不懂.网上博客更别说了,什么频率之类的都来了.我暗自下了决心:写一篇人看得懂的FF ...
- 浅谈FFT(快速傅里叶变换)
前言 啊摸鱼真爽哈哈哈哈哈哈 这个假期努力多更几篇( 理解本算法需对一些< 常 用 >数学概念比较清楚,如复数.虚数.三角函数等(不会的自己查去(其实就是懒得写了(¬︿̫̿¬☆) 整理了一 ...
- [学习笔记] 多项式与快速傅里叶变换(FFT)基础
引入 可能有不少OIer都知道FFT这个神奇的算法, 通过一系列玄学的变化就可以在 $O(nlog(n))$ 的总时间复杂度内计算出两个向量的卷积, 而代码量却非常小. 博主一年半前曾经因COGS的一 ...
随机推荐
- USB摄像头之130w像素 OV9655配置,ov9650,ov7725,ov7670
USB摄像头之130w像素 OV9655配置 为了usb2.0采集达到足够的速率,不得不将采用raw格式输出. // 20150411 XVGA 1280*1024 实际上位机需要2560*1024 ...
- 【Web技术】314- 前端组件设计原则
点击上方"前端自习课"关注,学习起来~ 译者:@没有好名字了译文:https://github.com/lightningminers/article/issues/36,http ...
- jmeter微信公众号接口测试实例
线程组 HTTP Cookie 管理器 HTTP 请求默认值 用户定义的变量 察看结果树 HTTP请求 响应断言 正则表达式提取器 线程组 HTTP Cookie 管理器 HTTP 请求默认值 用户定 ...
- 14个Java并发容器,你用过几个?
作者:acupt 前言 不考虑多线程并发的情况下,容器类一般使用ArrayList.HashMap等线程不安全的类,效率更高.在并发场景下,常会用到ConcurrentHashMap.ArrayBlo ...
- 注解slf4j的日志该用哪个级别
slf4j的日志级别分为五种 info.debug.error.warn.trane 常用的是这是三个. info 一般处理业务逻辑的时候使用,就跟 system.err打印一样,用 ...
- Spring boot采坑记--- 在启动时RequstMappingHandlerMapping无法找到部分contorller类文件的解决方案
最近有一个心得需求,需要在一个现有的springboot项目中增加一些新的功能,于是就在controller文件包下面创建新的包和类文件,但是后端开发完之后,本地测试发现前端访问报404错误,第一反应 ...
- jvm面试题 新生代和 老年代的区别
新生代和老年代的区别(阿里面试官的题目): 所谓的新生代和老年代是针对于分代收集算法来定义的,新生代又分为Eden和Survivor两个区.加上老年代就这三个区.数据会首先分配到Eden区 当中(当然 ...
- java—将数据库读取的list转tree
一.引言 有时候我们从数据库中读取出了一个表的数据,比如存储的是中国的省市县的ID.名称与父节点ID,读出来的数据并不是前台想要的,这个时候我们要想法处理一下都出来的list,将它变为一个树. 比如直 ...
- poj 2955 Brackets (区间dp基础题)
We give the following inductive definition of a “regular brackets” sequence: the empty sequence is a ...
- pymysql的操作
目录 python 操作mysql 安装pymysql 模块 sql注入问题 产生的原因 解决的方法 连接 查 增 修 删 索引 使用索引的作用 索引的本质 索引的底层原理 索引的种类 索引的创建 主 ...