【组合数学】生成函数 ( 移位性质 )
文章目錄
- 一、生成函數移位性質 1 ( 向后移位 )
- 二、生成函數移位性質 2 ( 向前移位 )
參考博客 :
- 【組合數學】生成函數 簡要介紹 ( 生成函數定義 | 牛頓二項式系數 | 常用的生成函數 | 與常數相關 | 與二項式系數相關 | 與多項式系數相關 )
- 【組合數學】生成函數 ( 線性性質 | 乘積性質 )
一、生成函數移位性質 1 ( 向后移位 )
生成函數移位性質 1 ( 向后移位 ) :
b(n)={0,n<lan?l,n≥lb(n) = \begin{cases} 0, & n < l \\\\ a_{n-l}, & n \geq l \end{cases}b(n)=??????0,an?l?,?n<ln≥l? , 則 B(x)=xlA(x)B(x) = x^l A(x)B(x)=xlA(x)
由 已知數列 ana_nan? 的 生成函數 A(x)A(x)A(x) , 求 另外數列 bnb_nbn? 的 生成函數 B(x)B(x)B(x) ;
已知數列 an={a0,a1,?,an,?}a_n = \{a_0, a_1 , \cdots , a_n , \cdots\}an?={a0?,a1?,?,an?,?} , 生成函數為 A(x)A(x)A(x) ;
數列 bnb_nbn? 與 ana_nan? 的關系是 , bnb_nbn? 在 ana_nan? 的前面增加了 lll 個 000 ;
數列 ana_nan? : a0,a1,?,an,?\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ a_0, a_1 , \cdots , a_n , \cdots??????????????????a0?,a1?,?,an?,?
數列 bnb_nbn? : 0,0,?,0?l個0,\begin{matrix} \underbrace{ 0, 0, \cdots , 0 } \\ l 個 0 \end{matrix} ,0,0,?,0?l個0?,a0,a1,?,an,?a_0, a_1 , \cdots , a_n , \cdotsa0?,a1?,?,an?,?
數列 bnb_nbn? 的生成函數 , 前 lll 項的系數都是 000 , 所以可以省略 ,
- 第 lll 項 , B(x)B(x)B(x) 的生成函數項是 a0xla_0x^la0?xl , 對應的 A(x)A(x)A(x) 中的生成函數項是 a0a_0a0?
- 第 l+1l+1l+1 項 , B(x)B(x)B(x) 的生成函數項是 a1xl+1a_1x^{l+1}a1?xl+1 , 對應的 A(x)A(x)A(x) 中的生成函數項是 a1xa_1xa1?x
B(x)B(x)B(x) 生成函數 中每項只是在 數列 ana_nan? 的 生成函數 A(x)A(x)A(x) 每項的基礎上 , 乘以 xlx^lxl 即可 ;
二、生成函數移位性質 2 ( 向前移位 )
生成函數移位性質 2 ( 向前移位 ) :
bn=an+1b_n = a_{n+1}bn?=an+1? , 則 B(x)=A(x)?∑n=0l?1anxnxlB(x) = \cfrac{A(x) - \sum\limits_{n=0}^{l-1} a_nx^n }{x^l}B(x)=xlA(x)?n=0∑l?1?an?xn?
由 已知數列 ana_nan? 的 生成函數 A(x)A(x)A(x) , 求 另外數列 bnb_nbn? 的 生成函數 B(x)B(x)B(x) ;
已知數列 an={a0,a1,?,an,?}a_n = \{a_0, a_1 , \cdots , a_n , \cdots\}an?={a0?,a1?,?,an?,?} , 生成函數為 A(x)A(x)A(x) ;
數列 bnb_nbn? 與 ana_nan? 的關系是 , bnb_nbn? 在 ana_nan? 的基礎上向后移動了 lll 位 , b0b_0b0? 與 ala_lal? 值相同 , b1b_1b1? 與 al+1a_{l+1}al+1? 值相同 ;
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \,??????????????????
數列 ana_nan? : a0,a1,?,al,al+1?a_0, a_1 , \cdots , a_l , a_{l+1} \cdotsa0?,a1?,?,al?,al+1??
數列 bnb_nbn? : b0,b1,?\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ b_0 , b_1 , \cdots????????????????????b0?,b1?,?
根據 A(x)A(x)A(x) 求 B(x)B(x)B(x) :
在 A(x)A(x)A(x) 的基礎上 , 減去前 lll 項 , 即 從 000 到 l?1l-1l?1 項 , a0,a1x,a2x2,?al?1xl?1a_0 , a_1x , a_2x^2 , \cdots a_{l-1}x^{l-1}a0?,a1?x,a2?x2,?al?1?xl?1 , 因此有了 A(x)?∑n=0l?1anxnA(x) - \sum\limits_{n=0}^{l-1} a_nx^nA(x)?n=0∑l?1?an?xn ;
A(x)A(x)A(x) 生成函數 的 剩余的項 , 每一項都比 B(x)B(x)B(x) 多 xlx^lxl 倍 , 除以 xlx^lxl 即可 ;
在上述 A(x)?∑n=0l?1anxnA(x) - \sum\limits_{n=0}^{l-1} a_nx^nA(x)?n=0∑l?1?an?xn 基礎上 , 除以 xlx^lxl , 得到 B(x)=A(x)?∑n=0l?1anxnxlB(x) = \cfrac{A(x) - \sum\limits_{n=0}^{l-1} a_nx^n }{x^l}B(x)=xlA(x)?n=0∑l?1?an?xn? ;
總結
以上是生活随笔為你收集整理的【组合数学】生成函数 ( 移位性质 )的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【组合数学】生成函数 ( 线性性质 |
- 下一篇: 【组合数学】生成函数 ( 求和性质 )