【组合数学】生成函数 ( 线性性质 | 乘积性质 )
文章目錄
- 一、生成函數線性性質
- 二、生成函數線性性質2
- 三、生成函數乘積性質
參考博客 :
- 【組合數學】生成函數 簡要介紹 ( 生成函數定義 | 牛頓二項式系數 | 常用的生成函數 | 與常數相關 | 與二項式系數相關 | 與多項式系數相關 )
一、生成函數線性性質
生成函數 線性性質 1 :
bn=αanb_n = \alpha a_nbn?=αan? , 則 B(x)=αA(x)B(x) = \alpha A(x)B(x)=αA(x)
數列 ana_nan? 的生成函數是 A(x)A(x)A(x) , 數列 bnb_nbn? 的生成函數是 B(x)B(x)B(x) ,
如果 bnb_nbn? 數列 是 ana_nan? 數列 的 α\alphaα 倍 , 那么對應的 生成函數也存在對應的關系 ;
證明方法 : 將兩邊展開 , 根據定義代入即可 ;
二、生成函數線性性質2
生成函數 線性性質 2 :
cn=an+bnc_n = a_n + b_ncn?=an?+bn? , 則 C(x)=A(x)+B(x)C(x) = A(x) + B(x)C(x)=A(x)+B(x)
數列 ana_nan? 的生成函數是 A(x)A(x)A(x) , 數列 bnb_nbn? 的生成函數是 B(x)B(x)B(x) , 數列 cnc_ncn? 的生成含稅是 C(x)C(x)C(x) ,
數列和 的 生成函數 , 等于 生成函數的和 ;
一個數列是 其它數列的線性組合 , 那么將其 生成函數進行相應的組合 , 也能求出 大的數列的生成函數 ;
證明方法 : 將兩邊展開 , 根據定義代入即可 ;
三、生成函數乘積性質
生成函數 乘積性質 :
cn=∑i=0naibn?ic_n = \sum\limits_{i=0}^n a_i b_{n-i}cn?=i=0∑n?ai?bn?i? , 則有 C(x)=A(x)?B(x)C(x) = A(x) \cdot B(x)C(x)=A(x)?B(x)
數列 ana_nan? 的生成函數是 A(x)A(x)A(x) , 數列 bnb_nbn? 的生成函數是 B(x)B(x)B(x) , 數列 cnc_ncn? 的生成含稅是 C(x)C(x)C(x) ,
數列 ana_nan? 的生成函數 : A(x)=a0+a1x+a2x2+?A(x) = a_0 + a_1x + a_2x^2 + \cdotsA(x)=a0?+a1?x+a2?x2+?
數列 bnb_nbn? 的生成函數 : B(x)=b0+b1x+b2x2+?B(x) = b_0 + b_1x + b_2x^2 + \cdotsB(x)=b0?+b1?x+b2?x2+?
數列 cnc_ncn? 的生成函數 : C(x)=c0+c1x+c2x2+?C(x) = c_0 + c_1x + c_2x^2 + \cdotsC(x)=c0?+c1?x+c2?x2+?
右邊的 兩個生成函數 A(x)A(x)A(x) 和 B(x)B(x)B(x) 相乘 :
(a0+a1x+a2x2+?)×(b0+b1x+b2x2+?)(a_0 + a_1x + a_2x^2 + \cdots) \times ( b_0 + b_1x + b_2x^2 + \cdots )(a0?+a1?x+a2?x2+?)×(b0?+b1?x+b2?x2+?)
按照多項式乘法 ,
x0x^0x0 , 000次方項 , 即常數項, 構成方法有 111 種 , 兩個生成函數中的常數項 , 相乘之后是 a0b0a_0 b_0a0?b0? ,
x1x^1x1 , 111次方項 , 構成方法有 222 種 ,
- A(x)A(x)A(x) 中的 a1xa_1xa1?x 與 B(x)B(x)B(x) 中的 b0b_0b0? , 構成 x1x^1x1 一次方項 a1b0xa_1b_0xa1?b0?x ;
- A(x)A(x)A(x) 中的 a0a_0a0? 與 B(x)B(x)B(x) 中的 b1xb_1xb1?x , 構成 x1x^1x1 一次方項 a0b1xa_0b_1xa0?b1?x ;
x1x^1x1 , 111次方項的系數是 a1b0+a0b1a_1b_0 + a_0b_1a1?b0?+a0?b1? , 完整的 111次方項是 (a1b0+a0b1)x(a_1b_0 + a_0b_1)x(a1?b0?+a0?b1?)x
x2x^2x2 , 222 次方項 , 構成方法有 333 種 ,
- A(x)A(x)A(x) 中的 a0a_0a0? 與 B(x)B(x)B(x) 中的 b2x2b_2x^2b2?x2 , 構成 x2x^2x2 , 222次方項 a0b2x2a_0b_2x^2a0?b2?x2 ;
- A(x)A(x)A(x) 中的 a2x2a_2x^2a2?x2 與 B(x)B(x)B(x) 中的 b0b_0b0? , 構成 x2x^2x2 , 222次方項 a2b0x2a_2b_0x^2a2?b0?x2 ;
- A(x)A(x)A(x) 中的 a1xa_1xa1?x 與 B(x)B(x)B(x) 中的 b1xb_1xb1?x , 構成 x2x^2x2 , 222次方項 a1b1x2a_1b_1x^2a1?b1?x2 ;
x2x^2x2 , 222次方項的系數是 a0b2+a2b0+a1b1a_0b_2 + a_2b_0 + a_1b_1a0?b2?+a2?b0?+a1?b1? , 完整的 222次方項是 (a0b2+a2b0+a1b1)x2(a_0b_2 + a_2b_0 + a_1b_1)x^2(a0?b2?+a2?b0?+a1?b1?)x2
規律 : xxx 的 nnn 次方項 , 其系數是 ∑i=0naibn?i\sum\limits_{i=0}^n a_i b_{n-i}i=0∑n?ai?bn?i? , 由 n+1n+1n+1 項組成 , 每一項的 ai,bn?ia_i,b_{n-i}ai?,bn?i? 下標之和是 nnn ;
總結
以上是生活随笔為你收集整理的【组合数学】生成函数 ( 线性性质 | 乘积性质 )的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【软件工程】CMMI 能力成熟度模型集成
- 下一篇: 【组合数学】生成函数 ( 移位性质 )