【组合数学】生成函数 ( 使用生成函数求解不定方程解个数示例 2 | 扩展到整数解 )
文章目錄
- 一、使用生成函數求解不定方程解個數示例
參考博客 :
- 【組合數學】生成函數 簡要介紹 ( 生成函數定義 | 牛頓二項式系數 | 常用的生成函數 | 與常數相關 | 與二項式系數相關 | 與多項式系數相關 )
- 【組合數學】生成函數 ( 線性性質 | 乘積性質 )
- 【組合數學】生成函數 ( 移位性質 )
- 【組合數學】生成函數 ( 求和性質 )
- 【組合數學】生成函數 ( 換元性質 | 求導性質 | 積分性質 )
- 【組合數學】生成函數 ( 性質總結 | 重要的生成函數 ) ★
- 【組合數學】生成函數 ( 生成函數示例 | 給定通項公式求生成函數 | 給定生成函數求通項公式 )
- 【組合數學】生成函數 ( 生成函數應用場景 | 使用生成函數求解遞推方程 )
- 【組合數學】生成函數 ( 使用生成函數求解多重集 r 組合數 )
- 【組合數學】生成函數 ( 使用生成函數求解不定方程解個數 )
- 【組合數學】生成函數 ( 使用生成函數求解不定方程解個數示例 )
一、使用生成函數求解不定方程解個數示例
111 克砝碼 222 個 ,
222 克砝碼 111 個 ,
444 克砝碼 222 個 ,
可以稱出哪些重量 , 有多少方案個數 ;
砝碼可以放在左右兩側
將生成函數的概念 , 推廣到可以放負數次冪 , 放在左邊是正數 , 不放是 000 , 放在右邊是負數 ,
111 克的砝碼 個數是 x1x_1x1? 個 , 取值范圍是 ?2≤x1≤2-2 \leq x_1 \leq 2?2≤x1?≤2 , 可取值 ?2,?1,0,1,2-2, -1, 0 , 1, 2?2,?1,0,1,2
222 克的砝碼個數是 x2x_2x2? 個 , 取值范圍是 ?1≤x2≤1-1 \leq x_2 \leq 1?1≤x2?≤1 , 可取值 ?1,0,1-1, 0,1?1,0,1
444 克的砝碼個數是 x3x_3x3? 個 , 取值范圍是 ?2≤x3≤2-2 \leq x_3 \leq 2?2≤x3?≤2 , 可取值 ?2,?1,0,1,2-2, -1, 0,1,2?2,?1,0,1,2
x1+2x2+4x3=rx_1 + 2x_2 + 4x_3 = rx1?+2x2?+4x3?=r , 其中 rrr 代表可以稱出的重量 ,
寫出上述 , 帶限制條件 , 并且帶系數 的不定方程非負整數解的 生成函數 :
x1x_1x1? 項 , 帶限制條件 , 沒有系數 , 其 底是 yyy , 冪取值 0,1,20 , 1, 20,1,2 , 對應的生成函數項是 (y?2+y?1+1+y+y2)(y^{-2} + y^{-1} + 1 + y + y^2 )(y?2+y?1+1+y+y2)
x2x_2x2? 項 , 帶限制條件 , 帶系數 222 , 其 底是 y2y^2y2 , 冪取值 0,10,10,1 , 對應生成函數項是 (y2)?1+(y2)0+(y2)1=y?2+1+y2(y^2)^{-1} + (y^2)^0 + (y^2)^1 = y^{-2} + 1+ y^2(y2)?1+(y2)0+(y2)1=y?2+1+y2
x3x_3x3? 項 , 帶限制條件 , 帶系數 444 , 其 底是 y4y^4y4 , 冪取值 0,1,20,1, 20,1,2 , 對應生成函數項是 (y4)?2+(y4)?1+(y4)0+(y4)1+(y4)2=y?8+y?4+1+y4+y8(y^4)^{-2} + (y^4)^{-1} + (y^4)^0 + (y^4)^1 + (y^4)^2 = y^{-8} + y^{-4} + 1+ y^4 + y^8(y4)?2+(y4)?1+(y4)0+(y4)1+(y4)2=y?8+y?4+1+y4+y8
將上述三項乘起來 , 并展開 :
G(x)=(y?2+y?1+1+y+y2)(y?2+1+y2)(y?8+y?4+1+y4+y8)G(x) = ( y^{-2} + y^{-1} + 1 + y + y^2 ) (y^{-2} + 1+ y^2) (y^{-8} + y^{-4} + 1+ y^4 + y^8)G(x)=(y?2+y?1+1+y+y2)(y?2+1+y2)(y?8+y?4+1+y4+y8)
=5+3y+4y2+3y3+5y4+3y5+4y6+3y7+4y8+2y9+2y10+y11+y12\ \ \ \ \ \ \ \ \ \ =5 + 3y + 4y^2 + 3y^3 + 5y^4 + 3y^5 + 4y^6 + 3y^7 + 4y^8 + 2y^9 + 2y^{10} + y^{11} + y^{12}??????????=5+3y+4y2+3y3+5y4+3y5+4y6+3y7+4y8+2y9+2y10+y11+y12
上述展開后的 yyy 的次冪數是重量 , 系數是 方案個數 , 如 4y24y^24y2 項表示 , 稱出 222 克重量 , 有 444 個方案 ;
總體描述 :
- 111 項 : 表示 y0y^0y0 , 稱出 000 克 , 有 000 種方案 ;
- 3y3y3y 項 : 表示 3y13y^13y1 , 稱出 111 克 , 有 333 種方案 ;
- 4y24y^24y2 項 : 表示 4y24y^24y2 , 稱出 222 克 , 有 444 種方案 ;
- 3y33y^33y3 項 : 表示 3y33y^33y3 , 稱出 333 克 , 有 333 種方案 ;
- 5y45y^45y4 項 : 表示 5y45y^45y4 , 稱出 444 克 , 有 555 種方案 ;
- 3y53y^53y5 項 : 表示 3y53y^53y5 , 稱出 555 克 , 有 333 種方案 ;
- 4y64y^64y6 項 : 表示 4y64y^64y6 , 稱出 666 克 , 有 444 種方案 ;
- 3y73y^73y7 項 : 表示 3y73y^73y7 , 稱出 777 克 , 有 333 種方案 ;
- 4y84y^84y8 項 : 表示 4y84y^84y8 , 稱出 888 克 , 有 444 種方案 ;
- 2y92y^92y9 項 : 表示 2y92y^92y9 , 稱出 999 克 , 有 222 種方案 ;
- 2y102y^{10}2y10 項 : 表示 2y102y^{10}2y10 , 稱出 101010 克 , 有 222 種方案 ;
- y11y^{11}y11 項 : 表示 y11y^{11}y11 , 稱出 111111 克 , 有 111 種方案 ;
- y12y^{12}y12 項 : 表示 y12y^{12}y12 , 稱出 121212 克 , 有 111 種方案 ;
總結
以上是生活随笔為你收集整理的【组合数学】生成函数 ( 使用生成函数求解不定方程解个数示例 2 | 扩展到整数解 )的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【组合数学】生成函数 ( 使用生成函数求
- 下一篇: 【组合数学】生成函数 ( 正整数拆分 |