每种差为 nnn 的相邻关系是一个事件,性质 PPP 是它们的并集。
对 1≤k≤n1\le k\le n1≤k≤n,令 AkA_kAk 为数字 kkk 与 k+nk+nk+n 占据相邻位置的排列集合。具有性质 PPP 就是属于至少一个这样的集合,所以所求排列组成 A=⋃k=1nAkA=\bigcup_{k=1}^n A_kA=⋃k=1nAk.