pauland1的博客

原创 算法导论5.3-1

算法导论5.3-1算法导论练习5.3-1Marceau教授不同意引理5.5证明中使用的循环不变式。他对第一次迭代之前循环不变式是否为真提出质疑。他的理由是，我们可以很容易宣称一个空数组不包含0排列。因此，一个空的子数组包含一个0排列的概率应是0，从而第一次迭代之前循环不变式无效。请重写过程RANDOMIZE-IN-PLACE，使得相关循环不变式适用于第一次迭代之前的非空子数组，并为你的过程修改...