两个相邻条件可独立压缩,所以交集仍可直接计数。
对不同的 k,lk,lk,l,把两对分别压成两个块。每块有 222 种内部顺序,合并后有 2n−22n-22n−2 个对象,可排列 (2n−2)!(2n-2)!(2n−2)! 种。因此 ∣Ak∩Al∣=4(2n−2)!|A_k\cap A_l|=4(2n-2)!∣Ak∩Al∣=4(2n−2)!.