1. 引言
排列集上模式问题的研究有悠久的历史。19世纪八十年代,MacMahon [1] 在组合对象研究中使用生成函数方法给出了排列和词中逆序数的分布,即现代观点下的21模式问题。在20世纪七十年代和八十年代早期,Knuth [2] ,Rotem [3] 和Rogers [4] 对排列与词中的模式问题进行了研究,Simion和Schimdt [5] 首次对模式问题进行了系统的研究。
现今关于排列中模式的研究是一个活跃的领域,已经产生了丰富的工具来研究关于模式的各类问题,相关结果综述参见Kitaev的著作 [6] 。排列中模式的概念已成为众多领域中的重要工具语言,如Kazhdan-Lusztig的多项式理论、Schubert簇的奇异点、Chebyshev多项式、Ferrer的rook多项式以及多种分类算法。此外,排列中模式的研究也经常被运用于计算生物学与理论物理学中。
记n元对称群
为从1到n的连续正整数排列全体所组成的集合,如
,
,
。我们称排列w中去掉若干字母得到的排列为w的子列,由连续字母组成的子列称为w的因子。如排列123245321的子列有324532、232321等,前者也是排列123245321的因子。
对排列w的子列
中的字母进行排序,最小的用1代替,然后去掉这个字母继续排序,最小的用2代替,这样一直进行下去可得到子列的简化形式
,如
。对给定的
元排列
,排列
且w所有子列的简化形式都不等于
,这样的w全体组成的集合记作
上的有禁排列集
,
中的元素称为是避免模式
的。如
。
在对排列的研究过程中产生了大量有趣的组合双射问题。对于给定的正整数n,如果集合
中的元素个数等于集合
中元素个数,我们称两个模式
和
在
上是Wilf-等价的。近年来,有众多文献研究模式的Wilf-等价性 [7] [8] [9] ,以及如何用组合双射来证明这些等价类,也有大量文献给出其他组合对象,如偏序集、格路径、平面图、有序树与避免某种模式的排列有相同的计数结果 [10] [11] 。
2. 避免3长模式的计数结果
根据递推关系的一致性,可以证明
的计数结果是经典的Catalan数
。通过对
模式231进行翻转和互补(将i替换为
,
)可以证明
在
上是Wilf-等价的,这一方法也能证明
在
上是Wilf-等价的。MacMahon [2] 得出
上避免这六种模式的计数结果都是Catalan数
,但
和
这两类模式之间的Wilf-等价性不容易进行双射证明。
在构造这两类排列之间双射的过程中,Dyck路成为重要的辅助工具。
和n长Dyck路之间有一个标准的双射,由此Knuth [3] 和Rotem [4] 及Krattenthaler [12] 分别利用Dyck路作为中间桥梁,建立了
到
和
到
之间的双射。除了利用Dyck路,Mansour,Deng和Du [13] 使用正则约化分解,构造了
到
之间的双射。受计算机思想启发的算法也是学者们构造双射的重要工具。Simion和Schmidt [5] 使用算法构造了
到
的双射,称为Simion-Schmidt双射。Richards [14] 使用算法构造了Dyck路到
的双射,与标准双射复合即得到
到
的双射,称为Knuth-Richards双射。还有学者通过与其他组合结构构造双射,如West [15] 利用生成树建立了
到
之间的双射,Reifegerste [16] 利用矩阵变换建立了
到
之间的双射,Claesson和Kitaev [17] 详细列出了这些双射之间的联系以及相关组合统计量的分布规律。
对于
中避免两个及以上的3长模式,Simion和Schmidt [5] 给出了
、
等有禁排列集的计数结论。
3. 避免4长模式的计数结果
在
上4长模式的Wilf-等价性研究也有丰富的成果。避免单个4长模式的排列上有3个Wilf-等价类,Bóna [18] 得到了
的生成函数,Regev [19] 得到了
的生成函数,对于剩下的Wilf类中
的计数问题仍然是该领域的一个重要的开放问题。Backelin,West和Xin [20] 证明了
两个模式的等价性,经过翻转和互补可得
等价。Stankova在两个文献中 [21] [22] 分别证明了
和
等价,完成了单个4长模式的等价类分类工作。Gessel [23] 和Bóna [18] 给出了这些等价类的计数结果。
同时避免一个3长和一个4长模式的排列中,Erdös和Szekeres [24] 给出了
的计数结果。Billey,Jockusch和Stanley [25] 得到
的计数结果。West [26] 使用生成树方法解决了所有“3 + 4”计数问题,其中大部分计数结果和斐波那契数列相关。Tenner [27] 证明了带布尔主序理想的排列集恰好是
,故这类排列也称为布尔排列。
同时避免2个4长模式的排列上有56个对称类,Le [28] 建立了38个Wilf-等价类。Kremer [29] 证明了10种避免两个4长模式的排列的计数结果与Schröder数相关,其中
被Egge和Mansour [30] 称为Schröder排列。
下面介绍避免两个4长模式的计数结果。对于模式集A,用
表示
中避免A中模式的排列数量,Kremer和Shiu [31] 使用有限转移矩阵得到如下结果:
定理1.
.
Stankova [21] 证明了
是Skew-merged排列,即由一个递增子列和一个递减子列合并而成的排列。Atkinson [32] 由下面定理给出了计数结果。
定理2.
,
相应的生成函数为
.
对于
,有
.
此外,Miner [33] 计算了等价类
、
、
的生成函数。Miner和Pantone [34] 研究了最后两个Wilf-等价类
和
。Callan,Mansour和Shattuck [35] [36] 得到避免3个4长模式的排列上有242个Wilf-等价类。Mansour [37] 给出了
(称为极大偏序排列)的计数结果如下:
定理3.
,
其中
。
,
其中
是第n个Padovan数。
进一步,Mansour [38] 通过生成树、递归关系和左右极大值分解证明了避免3个4长模式(其中有一个是模式1324)对应的生成函数并利用Kuszmau的软件和INSENC软件得到并证明避免4个4长模式的排列上有1100个Wilf-等价类。
Green和Losonczy [39] 引入了自由编织排列,即对于
,Mansour [40] 给出了其计数结果如下:
定理4.
.
Albert等人 [41] 使用编码插入的方法得到
。
4. 多长模式的计数结果
Babson和West [42] 证明了
中
的情形,这里P是由
组成的排列。这样就完成了5长模式的Wilf-等价类的分类工作。
Stankova和West [43] 证明了
,这里P是由
组成的排列,并证明了
是Wilf-等价的,完成了6长模式的Wilf-等价类分类。7长模式的Wilf-等价类分类也可用类似的方法完成。
经典
的计数研究和杨表密切相关。设n个元素组成的每行长度不超过k的杨表个数为
,其指数型生成函数记为
。Wilf [44] 证明了
.
使用初等工具,Bóna [45] 证明了
。
5. 渐近计数
对任意的
,
是Catalan数
,从而有近似估计
。
Bóna [46] 证明了
。
Marcus和Tardos [47] 解决了著名的Stanley-Wilf猜想,即下面定理:
定理5. 对任意的正整数k,任意
,极限
存在。
这一极限称为Stanley-Wilf极限,记为
。数列
称为Stanley-Wilf数列。上面的结果即
.
.
Bóna [48] 得到
,证明了
也可以是无理数。其一般形式为如下定理:
定理6. 对
,
.
Albert,Elder和Rechnitzer [49] 证明了
,这是避免单个4长模式中Stanley-Wilf极限的最大值。
Kaiser和Klazar [50] 提到Valtr一个未发表的工作是证明了
,对任意的
成立。
使用Bóna [51] 的方法可得
。
限于篇幅,以上仅对有禁排列的一些经典成果做了综述,还有一些新的研究未及论述,如 [52] 。希望以后可以另起篇幅,对相关进展进行介绍。
基金项目
国家自然科学基金青年基金(项目编号:12201641);河北省自然科学基金青年科学基金(项目编号:A2021205003)。
参考文献