讀《炫酷反演魔術》有感——各種反演(待填坑)

要以這個開頭:

我愛你反演!❤

閱讀原文

以下內容只是爲了給自己看
%%%VFleaKing

下面進入正題:

什麼是反演

在這裏插入圖片描述

二項式反演

ppt一開始給了一道題目:
在這裏插入圖片描述

這是個很簡單的容斥問題:
F(n)=k=0n(1)k(nk)(nk)!F(n)=\sum_{k=0}^{n}(-1)^{k}\tbinom{n}{k}(n-k)!

原文用了和通俗易懂的說法和圖來解釋這個容斥,風趣幽默,拉近與讀者的距離
怎麼變成評論文學價值了?
在這裏插入圖片描述
在這裏插入圖片描述

原本用了一些篇幅來寫爲什麼這個容斥係數要麼是-1要麼是1,這是我從來沒有想過的。(菜雞的微笑)

其實思考一下可以發現,(算了搬原文)
在這裏插入圖片描述
在這裏插入圖片描述
刺不刺激,驚不驚喜!
(菜雞捂嘴表示驚歎)

這個大哥(叫一聲大哥)讓我弄懂了出生到現在沒有想過的東西!!!!

從另一個角度看上面式子左半邊是!
k=0n(1)k(nk)=[n=0]\sum_{k=0}^{n}(-1)^k\tbinom{n}{k}=[n=0]

然後用反演思想看一下~
我們設F(n)F(n)表示n個人隨便站的方案數
G(n)G(n)表示n個人沒有一個人站對的方案數

那麼F(n)=k=0n(nk)G(n)F(n)=\sum_{k=0}^{n}\tbinom{n}{k}G(n)

注意注意!然後要開始反演了!!!!

原文稱爲"魔術":

簡單易懂的廢話:
G(n)=m=0n[nm=0](nm)G(m)G(n)=\sum_{m=0}^{n}[n-m=0]\tbinom{n}{m}G(m)
一開始我還一臉懵逼,後來發現這個式子等於
G(n)=G(m)[m=n]G(n)=G(m)[m=n]

然後上面那個東西用到啦!!
複習一下:
k=0n(1)k(nk)=[n=0]\sum_{k=0}^{n}(-1)^k\tbinom{n}{k}=[n=0]
所以代入:
G(n)=m=0nk=0nm(1)k(nmk)(nm)G(m)G(n)=\sum_{m=0}^{n}\sum_{k=0}^{n-m}(-1)^k\tbinom{n-m}{k}\tbinom{n}{m}G(m)

我一直不知道這個東西(nmk)(nm)\tbinom{n-m}{k}\tbinom{n}{m}怎麼轉換,今天懂了!
等於在n裏面選m個數然後在餘下的裏面再選k個數。
所以等價於:(nk)(nkm)\tbinom{n}{k}\tbinom{n-k}{m}

所以原式=
G(n)=m=0nk=0nm(1)k(nk)(nkm)G(m)G(n)=\sum_{m=0}^{n}\sum_{k=0}^{n-m}(-1)^k\tbinom{n}{k}\tbinom{n-k}{m}G(m)

下面他的操作有點迷:在這裏插入圖片描述
這東西我愣是沒有看懂,後來發現。
假設k=nmp(0pnm)k=n-m-p(0\leq p\leq n-m)
那麼m=nkpm=n-k-p
所以枚舉p過程中發現其實上面那條式子就是成立的了。
枚舉的每一個k都有所有確定的m=n-k-p與之對應

綜上所述,上述式子正確!

G(n)=k=0n(1)k(nk)m=0nk(nkm)G(m)G(n)=\sum_{k=0}^{n}(-1)^k\tbinom{n}{k}\sum_{m=0}^{n-k}\tbinom{n-k}{m}G(m)

”注意最右邊的那個小朋友!其實就是FF!“

對比上面F的式子:
F(n)=k=0n(nk)G(n)F(n)=\sum_{k=0}^{n}\tbinom{n}{k}G(n)

發現:
G(n)=k=0n(1)k(nk)F(nk)G(n)=\sum_{k=0}^{n}(-1)^k\tbinom{n}{k}F(n-k)
把下表搞好看點就是
G(n)=k=0n(1)nk(nk)F(k)G(n)=\sum_{k=0}^{n}(-1)^{n-k}\tbinom{n}{k}F(k)

這就是著名的二項式反演!
F(n)=k=0n(nk)G(n)F(n)=\sum_{k=0}^{n}\tbinom{n}{k}G(n)G(n)=k=0n(1)nk(nk)F(k)G(n)=\sum_{k=0}^{n}(-1)^{n-k}\tbinom{n}{k}F(k)

至此,二項式反演告一段落

看到這裏我作爲菜雞看得滿頭大汗
好的大哥,您成功激起了我對反演的興趣呢!

莫比烏斯反演

原文叫做:在這裏插入圖片描述
又是一道題目出來:
在這裏插入圖片描述
還是設!
F(n)F(n) 表示長度爲 nn 的字符串的個數。
G(n)G(n) 表示長度爲 nn 的且週期爲 nn 的字符串的個數。

F(n)=dnG(d)F(n)=\sum_{d|n}G(d)

這就是典型的莫某某反演的形式
然後?

發現我們剛纔是怎麼搞出二項式反演的?
用一句廢話然後帶進去不是嗎?

在這裏我們同樣定義:
μ(n)\mu(n)滿足
dnμ(d)=[n=1]\sum_{d|n}\mu(d)=[n=1]
爲什麼這次是1?
因爲剛剛判斷相等是用減法,這次我們用除法,相同的數相除當然是1咯!

又是一句廢話開始魔術~
G(n)=mn[nm=1]G(m)G(n)=\sum_{m|n}[\frac{n}{m}=1]G(m)

然後順理成章地代入:
G(n)=mndnmμ(d)G(m)G(n)=\sum_{m|n}\sum_{d|\frac{n}{m}}\mu(d)G(m)

再用剛剛的方法,用d把m表示出來,就是mndm|\frac{n}{d}
然後?順理成章:
G(n)=dnμ(d)mndG(m)G(n)=\sum_{d|n}\mu(d)\sum_{m|\frac{n}{d}}G(m)
FF君好久不見~“

G(n)=dnμ(d)F(nd)G(n)=\sum_{d|n}\mu(d)F(\frac{n}{d})
換一下:
G(n)=dnμ(nd)F(d)G(n)=\sum_{d|n}\mu(\frac{n}{d})F(d)

這樣就得到了莫比烏斯反演了~

F(n)=dnG(d)F(n)=\sum_{d|n}G(d)G(n)=dnμ(nd)F(d)G(n)=\sum_{d|n}\mu(\frac{n}{d})F(d)

後面又一道題目,我是跪着看完的

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章