匹配与对合中的有禁模式.pdfVIP

摘要 本文主要研究了几类有禁匹配和有禁对合的计数问题。本论文由三部分组成。 第一部分主要研究～类有禁匹配的计数问题。匹配是没有不动点的对合。笕 部分主要研究有禁对合问题。最后一部分主要是关于不完整Motzkin路的等式 和关于对称三叉树和不交图的等式的组合解释问题。 第一部分由第二章和第三章组成。在第二章中，我们感兴趣的问题是～类 有禁匹配的计数问题。我们得到下面的结论。 1．在【2nj上避免12312模式的包含m个相交的匹配数等于 去(扎：∑m)(絮：?) 2．在f2n]上避免12312模式的匹配数等于3一Gatalan数G，3。 之间有一个一一对应。他们的计数与super_Catalan数是一致的。 i(珊：：≯ 这是supe卜Catalan数的一个细化。 5．通过运用Stanley的振荡杨表与避免12312模式的匹配之间的一一对应，我 们刻划了对应于避免12312模式的匹配的振荡杨表。 (o，1)步的不穿过线∥=z／2的格路之间存在一个～对应。 和12312模式是w11f等价的。 在第三章中，我们开始研究避免1123模式和1132模式匹配的计数问题。我 们得到了下面的结论。 8．在[27叫上避免1123模式的匹配与从(o，2)到(2n，o)的非负格路之间存在一个 ～一对应。 9．在[2叫上避免1123模式的匹配数等于从(o，2)到(2n，o)的非负格路数 即熹(2。)。 10．避免1123模式的匹配的计数问题可以缩减为某些格路的计数问题。 n．在[2n]上避免1132模式的匹配与从(o，o)到(2n，o)的以向上步开始的可以通 过x轴的格路之间存在一个一一对应。 12．在[2n]上避免1132模式的匹配数等于；(哿)。 第二部分由第四章和第五章组成。在第四章中，我们给出了在[n】上的避 免3214模式的对合与长为n的Motzkin路之间的一个一一对应。由于模式3214和 模式1432在翻转取补的运算下是等价的，从而我们解决了Guibert提出的猜 想，即在InJ上避免1432模式的对合数等于Motzkin数^靠。我们的构造在特殊情 况下导出了下面的一些结果。 13．在[扎j上避免321模式的对合与n长的在x轴上没有水平步的Motzkin路之间 存在一个一一对应。 14·在cnJ上避免321模式的对合数等于(【；j)。 15在H上避免32l模式的包含k个固定点的对合数露(321)等于 物，={≯‘掣’蓑淼 16．在[2n】上避免32l模式的没有固定点的对合数等于catalan数ck。并且这样 的对合对应于长为2n的Dyck路。 在第五章中，我们从另外一个角度来考虑有禁对合的问题。我们研究了 有n个字母的恰好包含r≥0个231模式的对合的生成函数。我们给出了求包含 了给定数目个23l模式的对合的生成函数的明确表达式的一个算法。我们得到 下面的结论。 17．对于给定的r，要找到这样的生成函数只需考虑最多在2r+2个字母上的对 合。 18．通过把这个算法运用到包含了给定数目个231模式的避免12．．≈(≈．21)模 式的对合与包含了给定数目个231模式的偶(奇)对合上面，我们导出了 他们的生成函数的明确表达式。 在本文的最后一个部分，通过给出具有多条提升线的不完整的2一Motzkin 路与自由的3一Motzkin路之间的一个一一对应，我们得到了一个最近由Cameron 和Nkwanta导出的等式的组合解释。我们还给出了在不交树}．的一个改变奇 偶性的对合。通过这个对合我们导出了一个关于不交树和对称的三叉树 的公式的组合解释。从而解决了Hou幽提出的公开问题。我们用Panholzer 和Prodinger的表示方式来表示不交树。我们还找到了一类不交树与对称的三叉 树之间的一个列+应。关于不交树的另外一个结果是通过在连通的不交图上的对 合来得到了给定边数与下降数的不交树和给定了点数与边数的连通不交图之间 的一个关系，就是说我们可以用有n+1个点m条边的连通不交图的数目来表示 有n条边k个下降的不交树的数目。 Catalan数，生成树，不交树，连通不交图，对称三叉树．