2015年7月31日
Dijkstra算法的另一种证明
摘要： 按：今天看Tanenbaum的计算机网络时讲到了Dijkstra算法。关于算法的正确性，《算法导论》给出了严格的证明。CLRS的证明基于一个通用的框架，非常清晰。今天只是随意想想是否有其他证明的方式，结果发现是有的。虽然这种证明方法可能早已有人用过，不算新鲜。不过自己想了一通就把它放到这里纯粹博大家... 阅读全文
posted @ 2015-07-31 00:14 waytofall 阅读(2712) 评论(0) 推荐(0) 编辑