【组合数学】生成函数 ( 正整数拆分 | 无序不重复拆分示例 )
文章目錄
- 一、正整數拆分總結
- 二、正整數拆分示例
參考博客 :
- 【組合數學】生成函數 簡要介紹 ( 生成函數定義 | 牛頓二項式系數 | 常用的生成函數 | 與常數相關 | 與二項式系數相關 | 與多項式系數相關 )
- 【組合數學】生成函數 ( 線性性質 | 乘積性質 )
- 【組合數學】生成函數 ( 移位性質 )
- 【組合數學】生成函數 ( 求和性質 )
- 【組合數學】生成函數 ( 換元性質 | 求導性質 | 積分性質 )
- 【組合數學】生成函數 ( 性質總結 | 重要的生成函數 ) ★
- 【組合數學】生成函數 ( 生成函數示例 | 給定通項公式求生成函數 | 給定生成函數求通項公式 )
- 【組合數學】生成函數 ( 生成函數應用場景 | 使用生成函數求解遞推方程 )
- 【組合數學】生成函數 ( 使用生成函數求解多重集 r 組合數 )
- 【組合數學】生成函數 ( 使用生成函數求解不定方程解個數 )
- 【組合數學】生成函數 ( 使用生成函數求解不定方程解個數示例 )
- 【組合數學】生成函數 ( 使用生成函數求解不定方程解個數示例 2 | 擴展到整數解 )
- 【組合數學】生成函數 ( 正整數拆分 | 無序 | 有序 | 允許重復 | 不允許重復 | 無序不重復拆分 | 無序重復拆分 )
一、正整數拆分總結
正整數拆分 , 需要先給出 拆分后出的數 ,
每個被拆分出的數 , 都可以有一個對應的 生成函數分項 ,
每個 生成函數的項的 yyy 次冪項個數 , 與該 被拆分的數的取值個數種類 一樣 ,
如 : 某個被拆分出來的數 a1a_1a1? , 其 可以取值 0,1,20,1,20,1,2 三個值 , 那么對應的 生成函數的項的 yyy 次冪項個數 有 333 個值 , 為 (ya1)0+(ya1)1+(ya1)2(y^{a_1})^0 + (y^{a_1})^1 + (y^{a_1})^2(ya1?)0+(ya1?)1+(ya1?)2 ,
該生成函數項中的 底是 y被拆分的數y^{被拆分的數}y被拆分的數 , 次冪數就是 該正整數 可能的取值 , 項中的 yyy 次冪分項個數 就是 該 正整數 取值的種類個數 ;
正整數拆分 , 允許重復 與 不允許重復 , 區別是 被拆分的整數 的出現次數不同 ,
- 如果 不允許重復 , 該被拆分的 正整數 只能出現 0,10,10,1 次 ;
- 如果 允許重復 , 那么該正整數可以 出現 0,1,2,?0,1,2, \cdots0,1,2,? 無限次 ;
正整數拆分生成函數 :
- 生成函數項個數 : 就是 拆分后的正整數種類數 ; 可拆分成 2,4,82,4,82,4,8 三個數 , 那么是三個生成函數項相乘 ;
- 生成函數項中的 yyy 次冪個數 : 對應 拆分后的正整數 取值種類個數 ; 某個拆分后的整數可能出現 0,10,10,1 次 , 代表取值種類數是 222 ;
- 生成函數項中的 yyy 次冪底 : y拆分后的正整數y^{拆分后的正整數}y拆分后的正整數 , 某個拆分后正整數是 555 , 那么底就是 y5y^5y5 ;
- 生成函數項中的 yyy 次冪 : 拆分后的正整數的 取值個數 ; 某個拆分后正整數是 555 , 那么底就是 y5y^5y5 , 出現一次 , 對應的項是 (y5)1(y^5)^1(y5)1
二、正整數拆分示例
證明任何 正整數 二進制表示是唯一的 ;
上述問題可以等價為 , 將 任意正整數 , 都可以 拆解成 222 的次冪之和 , 并且 不允許有重復的元素 ;
222 的次冪情況 : 20,21,22,23,?2^0, 2^1, 2^2, 2^3 , \cdots20,21,22,23,?
由于不允許有重復 , 因此每個 222 次冪 的個數 , 只能是 0,10,10,1 兩種情況 ;
按照正整數拆分的模型 , 寫出一個生成函數 :
202^020 對應的生成函數項 : 底是 y20=yy^{2^0} = yy20=y , 取值 0,10, 10,1 , 則對應的 生成函數項是 y0+y1=1+yy^0 + y^1 = 1+ yy0+y1=1+y
212^121 對應的生成函數項 : 底是 y21=y2y^{2^1} = y^2y21=y2 , 取值 0,10, 10,1 , 則對應的生成函數項是 (y2)0+(y2)1=1+y2(y^2)^0 + (y^2)^1 = 1+ y^2(y2)0+(y2)1=1+y2
222^222 對應的生成函數項 : 底是 y22=y4y^{2^2} = y^4y22=y4 , 取值 0,10, 10,1 , 則對應的生成函數項是 (y4)0+(y4)1=1+y4(y^4)^0 + (y^4)^1 = 1+ y^4(y4)0+(y4)1=1+y4
232^323 對應的生成函數項 : 底是 y23=y8y^{2^3} = y^8y23=y8 , 取值 0,10, 10,1 , 則對應的生成函數項是 (y8)0+(y8)1=1+y8(y^8)^0 + (y^8)^1 = 1+ y^8(y8)0+(y8)1=1+y8
?\vdots?
完整的生成函數是 :
G(x)=(1+y)(1+y2)(1+y4)(1+y8)?G(x) = (1+ y)(1+ y^2)(1+ y^4)(1+ y^8)\cdotsG(x)=(1+y)(1+y2)(1+y4)(1+y8)?
分解上述每個 生成函數項 :
1+y=1?y21?y1+ y= \cfrac{1-y^2}{1-y}1+y=1?y1?y2?
1+y2=1?y41?y21+ y^2= \cfrac{1-y^4}{1-y^2}1+y2=1?y21?y4?
1+y4=1?y81?y41+ y^4= \cfrac{1-y^8}{1-y^4}1+y4=1?y41?y8?
將上面三個等式代入生成函數 G(x)G(x)G(x) 中 ,
G(x)=1?y21?y?1?y41?y2?1?y81?y4?G(x) = \cfrac{1-y^2}{1-y} \cdot \cfrac{1-y^4}{1-y^2} \cdot \cfrac{1-y^8}{1-y^4} \cdotsG(x)=1?y1?y2??1?y21?y4??1?y41?y8??
=11?y\ \ \ \ \ \ \ \ \ \ = \cfrac{1}{1-y}??????????=1?y1?
=1+y+y2+y3+?\ \ \ \ \ \ \ \ \ \ = 1 + y + y^2 + y^3 + \cdots??????????=1+y+y2+y3+?
上述生成函數是 1n1^n1n 通項公式 對應的數列的 生成函數 ;
上述生成函數展開后 , 每項前的系數都為 111 , 說明只有一種方案 ;
總結
以上是生活随笔為你收集整理的【组合数学】生成函数 ( 正整数拆分 | 无序不重复拆分示例 )的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【组合数学】生成函数 ( 正整数拆分 |
- 下一篇: 【组合数学】生成函数 ( 正整数拆分 |