标签：dots frac 函数 sum times choose
母函数
引入(母函数的意义)
\((x_1+x_2+\dots x_k)^n\) 的多项式展开。
- 形成 \({x_1}^{n_1}\times {x_2}^{n_2}\times \dots \times{x_k}^{n_k}\) 的方案数。（满足 \(n_1+n_2+\dots +n_k=n\)，下同）
\(n\) 个盒子，每个盒子有 \(k\) 种球，从每个盒子选一种球，选 \(n_1\) 个 \(x_1\)，\(n_2\) 个 \(x_2\dots\) 所形成的方案数。
解：
\({n\choose n_1}\times {n-n_1\choose n_2}\times {n-n_1-n_2\choose n_3}\dots \times {n-\sum_{i=1}^{n-1}n_i\choose n_k}\)
- \({x_1}^{n_1}\times {x_2}^{n_2}\times \dots \times{x_k}^{n_k}\) 的系数。
多重集的组合数。
- 所有系数之和。
解：\(n^k\)。
由此可见，多项式展开后，其系数序列能让我们研究许多问题。
概念构建
幂级数型母函数
对于序列 \(a_0,a_1,a_2\dots ,a_n\dots\)，构建函数：
\(F(x)=a_0+a_1\times x^{1}+a_2\times x^2+\dots + a_n\times x^n+\dots\)
则称 \(F(x)\) 是序列 \(a_1,a_2\dots\) 的母函数（生成函数）。
比如，\(F(x) = (1+x)^n= {n\choose 0} + {n\choose 1} + {n\choose 2} + \dots {n\choose n}\)
则 \(F(x)\) 是序列 \(\{{n\choose 0},{n\choose 1},{n\choose 2}\dots {n\choose n}\}\) 的母函数。
例 \(1\)：（无穷递缩等比数列求和公式）
求 \(1,1,1,1\dots 1,\dots\) 的母函数。
解：
\(F(x)=1+x^1+x^2+x^3+\dots x^n = \frac{1}{1-x}\)
练 \(1\)：求 \(1,0,1,0,1,0\dots\) 的母函数。
牛顿广义二项式定理：
\[(x+y)^{\alpha}=\sum_{n=0}^\infty{\alpha \choose n}x^{n}y^{\alpha-n} \]其中 \(\alpha\choose n\) 为牛顿二项式系数：
\[{a\choose n}=\frac{\alpha(\alpha-1) \ldots(\alpha-n+1)}{n!} \]例 \(2\)：求 \(a_0,a_1,a_2,\dots a_n\dots\) 的母函数，\(a_n\) 是 \(k>0\) 时的无限重集的 \(n\) 组合数。
具体地，\(a_n={n+k-1\choose n}\)。
解：\(F(x)=(1-x)^{-k}\)
练 \(2\)：确定平方数列 \(0, 1, 4, \dots n^2\) 的母函数。
指数型母函数
对于数列 \(a_0,a_1,a_2\dots a_n\)，则函数：
\(F(x)=\sum_{n=0}^{\infty}{a_n\times \frac{x^n}{n!}}\)
称为数列 \({a_n}\) 的指数型母函数。
例 \(1\)：数列 \(1,1,1,1,1\dots\) 的指数型母函数。
解：
（麦克劳林公式）
\(F(x)=1+\frac{x}{1!}+\frac{x^2}{2!}+\dots +\frac{x^n}{n!}+\dots=e^x\)
例 \(2\)：数列 \(1, 0, 1, 0, 1, 0, 1\dots\) 的母函数。
\(F(x)=1-\frac{x}{1!}+\frac{x^2}{2!}-\dots +(-1)^n\times \frac{x^n}{n!}+\dots = e^{-x}\)
例 \(3\)：数列 \(1，a, a^2, a^3\dots\) 的指数型母函数。
解：
\(F(x)=\sum_{n=0}^{\infty}{a^n\times \frac{x^n}{n!}}=e^{ax}\)
练 \(3\)：数列 \(a, a^2, a^3\dots a^n\dots\) 的母函数。
应用
整数拆分问题
母函数能解决的一大问题就是整数拆分问题。
例 \(1\)：共有 \(1\) 克，\(2\) 克，\(3\) 克的砝码各一枚，问能称出哪几种重量，各自有几种方案。
例 \(2\)：一口袋中有 \(5\) 个红球，\(3\) 个黄球，绿、白、黑球可以任意多的提供。每次从中取 \(3\) 个，问有多少种不同取法。
例 \(3\)：共有 \(1\) 克的砝码 \(3\) 枚，\(2\) 克的砝码 \(4\) 枚，\(4\) 克的 \(2\) 枚，问能称出哪几种重量，各自有几种方案。
用生成函数求解计数问题通常分为三步：
- 构造生成函数
- 化简生成函数
- 展开，得到指定项的系数
练 \(1\)：有无限个红色和蓝色的球，如果从中选出 \(n\) 个球，选出的球中须有偶数个红球，求选择的方案数 \(a_n\)。
求解递归式通项公式
例1：
求满足 \(a_n=2\times a_{n-1} + 1\) 的 \(a_n\) 的通项公式。
构造 \(F(x)=0+a_1 \times x+a_2 \times x^{2}+\dots +a_n\times x^n\)
\(F(x)-2x\times F(x) = (a_2-2\times a_1)x^2+(a_3-2\times a_2)x^3+\dots (a_n-2\times a_{n-1})x^n+\dots \\ \to (1-2x)F(x)=x^2+x^3+\dots x^n\dots \\ \to F(x)=\frac{x}{(1-x)\times (1-2x)} \\ \to F(x)=\frac{1}{1-2x}-\frac{1}{1-x} \\ \to F(x) = 2+2x^2+4x^2+\dots2^{n}x^{n}-1-x-x^2-x^3-\dots x^n \\ \to a_n=2^n-1 \)
练 \(1\)：
已知 \(a_0=-1,a_1=1,a_n=2a_{n-1}+3a_{n-2}+3^n\)。
求 \(a_n\) 的通项公式。
指数型母函数的应用
例 \(1\)：若有 \(8\) 个元素，其中 \(a_1\) 重复了 \(3\) 次，\(a_2\) 中重复了两次，\(a_3\) 重复了 \(3\) 次，求从中取 \(4\) 个元素所产生的排列总数。
解：
构造母函数 \(F(x)=(1+\frac{x}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!})\times (1+\frac{x}{1!}+\frac{x^2}{2!})\times (1+\frac{x}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!})\)
\(\to \sum{b_i\times \frac{x^i}{i!}}\)
\(b_i=\sum{\frac{i!}{m_1!m_2!\dots m_k!}}\)
其中 \(b_n\) 就是从中取 \(4\) 个元素所产生的排列数。
例 \(2\)：求 \(n\) 位四进制数 \(1, 2, 3\) 各出现一次的数的个数。
解：
构造母函数
\(F(x)=(\frac{x}{1!}+\frac{x^2}{2!}+\dots)^3(1+\frac{x}{1!}+\frac{x^2}{2!}+\dots)\)
\( =(e^x-1)^3\times e^x \\ =e^{4x}-3\times e^{3x}+3\times e^{2x}-e^x \\ =\sum_{n=0}^{\infty}{4^n\times \frac{x}{n!}}-\sum_{n=0}^{\infty}{3\times 3^n\times \frac{x}{n!}}+\sum_{n=0}^{\infty}{3\times 2^n\times \frac{x}{n!}}-{\sum_{n=0}^{\infty}{\frac{x}{n!}}} \\ =\sum_{n=0}^{\infty}{(4^n-3^{n+1}+3\times 2^n-1)\frac{x^n}{n!}} \)
故答案为 \(4^n-3^{n+1}+3\times 2^n-1\)
标签：dots,frac,函数,sum,times,choose 来源： https://www.cnblogs.com/mklzc/p/16486084.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。