【组合数学】指数型母函数 应用 ( 多重集排列问题 | 不同球放在不同盒子里 | 奇/偶数序列的指数生成函数推导 )

多重集全排列公式

给定多重集 , 有 $k$ 种元素 , 每种元素 $n_i$ 个 ;
S = { n 1 ⋅ a 1 , n 2 ⋅ a 2 , ⋯   , n k ⋅ a k } S = \{n_1 \cdot a_1 , n_2 \cdot a_2 , \cdots , n_k \cdot a_k\} S={n1​⋅a1​,n2​⋅a2​,⋯,nk​⋅ak​}

多重集全排列 公式是

$\frac{n!}{n_1!n_2!\cdots n_k!}$

其中 $n=n_1+n_2+n_3+\cdots +n_k$ ;

---

指数型母函数 处理多重集排列问题 引入

给定多重集 , 有 $k$ 种元素 , 每种元素 $n_i$ 个 ;
S = { n 1 ⋅ a 1 , n 2 ⋅ a 2 , ⋯   , n k ⋅ a k } S = \{n_1 \cdot a_1 , n_2 \cdot a_2 , \cdots , n_k \cdot a_k\} S={n1​⋅a1​,n2​⋅a2​,⋯,nk​⋅ak​}

但是如果不是全排列 , 是选取其中某些元素进行排列 , 就要用到 指数型母函数了 ;

指数型母函数 可以处理多重集排列问题 :

---

指数型母函数 处理多重集排列问题 公式推导

指数型母函数公式推导 :

① 每个元素都要找到其 通项 $\frac{x^k}{k!}$ ;

② 对于第一个元素 $a_1$ 可取的 个数 的 范围是 { 0 , 1 , 2 , 3 , ⋯   , n 1 } \{0, 1, 2, 3, \cdots , n_1\} {0,1,2,3,⋯,n1​} ,

其指数型生成函数是 $\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_1}}{n_1!}$

化简后为 : $1+\frac{x}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_1}}{n_1!}$

③ 对于第二个元素 $a_2$ 可取的个数 的 范围是 { 0 , 1 , 2 , 3 , ⋯   , n 2 } \{0, 1, 2, 3, \cdots , n_2\} {0,1,2,3,⋯,n2​} ;

其指数型生成函数是 $\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_2}}{n_2!}$

化简后为 : $1+\frac{x}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_2}}{n_2!}$

④ 对于第 $k$ 个元素 $a_k$ 可取的个数 的 范围是 { 0 , 1 , 2 , 3 , ⋯   , n k } \{0, 1, 2, 3, \cdots , n_k\} {0,1,2,3,⋯,nk​} ;

其指数型生成函数是 $\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_k}}{n_k!}$

化简后为 : $1+\frac{x}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_k}}{n_k!}$

⑤ 最终的指数型母函数为 :

$$G_e(x)=(1+\frac{x}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_1}}{n_1!})(1+\frac{x}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_2}}{n_2!})\cdots (1+\frac{x}{1!}+\frac{x^2}{2!}+\cdots \frac{x^{n_k}}{n_k!})$$

---

指数型母函数 处理 有限数字串问题

题目 :
有 $4$ 个数字 $1,2,3,4$ 构成 $5$ 位数 方案数 ;
其中 $1$ 出现次数不超过 $2$ 次 , 不能不出现 ;
其中 $2$ 出现此处不超过 $1$ 次 ;
其中 $3$ 出现次数可以达到 $3$ 次 , 也可以不出现 ;
其中 $4$ 出现次数必须是 偶数 ;

分析 :

• 1.$1$ 出现次数 : $1$ 出现次数不超过 $2$ 次, 不能不出现, 因此 至少要出现 $1$ 次, 其出现此处序列是 { 1 , 2 } \{1, 2\} {1,2} ;
  • 其对应指数型母函数为 : $(\frac{x^1}{1!}+\frac{x^2}{2!})$ ;
