算法导论 5.3-1
来源:互联网 发布:xpspeak41软件下载 编辑:程序博客网 时间:2024/05/01 21:24
1 问题
Marceau教授对引理5.5证明过程中使用的循环不变式表示异议。他对在第一次迭代之前循环不变式是否为真提出质疑。他的理由是人们可以容易地宣称空数组不包含0排列。因此空数组包含0排列的概率应该是0。所以第一次迭代之前循环不变式无效。请改写过程RANDOMIZE-IN-PLACE,使其相关的循环不变式在第一次迭代之前对非空数组仍使用,并为你的过程修改引理5.5的证明。
2 分析与解答
在循环的第一次迭代之前使循环不变式的数组不为空。
RANDOMIZE-IN-PLACE(A) n <- length[A] swap A[1] <-> A[RANDOM(1, n)] for i <- 2 to n do swap A[i] <-> A[RANDOM(i, n)]
- 算法导论 5.3-1
- 算法导论 练习题 5.3-1
- 算法导论 5.3-2
- 算法导论 5.3-3
- 算法导论 5.3-3
- 算法导论 5.3-4
- 算法导论 5.3-5
- 算法导论 5.3-6
- 算法导论 1-1
- 算法导论 Theorem8.1
- 算法导论学习1
- 算法导论15.2-1
- 算法导论16-1
- 算法导论读书笔记1
- 深入浅出《算法导论》1
- 算法导论 1.1-1
- 算法导论 1.2-1
- 算法导论-1
- 保存数据到文件(二)locals(),try...finally save data to file python
- onclicklistener到底怎么用?
- mysql 批量替换 内容
- 【黑马程序员】javaIO学习和总结
- m3u8格式解析
- 算法导论 5.3-1
- firebug的使用
- 3D打印
- 颜色yuv和rgb互转
- 手势、NUI、人机交互的几点笔记
- 六种方法全面提升你的气质
- 两个DIV之间的间距,clear属性灵活应用,方便控制一行div数量(转载,学习一下)
- 一天面试助理的亲身经历,其中涉及到几个程序员都关心的话题,希望能对大家有所帮助。
- Net Requirements Planning (10)