CLRS 5.3随机算法

5.3-1
改变循环的下标，把第一次循环结果作为初始条件。

RANDOMIZE-IN-PLACE(A)
    n = A.length
    swap A[1] with A[Random(1, n)]
    for i = 2 to n
        swap A[i] with A[Random(i, n)]

初始条件变为序列 $A[1\dots1]$ 以 $\frac{(n-1)!}{n!}=\frac1n$ 的概率出现，其他和原算法保持不变。

5.3-2
没有，很显然它不能产生和最开始一样的排列，比如一个 $[1,2,3]$ 的排列使用这个算法之后不可能得到 $[1,2,3]$。

5.3-3
不能，因为这个算法产生的排列数为 $n^n$ 种，而 $n$ 个元素最多产生 $n!$ 种排列，所以此算法产生了一些重复的排列，当 $n^n$ 不能被 $n!$ 整除时，说明有的排列数多，有的则少，则产生的排列不均匀。

5.3-4
当 $j \equiv \text{offset} + i \pmod{n}$ 时，$A[i]$ 复制到 $B[j]$ 。概率就是$1/n$。
这个算法类似于一个很简单凯撒密码，就是从某一个位置开始循环。

5.3-5
从 $n^3$ 个数中取 $n$ 个元素的全排列为：$A_{n^3}^n = \frac {n^3!}{(n^3-n)!}$，总共有$(n^3)^n$ 种，所以全部不同的概率：

$$\begin{align} P(U) &= \frac {A_{n^3}^n}{(n^3)^n} = \frac {n^3!}{(n^3-n)!(n^3)^n}\\ &= \frac {n^3(n^3-1)\dots(n^3-n+1)(n^3-n)!}{(n^3-n)!(n^3)^n}\\ & \ge \frac {(n^3-n)(n^3-n)\dots(n^3-n)}{(n^3)^n}\\ & = ( \frac {n^3-n}{n^3} )^n = (1-\frac 1{n^2})^n \ge 1-\frac 1n \end{align}$$
最后一个推导运用 $(1-x)^n \ge 1 - nx$。

5.3-6
重新产生新的优先级，直到优先级不重复为止；

5.3-7
由于每次调用都会将 $m$ 减 $1$，很显然会调用且只调用 RANDOM $m$ 次。
然后我们证明 $1...n$ 中的每个元素出现在 $S$ 中的概率是 $\frac{m}{n}$。采用数学归纳法证明，归纳假设就是RANDOM-SAMPLE返回含有 $m$ 个元素的集合 $S$，集合中每个元素出现的概率是 $\frac{m}{n}$。
当 $m=1$时，就从 $\{1...n\}$ 中返回一个数，当 $m=0$ 时返回空集，集合中包含的每个元素的概率是 $0$；
假设调用RANDOM-SAMPLE(m-1,n-1)时返回 $m-1$ 个元素的集合 $S'$，其中 $m-1$ 个元素来自 $\{1...n-1\}$，概率是 $\frac{m-1}{n-1}$。在代码第四行 i=RANDOM(1,n)之后，$i$ 从$\{1...n\}$ 中返回一个数，然后分别考虑集合 $S$ 中包含 $n$ 和不包含 $n$ 的情况。
令 $R_j$ 表示调用 RANDOM返回元素 $j$，概率为 $P_r\{R_j\}=1/n$。显然要 $j\in S$ 来自两种情况，$j\in S'$ 或者 $j\not \in S'$ 并且 $R_j$，则

$$P_r\{j\in S\}=P_r\{j\in S'\}+P_r\{j\not \in S' \ and\ R_j\}=\frac{m-1}{n-1}+(1-\frac{m-1}{n-1})*\frac1n=\frac mn$$
同理 $n\in S$ 来自两种情况， $R_n$ 或者 $R_j$ 并且 $j\in S'(j<n)$，则 $$P_r\{n\in S\}=P_r\{R_n\}+P_r\{R_j \ and\ j\in S'\}=\frac 1n+\frac{n-1}{n}*\frac{m-1}{n-1}=\frac mn$$

注：CLRS 5.4节答案略