• 2.$2$ 出现次数 : $2$ 出现次数不超过 $1$ 次 , 其出现此处序列是 { 0 , 1 } \{0, 1\} {0,1} ;
  • 其对应指数型母函数为 : $(\frac{x^0}{0!}+\frac{x^1}{1!})$ ;
• 3.$3$ 出现次数 : $3$ 出现次数可达到 $3$ 次, 可以不出现, 其出现此处序列是 { 0 , 1 , 2 , 3 } \{0, 1, 2, 3\} {0,1,2,3} ;
  • 其对应指数型母函数为 : $(\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!})$ ;
• 4.$4$ 出现次数 : $4$ 出现次数为偶数, 其出现此处序列是 { 0 , 2 , 4 } \{0, 2, 4\} {0,2,4} ;
  • 其对应指数型母函数为 : $(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!})$ ;

解 :

① 写出其对应的母函数 : 这里是排列 , 因此母函数通项必须是除以 $k!$ ;
$$\begin{gathered} G_e(x)=(\frac{x^1}{1!}+\frac{x^2}{2!})(\frac{x^0}{0!}+\frac{x^1}{1!})(\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!})(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}) \\ =(x+\frac{x^2}{2!})(1+x)(1+x+\frac{x^2}{2!}+\frac{x^3}{3!})(1+\frac{x^2}{2!}+\frac{x^4}{4!}) \end{gathered}$$

② 将上述式子展开 :

$$\begin{gathered} G_e(x)=(x+\frac{3}{2}{x}^2+\frac{1}{2}{x}^3)(1+x+x^2+\frac{2}{3}{x}^3+\frac{7}{24}{x}^4+\frac{1}{8}{x}^5+\frac{1}{48}{x}^6+\frac{1}{144}{x}^7) \\ =x+\frac{5}{2}{x}^2+3x^3+\frac{8}{3}{x}^4+\frac{43}{24}{x}^5+\frac{43}{48}{x}^6+\frac{17}{48}{x}^7+\frac{1}{288}{x}^8+\frac{1}{48}{x}^9+\frac{1}{288}{x}^{10} \end{gathered}$$

③ 将上述式子 中 的 $\frac{43}{24}{x}^5$ 项 转换为 $\frac{x^k}{k!}$ 的形式 :

$\frac{43\times 5!}{24\times 5!}{x}^5=\frac{43\times 5!}{24}\times \frac{x^5}{5!}=\frac{43\times 5\times 4\times 3\times 2}{24}\times \frac{x^5}{5!}=215\times \frac{x^5}{5!}$

④ 上述计算结果 $\frac{x^5}{5!}$ 的 系数是 $215$ ; 因此 四个数字 构成 $5$ 位数的方案数是 $215$ 个 ;

---

指数型母函数 处理 n 位数字串问题

题目 : 求 $1,3,5,7,9$ 五个数字 , 组成 $n$ 位数的方案数 , 同时还要满足以下要求 ;
$3,7$ 出现的此处为 偶数 ;
$1,5,9$ 出现次数不加限制 ;

分析 : 相当于把 $n$ 个不同的球放到 $1,3,5,7,9$ 五个盒子中 , 每个盒子的球数 方案数 ;

• $3,7$ 出现次数分析 : 其只能出现 偶数次 , 即 出现次数是序列 { 0 , 2 , 4 , ⋯   } \{0, 2, 4, \cdots\} {0,2,4,⋯} ;

  • 对应的指数生成函数项为 : $(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+\dots )$ ;

• $1,5,9$ 出现次数分析 : 其出现的次数不加限制 , 那么出现的次数序列是 $0,1,2,\cdots$

  • 对应的指数生成函数项为 : $(\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\cdots )=e^x$ ;

解 :

① 写出对应的 指数生成函数 :

$$G_e(x)=(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots {)}^2(\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots {)}^3$$

② 出现次数 正常自然数 序列 { 0 , 1 , 2 , 3 , 4 , ⋯   } \{ 0, 1, 2, 3, 4, \cdots\} {0,1,2,3,4,⋯} 指数型母函数计算 :

