比较 an ordering 满足its reverse
F或any ordering define W=y1+2y2+⋯+nyn W=y_1+2y_2+\cdots+ny_n W=y1+2y2+⋯+nyn. Its reverse has weighted 和 Wrev W^{\rm rev}Wrev 译文:. Pairing positions gives W+Wrev=(n+1)(x1+⋯+xn)=n+1 W+W^{\rm rev}=(n+1)(x_1+\cdots+x_n)=n+1W+Wrev=(n+1)(x1+⋯+xn)=n+1. 因此 either one 是already 中 [−(n+1)/2,(n+1)/2][-(n+1)/2,(n+1)/2][−(n+1)/2,(n+1)/2], 或one 是above 且other below th是interval.