推荐学习博客
反演,就是讲一个函数乘一个矩阵变为另一个函数,逆反演就是乘逆矩阵。
二项式反演
F(n)=n∑i=0(ni)G(i) <−−−−> G(n)=n∑i=0(−1)n−i(ni)F(i)
考虑生成函数的证明。
F[n]=n∑i=0(ni)G[i]F[n]n!=n∑i=01(n−i)!G[i]i!
因为 ex=∑i=0xii!
G×ex=F→G=F×e−x
于是
G[n]n!=n∑i=0(−1)n−i(n−i)!F[i]i!G[n]=n∑i=0(−1)n−i(ni)F[i]
当然你如果不太熟悉生成函数可以将结论代入原式证明。
Min-Max 反演
Max(S)=∑T⊆S(−1)|T|+1Min(T)
相反也同样成立,可以用容斥证明。
在期望下也同样成立!
拓展minmax容斥:

不证了。
Kthmax(S)=∑T⊆S(−1)|T|−k(|T|−1k−1)Min(T)
令人惊讶的是,这个式子在期望下也是成立的。众所周知期望的minmax比较难算,有一些奇妙的应用。
斯特林反演
不会,咕咕咕。
集合反演
莫比乌斯反演是其中的一部分,大类还不会,咕咕咕。
好像就是容斥来着
单位根反演
有用但是不多,先不更
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 物流快递公司核心技术能力-地址解析分单基础技术分享
· 单线程的Redis速度为什么快?
· 展开说说关于C#中ORM框架的用法!
· Pantheons:用 TypeScript 打造主流大模型对话的一站式集成库
· SQL Server 2025 AI相关能力初探