随机化

Randomize in Place

循环不变式：每次循环时，之前的元素都构成一个随机排列。