給定 nnn 個整數 a1,a2,…,an(0≤ai≤n),以及 nnn 個整數 w1,w2,…,wn。稱 a1,a2,…,an 的一個排列 ap[1],ap[2],…,ap[n] 爲 a1,a2,…,an 的一個合法排列,當且僅當該排列知足:對於任意的 kkk 和任意的 jjj,若是 j≤kj \le kj≤k,那麼 ap[j]a_{p[j]}