Part 2【反演、容斥、stiring 数】
1. 容斥
1.1 普通容斥
1.1.1
人话:所有满足任何一个条件的数的和 可以表示成:枚举一个子集,满足这个子集里的所有条件的数,加上 -1 次方的容斥系数。或者如下:
1.1.2 下标形式
把式子给成下标形式,后面的选出
换句话说,因为
1.1.3 只有 1.1.1,不满足!
如果要求:
补集转化即可:减去所有至少一个不满足的容斥。
这里用的是下标形式,而且这也是比集合更常见的形式。
1.1.4 一般形式:(大概没用)
考虑把集合大小改成任意函数。即若
那么有
1.1.5 应用
鸽。
1.2 Min-Max 容斥
鸽。
2. 二项式反演
魏老师说这也是容斥。
2.0 前言——关于所有反演(包括容斥的一般形式)
我们有 2 种理解方式。
2.0.1 式子的形式
如果你的式子长得像某种反演,那么直接用公式即可。
2.0.2 组合意义
如果你求出了某个反演所需要的一个函数
2.1 形式
2.1.1 形式一
若
2.1.2 形式二
若
2.2 理解
如何通过组合意义理解上述
设
摘录:
OI 界二项式反演的应用常结合动态规划:DP 求出钦定选择
综上所述,我们总结出二项式定理的核心:通过二项式系数的容斥进行 “钦定” 和 “恰好” 的转换。
2.3 一种推式子的思路
设
容易求得指的是不仅可以通过
那么你就可以反演就出
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 2025年我用 Compose 写了一个 Todo App
· 张高兴的大模型开发实战:(一)使用 Selenium 进行网页爬虫