文章目录

回顾

例题: 设高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学是由四种元素高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_02组成的多重集高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_03, 问高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学使得高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_05至少出现1次, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_06至少出现两次, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_07至少出现3次的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_08组合数是多少?

解: (考虑等价形式)

即考虑高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_09,其中高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_10,的整数解的个数. 令高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_11, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_12, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_13, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_14.

则等价于高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_15的非负整数解的个数.

由重集高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_16高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_17组合数高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_18.

注:

重集高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_19高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_20组合.

  1. 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_21则等价于无重复限制集合的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_22组合,(有下界的情况较好处理)
    高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_23高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_22组合.
  2. 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_25大于其中一个或多个高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_26时, 考虑高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_22组合.
    高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_28(对于有上界的情况, 可以使用容斥原理, 生成函数方法求解)
    其中高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_29.

例子: 证明不等式高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_30的非负整数解的个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_31,并给出
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_32
的组合解释.

证明:

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_33,

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_34.

故非负整数解有高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_35个.

另一方面, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_33, 等价于

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_37的解的并.

上述方程的解的个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_38, 由加法原理得到: 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_39.

考虑高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_40.

例子:(Gergonne, 1812)

  • 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_41的一个高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42元子集称为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43间隔的, 若其中任意两个数之差大于高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43.

证明: 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_45高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_46间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_47 元子集的个数为
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_48

  • 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_49:高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_50高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_51元子集个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_52.
  • 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_53:高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_50的可重复高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_51元子集个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_56.

证明:(方法一, 考虑方程组解和子集之间的一一对应)

考虑高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_57高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42元子集高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_60, 其中高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_61.


高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_62
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_63表示上图中元素的个数, 则由高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_64.

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_65.

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_66.

即建立了高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_41高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42元子集与下述方程的解的一一对应
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_70
(平移后去掉下界)令高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_71, 则原方程等价于
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_72
的非负整数解的个数, 即为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_73.


证明(方法二, 任意两数之差大于高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43, 通过插空的方法生成满足条件的间距)

  • 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_50高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_76间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_51元子集可由下列方法构成,
  • 先去掉高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_78个间隔, 再从剩余的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_79个数中取高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_51个, 故共有高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_81种方法.

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_46间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_83排列问题直接乘以高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_84即可.

例子: 投票(选举)问题

(Bertrand, 1887提出) (高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_85, 1887解决)

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_86高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_87满足高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_88高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_89的整数, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_90表示从高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_91高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_92, 除高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_91之外与直线高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_94不交的格路数. 证明:

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_95

利用反射对应原理(高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_96反射原理):
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_96反射:

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_98高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_16穿过接触高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43的格路数与高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_98的对应点高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_102高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_16的格路数相等(存在一一对应).

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_104

证明: 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_105相当于从高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_106高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_107是与直线高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_108不交的格路数,
等于从高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_106高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_107的所有格路数减去从高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_106高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_107穿过或接触高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_108的格路数.

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_96反射,

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_115

圈集的排列与组合

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_116为置于一个圆圈上的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_117个点的有限集, 圈上的两个相邻点距离相等, 则集合等同于模高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_117的剩余类集高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_119.

定理1: 集合高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_116的圈上的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_83排列(即高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_122高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_83排列)个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_124.

证明:

集合高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_125高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_17排列个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_127 (高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_128)

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42个球的排列有高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42种轮换, 这些轮换在圈上是一样的, 故集合高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_125的圈上非高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_17排列个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_133.

例子:(Kaplamsky, 1943)

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_122的一个高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_47元子集称为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_46间隔的, 若其中任两个数在圈上之差大于高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_46(圈上两点之间的任意一段弧上面至少有高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_46个点). 证明: 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_122高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_46间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_47元子集的个数为
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_142

  • 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_143: 直接为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_17组合.

直线上的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_46间隔高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_47元子集个数为:
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_147

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_148高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_149间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_150元子集的个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_151. 分别如下
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_152

证明:

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_98表示高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_154高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43间隔高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42元子集的集合, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_157,

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_158
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_159高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_160高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_161不相交子集的并. 于是有
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_162
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_163等价于从高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_164个元素的直线段高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_165高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_167元子集高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_168, 其计数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_169.
于是
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_170
类似的, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_171高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_172个元素的直线段高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_173高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42元子集高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_176, 其计数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_177,
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_178
于是
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_179

生成函数(发生函数, 母函数,generating function)

又称为"形式幂级数", 其系数不一定收敛, 不关心是否收敛的问题.

分类

简单序列高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_180

  • 普通型生成函数:高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_181.(高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_182高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_183高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_184的系数)
  • 指数型生成函数:高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_185.

多重序列高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_186:

  • 普通生成函数:高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_187.
  • 指数生成函数:高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_188.
  • 混合生成函数:高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_189

例子:

序列高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_190.

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_191
于是
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_192
比较两端高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_193的系数,有
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_194
类似, 由高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_195,
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_196

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_197

例子: (Fibonacci数)
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_198

生成函数: 令
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_199

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_200

于是高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_201, 由高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_202, 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_203.
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_204
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_184的系数, 有
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_206
渐进表达:
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_207
另一方面,
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_208

再取高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_184的系数,
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_210

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_211

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_41高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_43间隔的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_42子集个数为高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_215, 所以 高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_216表示高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_41的所有高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_218间隔子集数.

例3:

二项式系数高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_219.
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_220
特别地, 当高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_生成函数_221时,
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_222

混合型生成函数
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数_223

高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_母函数_224

其中
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合数学_225
称为修正的高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_226阶Bessel函数.

其他类型的生成函数:
高等组合学笔记(三): 间隔排列,投票问题,圈集排列组合与生成函数简介_组合学_227