常见的生成函数

Bernoulli和Euler数及多项式

定义:
高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数

一些展开项:
高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_02

高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_03
即:
高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_04

  • 若两端取高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_05的系数, 得到高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_06,
  • 高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_07的系数, 得到高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_08, (高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_09),
    高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_10.
    高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_11

注:
高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_12
右端为偶函数, 于是其展开项的奇数次幂都为0.

重要性质

  1. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_13;
  2. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_14;
  3. 高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_15;
  4. 高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_16;
  5. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_17; (函数的卷积公式)
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_18
    比较两端高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_07的系数, 得到上式成立.
  6. 高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_20;
  7. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_21;
  8. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_22;
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_23

应用: 计算幂和

高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_24

交错幂和

高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_25
考虑形式级数高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_26, 化简得到
高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_27
两边取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_28, 并取高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_29,
高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_30
其中, 高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_31应用了性质5.
高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_32
于是我们得到:
高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_33
类似,
高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_34

Bernoulli多项式和Euler多项式的推广

高阶Bernoulli多项式高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_35, 高阶Euler多项式高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_36.

定义:
高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_37

类似的性质:

  1. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_38,
    高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_39;
  2. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_40,
    高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_41;
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_42

Genocchi数高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_43

定义:
高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_44
高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_45, 高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_46.

生成函数在排列组合中的应用

  • 普通生成函数:高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_47, 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_48,
    高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_49
    特例: 取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_50, 知高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_51 的生成函数为高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_52.
  • 指数型生成函数:高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_53, 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_54.
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_55
    特例: 取高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_56,知高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_57的生成函数为高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_58.

普通生成函数之应用: 组合

  1. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_59,
    高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的物体中不允许重复地选取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个物体的方法数为高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_62.
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个相同的球放入高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的盒子, 每个盒子至多有一个球的方法数. 单射
  2. 允许重复:
    高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_65
    高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的物体, 允许重复选取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个物体的方法数为高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_68
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个相同的球放入高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的盒子, 盒子中的球数量不加限制.映射(不加限制)
  3. 若每个物体至少选取一次.
    高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_71
    高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的物体中允许重复的选取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个, 且每个物体至少出现高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61次的方法数为高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_75.
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个相同的球放入高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的盒子, 且每个盒子至少有一个球. 满射

不定方程之解的个数也可以这样来求解.

指数生成函数之应用: 排列

  1. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同物体中不允许重复的选取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61物体进行排列的方法数为高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_80, 即高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_81展开式中高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_82的系数.
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个不同的球放入高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的盒子里, 每个盒子至多一个球的方法数. 单射
  2. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同物体中允许重复的选取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61物体进行排列的方法数为高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_87, 高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_88的展开式中高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_82的系数.
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个不同的球放入高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的盒子里, 每个盒子中球不加限制的方法数.映射
  3. 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同物体中不允许重复的选取高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61物体, 且每个物体至少出现一次, 进行排列的方法数为 高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_94的展开式中高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_82的系数.
    高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_96
    方法数为高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_97(第二类Stirling数).
    高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_61个不同的球放入高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_60个不同的盒子里, 每个盒子至少一个球的方法数. 满射

加括号问题(Catalan数)

Catalan问题

考虑高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_100个字母高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_101的逐次乘积计算的不同方法数高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_102. (假定乘积计算不适合结合律和交换律)

高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_103.

可以用加括号方式表示, 或者二叉树表示(更加直观, 见下图)

高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_104

高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_105

注意到高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_100个字母的最后一次运算, 是在前高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_107个字母的积与后高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_108个字母的积之间进行的 (高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_109).故有
高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_110

推导一下Catalan数的表示式,主要用到生成函数的方法,主要难点是幂级数的计算。

根据上式, 进行变量替换, Catalan数的递推关系满足:
高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_111

高等组合学笔记(四): 生成函数应用, Catalan问题_生成函数_112
于是有:
高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_113
即:
高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_114
立即解得:
高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_115
由幂级数收敛条件可知
高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_116
展开上式:
高等组合学笔记(四): 生成函数应用, Catalan问题_组合数学_117
于是有:
高等组合学笔记(四): 生成函数应用, Catalan问题_多项式_118
下面利用牛顿二项式定理化简上面的结果:
高等组合学笔记(四): 生成函数应用, Catalan问题_组合学_119