学习笔记 | 反演 | 二项式反演 | 莫比乌斯反演 | 狄利克雷卷积 |容斥 | 未完待更 | 在更

学习笔记 | 反演 | 二项式反演 | 莫比乌斯反演 | 狄利克雷卷积 |容斥

---

参考资料。

炫酷反演魔术-vfleaking

莫比乌斯反演-PoPoQQQ

【数论】积性函数、莫比乌斯反演、狄利克雷卷积-nanoape

如何证明莫比乌斯反演

前言

**非常良心的博主的良心之作 **

不过…二项式反演还有莫比乌斯反演好像真的可以用小学容斥怒踩qwq…(果然我还是太菜了…

决定将二项式反演和莫比乌斯反演一起写了

不过窝写的好像挺繁琐的…不像是那种简洁明了只几句话讲懂的…

所以期待较少篇幅就讲明白的可以看看参考资料哦！

参考资料写的真心不错qwq

让我们一起感受一下组合数学的美趴！

引入

简单的容斥应用-全错排

$n$个人全站错位置的方案数

• 错排递推式子$f[i]=(i-1)\ast (f[i-2]+f[i-1])$ ($f[i]$为$i$个人全错排的方案)还挺好推的不阐述了

  那就简单地讲一讲?

  • 一种情况是$1$和 $i$ 交换位置 然后剩下的$n-2$个重排 这一部分答案为$(n-1)\ast f[n-2]$
  • 剩下的情况$1$到$i$的位置上去，但$i$不到$1$的位置上去 相当于$i$的位置原来是1 这一部分答案为$(n-1)\ast f[n-1]$

• 容斥！

  大胆猜想小(不)心(用)证明

  方案数为${\sum }_{i=0}^n(-1{)}^i\ast C_n^i\ast (n-i)!$

  

  还是证明一下

  • 在计算有$m$个人站对的方案时 由于我们计算的时候是直接钦定有多少个人站对，剩下的随意站的。

    所以，在计算$0,1,2...m-1$个人站对的方案时,我们会将$m$个人站对的方案重复计算。

    会被计算这么多次

    公式莫名挂了…所以贴图片了qwq
    

    • 所以，就加上$(-1{)}^m$，那么$m$个人站对的方案数就抵消了

    为什么$$\sum _{k=0}^m(-1{)}^k\ast C_m^k=(1-1{)}^m$$呢？

    • 这是二项式定理，事实上，这有个特殊情况，即$m=0$时，左边的式子为$1$

    换一种写法：

    $$\sum _{k=0}^n(-1{)}^k\ast C_n^k=[$$