常见的生成函数

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