和Catalan数有关的组合问题研究.pdfVIP

长江大学学报(自然科学版) 2008年12月第5卷第4期：理工 of 8L ·14· Journal Sci YangtzeUniversity(NatEdit)Dec．2008，V01．5No．4：SciEng 与Catalan数有关的组合问题研究 赵天玉，杨 方 (长江大学信息与数学学院，湖北荆州434023) [摘要]首先给出了Catalan数的4个经典组合模型：凸多边形的三角剖分问题、简单有序根树的计数问 题、路径问题、乘法结合方式问题，给出了Catalan数的4种推导方法：迭代递推方法、生成函数方法、 组合求差方法和一一映射方法，并综合相关文献的研究结果，列举了Catalan数的一些性质。 [关键词]Catalan数；组合模型；迭代递推方法；生成函数方法；组合求差方法；一一映射方法 多边形的三角形剖分问题时，就已经发现了该计数函数旧J，比Catalan早80年。随着对中国数学史的 递推方法、生成函数方法、组合求差方法和一一映射方法给出了Catalan数的4种推导方法。 1 Catalan数的四个经典组合模型 1．1 凸多边形的三角剖分问题 一个凸咒+1边形中可以最多画出71—2条两两不相交的对角 线，这些对角线可将多边形分割成，l一1个三角形区域，称此为多边 形的一种三角剖分。可能的三角剖分方法数A。称为Catalan数。 显然A。一1，A。一2，A。一5。对于一般的行，作图1所示的72+ 1边形，以口。可抖。作为三角形的一条边，三角形的另一个顶点为 7n+l Ⅵl(忌一1，2，…，，l～1)，三角形∞1御井l咐l将，l+1边形分割成一侧 为愚+1边形，另一侧为咒一h+1边形。根据乘法原理，以功‰。‰， 为一剖分三角形的剖分数为AtA，r。。由于愚一1，2，…，行一1所得剖 分各不相同，根据加法原理，有： 图1 凸H+1边形的三角部分 rl A。一∑A。A，r。 (1) I=I 因为A。一1，补充定义A，一1，可得Catalan数列{A。}。≥。。另 外，作图2所示的疗边形，从秽，分别到，2—3个顶点{饥，04，…，珏。) 引出珂一3条对角线，以秽，钳。(忌一2，3，…，竹一2)对角线为例，将，z 边形分解为一侧为志+1边形，另一侧为，z一是+1边形。因此以可。％。 为剖分线的，2边形的剖分数目应为AtA，r^(愚=2，3；…，7z一2)。对 口一2 k的取值求和得：乏：A。A，卜。。7,／。点改为口。，口。，…，％也有类似的结图2凸一边形三角剖分数之关系示意图 嚣i 果。由于每一条对角线有2个端点，而且每个剖分总有礼一3条对角 [收稿日期]2008—09—27． [作者简介]赵天玉(1958一)，男，1981年大学毕业，硕士，教授，硕士生导师。现主要从事组合数学方面的教学与研究工作。 万方数据 第5卷第4期：理工 赵天玉等：与Catalan数有关的组合问题研究 ·15· 线，对每条对角线都计算一次得詈∑A。A，。。注意到每个n边形的剖分都通过，z一3条对角线完成，所以 6 k=一2 上述的计算，将剖分方案数重复计算了咒一3次，故有： R一2 (咒一3)A，rl=罢∑A^A一。 (2) 6i五 1．2 简单有序根树的计数问题 按下面方式构造出来的树定义为简单有序根树：每一个顶点位子j(j=0，1，…，志)层次，正好存在一 个层次是0的顶点，称为根，所有邻接顶点正好相差一个层次，且位于层次i+1上的每一个顶点正好与 位于层次i上的一个顶点邻接，每一个顶点有0个、1个或2个孩子，且这些孩