Skip to content

错排

Derangement

没有任何元素停留在原位置的置换及其计数问题。

条目类型
定义

形式陈述

n 个元素的错排是没有不动点的排列。错排数记为 !nDn。令 Ai 为“排列固定第 i 个元素”,容斥给出

Dn=n!k=0n(1)kk!.

它满足递推

Dn=(n1)(Dn1+Dn2),D0=1, D1=0,

也满足 Dn=nDn1+(1)n。由于指数级数余项的界,

Dn=n!e+12

,即当 n1 时为 n!/e 的最近整数。

直觉

把“第 i 个元素仍在第 i 位”记为坏事件后,错排就是避开所有坏事件的排列。坏事件高度重叠,不能简单把各自概率相减;容斥逐级补回同时固定多个位置的排列,最终产生截断的 e1 级数。Poisson 近似则解释了为什么随机排列中固定点个数的极限均值恰为一。

例子与边界

D3=2,对应三个元素的两个三循环;D4=9。约定 D0=1 是因为空排列恰有一种且没有不动点,使递推和生成函数保持一致。最近整数公式不是单纯渐近式,而对全部 n1 精确成立。错排只禁止元素留在原位,不禁止出现二循环或其他短循环。若只要求指定子集不能固定,需对相应事件做容斥;若每个位置有一般禁配集合,则进入棋盘多项式或永久量问题。

四个元素的错排数为

D4=4!(41)3!+(42)2!(43)1!+(44)0!=9.

其中 (12)(34) 合法,因为错排禁止不动点而不禁止二循环。若秘书把四封信放入信封且只要求前两封不回原位,后两封可固定,计数就不再是 D4,而应只对指定两个坏事件做容斥。

推论与应用

排列提供总体,容斥原理给出 Dn=n!k=0n(1)k/k!;指数生成函数把它压缩为 ex/(1x)。错排还可视为完全二分图删去对角边后的完美匹配,从而连接受限指派与 permanent 计数。

参考资料
  • Eric Lehman, F. Thomson Leighton, and Albert R. Meyer, Mathematics for Computer Science, rev. 2018,Problem 15.60, derangements by inclusion–exclusion。
  • Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th ed., McGraw-Hill, 2019,§8.5, applications of inclusion-exclusion。
关系图谱2 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:分类

分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。

类型化关系

使用的工具