把相邻数压成块,相邻条件就变成阶乘计数。
把 k,k+nk,k+nk,k+n 看作一个整体。该整体有 222 种内部顺序,合并后 2n−12n-12n−1 个对象可排列 (2n−1)!(2n-1)!(2n−1)! 种。因此 ∣Ak∣=2(2n−1)!|A_k|=2(2n-1)!∣Ak∣=2(2n−1)!.