目前我正在苦学《算法导论》。我将在这里记录一些学习心得,以及一些帮助学习的工具代码。我不会将书上的东西照抄下来,这里更多的将是我独立思考的东西。实现代码将会使用Ruby。
使用循环不变式证明分治算法的正确性
摘要:循环不变式同样可以用来证明分治算法的正确性。只不过具体操作上稍有不同——我们不是从第一次递归之前开始证明,而是从第一次直接求解(即最后一次递归调用)时开始证明。一般过程为
初始化:在函数直接求解后,循环不变式成立。
保持:先假设函数内部的所有递归调用均满足循环不变式,再证明函数本身返回后,循环不变式仍然成立。
终止:“最外层”的函数调用返回后,算法结果一定是正确的。
阅读全文
posted @
2007-09-10 09:30
1-2-3
阅读(4945)
推荐(0) 编辑
使用分治法实现的全排列算法
摘要:使用分治法实现的全排列算法。包括详细的算法描述和源代码。
阅读全文
posted @
2007-08-29 11:06
1-2-3
阅读(3271)
推荐(1) 编辑