>>68
MOにあったが確率にしない説明もあるね
sをn列s^1,…,s^nに分け
各s^kについてdkを得てDk=max(d1,…,^dk,…,dn)(ここで^dkはdkを除くという意味)とする
s^kの同値類の代表元をr^kとすると
r^kはs^kの第1+Dk以降の項から定まり
#{k|s^k(Dk)=r^k(Dk)}=nまたはn-1