$$\begin{array}{lc}& \frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \\ & \\ =& 1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \\ & \\ =& {\sum }_{k=0}^{\infty }1\cdot \frac{x^k}{k!}\\ =& e^x\end{array}$$

② 出现 偶数次数 序列 { 0 , 2 , 4 , 6 , ⋯   } \{0 , 2, 4, 6 , \cdots\} {0,2,4,6,⋯} 指数型母函数计算 : 消掉奇数项 , 留下偶数项 ;

已知两个公式 :

$$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots$$
( 该公式所有项都是正的 )

$$e^{-x}=1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots$$
( 该公式所有偶数项 都是正的 , 所有奇数向都是负的 )

将两个式子相加 :
$$\begin{array}{lcl}{e}^x+e^{-x}& =& 1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \\ & & \\ & & +1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots \\ & & \\ & =& 1\times 2+\frac{x^2}{2!}\times 2+\frac{x^4}{4!}\times 2+\cdots \end{array}$$
( 该结果是 偶数 序列 指数生成函数的 2 倍 )

偶数序列生成函数计算 :
$$1+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots =\frac{1}{2}(e^x+e^{-x})$$

③ 将 ① ② 的结果代入到指数生成函数中 :

$$\begin{array}{lcl}{G}_e(x)& =& (\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots {)}^2(\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots {)}^3\\ & & \\ & =& (\frac{1}{2}(e^x+e^{-x}){)}^2(e^x{)}^3\\ & =& \frac{1}{4}(2e^x{e}^{-x}+e^{2x}+e^{-2x})e^{3x}\\ & =& \frac{1}{4}(2e^{3x}+e^{5x}+e^x)\\ & =& \frac{1}{4}({\sum }_{n=0}^{\infty }\frac{5^n}{n!}{x}^n+2{\sum }_{n=0}^{\infty }\frac{3^n}{n!}{x}^n+{\sum }_{n=0}^{\infty }\frac{1}{n!}{x}^n)\\ & =& \frac{1}{4}{\sum }_{n=0}^{\infty }(5^n+2\cdot 3^n+1)\frac{x^n}{n!}\end{array}$$

至此 , 可以得到 $\frac{x^n}{n!}$ 的系数为 $\frac{1}{4}(5^n+2\cdot 3^n+1)$

④ $5$ 位数按照要求组成 $n$ 位数的个数方案数 是 $\frac{1}{4}(5^n+2\cdot 3^n+1)$ 种 ;

---

指数型母函数 处理 n 位数字串问题 ( 考试题 )

题目 : 把 $n$ 个编号的球 , 放入 $3$ 个不同的盒子里 , 同时还要满足以下要求 ;
第 $1$ 个盒子至少放一个 ;
第 $2$ 个盒子放奇数个 ;
第 $3$ 个盒子放偶数个 ;

分析 :

• 第 $1$ 个盒子放球数分析 : 至少放一个 , 其放球的 个数 序列是 { 1 , 2 , 3 , ⋯   } \{1, 2, 3, \cdots\} {1,2,3,⋯}
  • 第$1$个盒子 的 放球序列 对应 指数生成函数 : $(\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots )$
• 第 $2$ 个盒子放球数分析 : 放奇数个球 , 其放球的 个数 序列是 { 1 , 3 , 5 , ⋯   } \{1, 3, 5, \cdots\} {1,3,5,⋯}
  • 第$2$个盒子 的 放球序列 对应 指数生成函数 : $(\frac{x^1}{1!}+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots )$
• 第 $3$ 个盒子放球数分析 : 放偶数个球 , 其放球的 个数 序列是 { 2 , 4 , 6 , ⋯   } \{2, 4, 6, \cdots\} {2,4,6,⋯}
  • 第$3$个盒子 的 放球序列 对应 指数生成函数 : $(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots )$

解 :

① 写出生成函数 :

