有禁模式(forbidden pattern),理学-数学-组合数学-计数组合学-排列,排列中的重要研究对象。一般来讲,的排列共有个,有禁模式主要研究这个排列中满足某种特定要求的排列的个数。例如禁排指的是排列中不存在使得。形象地说,就是排列中不存在三个数,使得小数在最前面,最大数在最后面。类似地,禁排是指不存在三个数使得小数在中间,大数在最后。举例来说,的禁排共有个:。类似地,的禁排、禁排、禁排、禁排和禁排都有个。事实上,可以证明,对任意,的禁排的个数为:其他个三阶禁排模式也同样如此,这个数恰好是阶卡塔兰数。但是,对于阶禁排模式并没有如此好的结论:禁排和禁排的个数并不一致,对更高阶的禁排更是没有统一的回答。故而,若令为阶对称群中的一个元素,即一个长的置换,为所有长的禁排的个数,则关于有禁模式最基本的问题就是对于两个长为的排列,何时有,即何时两集合元素个数相等。从起源来说,关于有禁模式的问题是从计算机科学中自然产生的,与有禁的排序问题和字符串紧密相关。D.E.高德纳就曾证明:由所有可以堆排序的排列构成。他也给出了的一个双射证明。