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