$$\begin{gathered} \begin{array}{lcl} \\ {G}_e(x)& =& (\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots )(\frac{x^1}{1!}+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots )(\frac{x^0}{0!}+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots )\\ & & \\ & =& (x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots )(x+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots )(1+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots )\end{array} \end{gathered}$$

② 计算 第 $1$ 个 盒子 的 指数生成函数 项 ( 除 $0$ 外的序列 ) :

已知公式 :
$$\begin{array}{lcl}{e}^x& =& \frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \\ & & \\ & =& 1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \end{array}$$

$$\begin{array}{lcl}{e}^{-x}& =& \frac{x^0}{0!}-\frac{x^1}{1!}+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots \\ & & \\ & =& 1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots \end{array}$$

第一个盒子对应的指数生成函数 :
$$\begin{gathered} \begin{array}{l} \\ x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots =e^x-1\end{array} \end{gathered}$$

③ 计算 第 $2$ 个 盒子 的 指数生成函数 项 ( 奇数序列 ) :

$$\begin{gathered} \begin{array}{lcl} \\ {e}^x-e^{-x}& =& (1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots )-(1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots )\\ & =& 2(x+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots )\end{array} \end{gathered}$$

因此奇数序列 对应指数生成函数 是 :

$$x+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots =\frac{e^x-e^{-x}}{2}$$

④ 计算 第 $3$ 个 盒子 的 指数生成函数 项 ( 偶数序列 ) :

$$\begin{gathered} \begin{array}{lcl} \\ {e}^x+e^{-x}& =& (1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots )+(1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots )\\ & =& 2(0+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots )\end{array} \end{gathered}$$

因此奇数序列 对应指数生成函数 是 :

$$1+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots =\frac{e^x+e^{-x}}{2}$$

⑤ 将 ② ③ ④ 结果 代入 指数生成函数 :

$$\begin{gathered} \begin{array}{lcl} \\ {G}_e(x)& =& (x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots )(x+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots )(1+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots )\\ & & \\ & & \\ & =& (e^x-1)(\frac{e^x-e^{-x}}{2})(\frac{e^x+e^{-x}}{2})\\ & & \\ & =& \frac{1}{4}(e^x-1)((e^x{)}^2-(e^{-x}{)}^2)\\ & & \\ & =& \frac{1}{4}(e^x-1)(e^{2x}-e^{-2x})\\ & & \\ & =& \frac{1}{4}(e^x{e}^{2x}-e^x{e}^{-2x}-e^{2x}+e^{-2x})\\ & & \\ & =& \frac{1}{4}(e^{3x}-e^{-x}-e^{2x}+e-2x)\\ & & \\ & =& \frac{1}{4}({\sum }_{n=0}^{\infty }\frac{x^n}{n!}{3}^n-{\sum }_{n=0}^{\infty }\frac{x^n}{n!}(-1{)}^n-{\sum }_{n=0}^{\infty }\frac{x^n}{n!}{2}^n+{\sum }_{n=0}^{\infty }\frac{x^n}{n!}(-2{)}^n)\\ & & \\ & =& {\sum }_{n=0}^{\infty }\frac{x^n}{n!}(\frac{1}{4}(3^n-(-1{)}^n-2^n+(-2{)}^n))\\ & & \end{array} \end{gathered}$$

至此 , 可以看到 $\frac{x^n}{n!}$ 前的系数为 $\frac{1}{4}(3^n-(-1{)}^n-2^n+(-2{)}^n)$ ;

⑥ 最终结果计算 :
根据上述计算 , $\frac{x^n}{n!}$ 前的系数为 $\frac{1}{4}(3^n-(-1{)}^n-2^n+(-2{)}^n)$ , 那么对应的 $n$ 个编号的球 放入 3 个不同的盒子中 , 满足一系列条件的方案数为 $\frac{1}{4}(3^n-(-1{)}^n-2^n+(-2{)}^n)$ ;

---