分拆与婚配中的有禁模式.pdfVIP

摘要 近几年里，有禁分拆与有禁匹配被广泛地研究，越来越多的组合数学中的经 典结果被推广至分拆与匹配的研究中．本文主要研究了几类有禁分拆与有禁匹配 的计数问题．文中我们主要使用了构造双射的方法和传递矩阵法，并借助计算机 开发了一个Maple软件包来生成特定序列所满足的递归方程． 本文共由三章组成．其组织如下： 在第一章中，我们简要叙述了一下该文的研究背景，并介绍了部分文中使用 的基本定义和常见符号． et tableaux与分拆之间的一个双射来证明这两个统计量对称联合分布的性质．该双 射推广了全排列和标准杨表对之间经典的RSK对应，并同样具备RSK对应所 具备的对称性．基于该双射的对称性质和其与格路之间的关系，并借用迭代级数 lattice walk计 的常数项理论，我们通过开发了一个针对二维平面内vacillating lattice walk的计数 满足的递归关系式．该软件包适用于一类相似的vacillating 问题． 在第三章中，我们主要考虑可通过k次堆栈排序的分拆和匹配的计数问题． 我们刻画了可通过k次堆栈排序的分拆与匹配的主要性质．一个分拆足可通过七 次堆栈排序的当且仅当它的序列表示避免23…(k+2)1．模式．我们计算了可通 过k次堆栈排序的无相交分拆、无相交匹配和无嵌套匹配这三类分拆的生成函 数，并通过构造双射的方法给出了七次堆栈排序的分拆的生成函数的一个公式． 的传递矩阵法，我们证明了可通过k次堆栈排序的匹配的个数的生成函数足有 ’ 理的． 最后，我们在附录中给出第二章中所提到的Maple软件包及该软件包应用于 lattice walk计数问题时的初始变量． hesitating 关键词：分拆，匹配，杨表，RSK对应，堆栈排序，D．有限，P一递归 II Abstract Abstract in Inrecent of avoidanceset andmatch- years，thesubjectpattern partitions hasbeen stUdied．Moreandmoreclassicalcombinatorial ings wildly resultshave beenextendedforthe case．Themainresultsofthisthesisconsistof partition several to theenumerationof and approachesstudy partitionsmatchingsavoiding certain the transfermatrix patterns，includingbijectivemethod，the method，and amethodof a to D-finite basedon developingMaplepack