banner
xihale

xihale

github
pixiv
pixiv
tg_channel

淺談 Catalan 數

引言#

CatalanCatalan 的精髓是推遞推式,很多問題的遞推式形式上與 CatalanCatalan 的遞推式相同,這說明他們有著共同之處,可以使用 CatalanCatalan 數的思考方法,這對我們解決問題來說算是打開了一個新的窗口。

定義#

  • A:序列長度|A|: 序列長度
  • 一組解:一串合法序列一組解: 一串合法序列
  • operator +:序列拼接operator\ +:序列拼接

二叉樹種類數問題#

分治:左 + 自己 + 右

我們有如下定義

Hn={1,n=0,1i=1nHniHi1,n2H_n=\begin{cases} 1, n=0,1\\ \sum_{i=1}^nH_{n-i}\cdot H_{i-1}, n\geq 2 \end{cases}

合法數列#

nn+1+1nn1-1 構成 2n2na1,a2,,a2na_1,a_2, \cdots ,a_{2n},其部分和滿足 a1+a2++ak0(k=1,2,3,,2n)a_1+a_2+ \cdots +a_k \geq 0(k=1,2,3, \cdots ,2n) 對於 nn 該數列為?

乍一看好像很難,但是我們仔細分析一下

好像不方便直接得到結果,那就容斥原理

我們用總量減去不合法量

總量#

nn+1+1 放在 長 2n2n 數列裡面,其他的都是 1-1 ,故總量為 (2nn)\binom{2n}{n}

不合法量#

首先我們考慮不合法的情況
而只有一種情況會導致不合法
那就是在某個前綴和的過程中,部分和首次小於零。

構造不合法量#

AA 是一組合法解,BB 是任意序列 (同時滿足 BB 中缺少且僅缺少一個 1-1 且有 B=n1|B|=n-1)
A+B=2n1|A|+|B|=2n-1

顯然此時有 H=(A,1,B)H=(A, -1, B) ,這是一組不合法解

Warning

此時雖然是不合法解,但是此時 HH+1+11-1 的數量都為 nn

怎麼區分合法解和不合法解呢?
我們設 (取反 BB 序列)

Bi^={+1,Bi=11,Bi=+1\hat{B_i}=\begin{cases} +1, B_i=-1\\ -1, B_i=+1 \end{cases}

那麼現在 B^\hat{B} 就是一個多了且僅多了一个 1-1 的序列 (從少一個到多一個了呢)

那麼現在 H^=(A,1,B^)\hat{H}=(A, -1, \hat{B}) 就是一組有 n+1n+11-1n1n-1+1+1 的序列

好像區分開了,來驗證一下可行性
考慮是否能做到不重不漏

仔細思考 B^\hat{B}BB 是一個雙射集合
也就是說 所有的不合法解都對應一個如此這般的 H^\hat{H}

那麼如何統計呢?
枚舉 +1+11-1 的數量都可以

那就是 (2nn1)\binom{2n}{n-1}(2nn+1)\binom{2n}{n+1}

最終解#

Hn=(2nn)(2nn1)H_n=\binom{2n}{n}-\binom{2n}{n-1}

載入中......
此文章數據所有權由區塊鏈加密技術和智能合約保障僅歸創作者所有。