跳转至

错位排列

错位排列

定义

错位排列(derangement)是没有任何元素出现在其有序位置的排列。即,对于 \(1\sim n\) 的排列 \(P\),如果满足 \(P_i\neq i\),则称 \(P\)\(n\) 的错位排列。

例如,三元错位排列有 \(\{2,3,1\}\)\(\{3,1,2\}\)。四元错位排列有 \(\{2,1,4,3\}\)\(\{2,3,4,1\}\)\(\{2,4,1,3\}\)\(\{3,1,4,2\}\)\(\{3,4,1,2\}\)\(\{3,4,2,1\}\)\(\{4,1,2,3\}\)\(\{4,3,1,2\}\)\(\{4,3,2,1\}\)。错位排列是没有不动点的排列,即没有长度为 1 的循环。

容斥原理的计算

全集 \(U\) 即为 \(1\sim n\) 的排列,\(|U|=n!\);属性就是 \(P_i\neq i\). 套用补集的公式,问题变成求 \(\left|\bigcup_{i=1}^n\overline{S_i}\right|\).

可以知道,\(\overline{S_i}\) 的含义是满足 \(P_i=i\) 的排列的数量。用容斥原理把问题式子展开,需要对若干个特定的集合的交集求大小,即:

\[ \left|\bigcap_{i=1}^{k}S_{a_i}\right| \]

其中省略了 $a_i