“有限集上的双射构成置换,数量为阶乘,无固定点的特例是错排。置换的循环分解支撑群作用与 Burnside 计数,也把随机洗牌、置换检验中的固定点、循环数和逆序数变成概率变量。排序算法则可视为逐…”
形式陈述 ​
它满足递推
也满足
,即当
直觉
把“第
例子与边界
四个元素的错排数为
其中
参考资料
- 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。