证明:在过程PERMUTE-BY-SORTING的数组P中,所有元素都唯一的概率至少是1 - 1/n。
PERMUTE-BY-SORTING(A)
1 n = A.length
2 let P[1...n] be a new array
3 for i = 1 to n
4 P[i] = RANDOM(1, n^3)
5 sort A, using P as sort keys
证明:
易知全事件有 种
所有元素都唯一相当于从 中取 n 的排列,为
因此所有元素都唯一的概率为
不失一般性,对a,b > 0,有:
将其用于上式概率中,有:
得证