menage数的推广

menage数的介绍参见组合数学引论(第二版)许胤龙 孙淑玲 著 中国科学技术大学出版社

现在要做的是推广menage数的概念

先陈述一个熟知的结论

定理一:

$M=1,2,---,n$中满足 $a_{i+1}-a_i>=s(s>=1i=1,2,---,r-1)$的 r 组合$(a_1,a_2,---,a_r)$的数目是 $C_r^{n-(r-1)(s-1)}$

证明见开头提及的教材

对于序列

$1,2,3---n-1,n$

$2,3,4,---,n,1$

---

$m,m+1,m+2,---,m-2,m-1$

$a_1,a_2,---,a_n(n>=2$ $2<=m<=n-1)$

若 $a_1,a_2,---,a_n$ 是{ $1,2,---,n$ }的全排列且 $a_i(1<=i<=n)$和上述序列第 $i$ 列前 $m-1$ 行任意数都不同,则称 $a_1,a_2,---,a_n$ 是一个 $m$ 重错排,而 $m$ 重错排的总数称为广义menage数 $U(n,m)$

下面计算 $U(n,m)$

定义性质 $P_i$

$a_i=i$ 或 $i+1$ —或 $i+m-11<=i<=n-1$

$a_i=n$ 或 $1$ 或 $2 —或 $m-1$ $i=n$

设集合 $A_i$ ( $1<=i<=n$ )是所有满足性质 $P_i$ 的全排列构成的集合

则由容斥原理

$U(n,m)=|\overline{A_1}\cap \overline{A_2}\cap ---\cap \overline{A_n}|=|S|+{\sum }_{k=1}^n(-1{)}^k{\sum }_{1<=i_1<i_2<---<i_k<=n}|\overline{A_{i_1}}\cap \overline{A_{i_2}}\cap ---\cap \overline{A_{i_k}}|$

其中 $S$ 是{ $1,2,---,n$ }的所有全排列构成的集合 $|S|=n!$

现在来计算 ${\sum }_{1<=i_1<i_2<---<i_k<=n}|\overline{A_{i_1}}\cap \overline{A_{i_2}}\cap ---\cap \overline{A_{i_k}}|$

记括号

$B_1=(1,2,---,m)B_2=(2,3,---,m+1)---B_n=(n,1,2,---,m-1)$

序列 $E=1,2,---,m,2,3,---,m+1,---,n,1,2,---,m-1$ (相当于去掉 $B_1,B_2,---,B_n$ 的括号并使其首尾相接)

(分别对应序列中的第 $1,2,---,n$ 列)

这等价于求对于所有的 $1<=i_1<i_2<---<i_k<=n$ 在括号 $B_{i_1},B_{i_2},---,B_{i_k}$ 中的每一个括号取一个数使得这 $k$ 个数两两不同所得到所有取法和剩下 $n-k$ 个数在位置{ $1,2,---,n$ }-{ $i_1,i_2,---,i_k$ }上所有 $(n-k)!$ 个全排列组合所形成的所有全排列的总数

设对任意的 $1<=i_1<i_2<---<i_k<=n$ 在括号 $B_{i_1},B_{i_2},---,B_{i_k}$ 中的每一个括号取一个数 $j_{i_s}\in B_{i_s}$ 使得这 $k$ 个数两两不同所得到任意取法是 $j_{i_1},j_{i_2},---,j_{i_k}$ ,所有 $j_{i_1},j_{i_2},---,j_{i_k}$ 构成的集合是 $D(n,k)$

记 $p(j_i)$ 表示 $j_i$ 在 $E$ 上的位置

则对于任意 $(j_1,j_2,---,j_k)\in D(n,k)$ ,$j_1,j_2,---,j_k$ 是 $E$ 中的序列且 $p(j_{i+1})-p(j_i)>=m$ ( $1<=j<=k-1$ )且 $j_1,j_k$ 不会同时取

$1或2或---或m-1$

反过来对 $E$ 中任意序列 $j_1,j_2,---,j_k$ 满足 $p(j_{i+1})-p(j_i)>=m$ ( $1<=j<=k-1$ )且 $j_1,j_k$ 不会同时取$1$ 或 $2$ 或—或 $m-1$

都有 $(j_1,j_2,---,j_k)\in D(n,k)$

因此 $|D(n,k)|$ 即等于$E$ 中满足 $p(j_{i+1})-p(j_i)>=m(1<=j<=k-1)$且$j_1,j_k$ 不会同时取$1$ 或 $2$ 或—或 $m-1$

的所有序列 $j_1,j_2,---,j_k$ 的数目

由定理一 $E$ 中所有满足 $p(j_{i+1})-p(j_i)>=m$ ( $1<=j<=k-1$ )的序列数目是 $C_k^{nm-(k-1)(m-1)}$

而于$E$ 中满足 $p(j_{i+1})-p(j_i)>=m(1<=j<=k-1)$且 $j_1,j_k$ 同时取$1$ 或 $2$ 或—或 $m-1$

的所有序列 $j_1,j_2,---,j_k$ 的数目 $N(E,m,k)$ 计算如下

对 $1<=i<=m-1$ ,当 $j_1=i$ 且 $j_k=i$ 时则 $j_2$ 距 $j_1$ 最近选择 $E$ 在$i+m$位置上的数 $p_1,j_{k-1}$ 距 $j_k$ 最近选择 $E$ 在 $nm-(m-1-i)-m=nm-2m+i+1$ 位置上的数 $p_2,p_1,p_2$ 之间(包括 $p_1,p_2$ )

共有 $nm-2m+i+1-(i+m)+1=nm-3m+2$ 个数, $j_2,---,j_{k-1}$ 只能在这些数中选取,且必须满足 $p(j_{i+1})-p(j_i)>=m(2<=j<=k-2)$同样由定理一其取法总数为 $C_{k-2}^{nm-3m+2-(k-3)(m-1)}$

从而 $N(E,m,k)={\sum }_{i=1}^{m-1}{C}_{k-2}^{nm-3m+2-(k-3)(m-1)}=(m-1)C_{k-2}^{nm-3m+2-(k-3)(m-1)}$

故 $D(n,k)=C_k^{nm-(k-1)(m-1)}-(m-1)C_{k-2}^{nm-3m+2-(k-3)(m-1)}$

从而由前述知${\sum }_{1<=i_1<i_2<---<i_k<=n}|\overline{A_{i_1}}\cap \overline{A_{i_2}}\cap ---\cap \overline{A_{i_k}}|=$

$(n-k)!D(n,k)=(n-k)!(C_k^{nm-(k-1)(m-1)}-(m-1)C_{k-2}^{nm-3m+2-(k-3)(m-1)})$

故 $U(n,m)=|S|+{\sum }_{k=1}^n(-1{)}^k{\sum }_{1<=i_1<i_2<---<i_k<=n}|\overline{A_{i_1}}\cap \overline{A_{i_2}}\cap ---\cap \overline{A_{i_k}}|=$

$n!+{\sum }_{k=1}^n(-1{)}^k(n-k)!(C_k^{nm-(k-1)(m-1)}-(m-1)C_{k-2}^{nm-3m+2-(k-3)(m-1)})$

这样就求出了 $U(n,m)$ 不过要注意对组合数 $C_b^a$ 仅当 $a>=b>=0$ 不等于0其余情形都等于0