2014年11月5日
LCS（最长公共子序列）动规算法正确性证明
摘要： 今天在看代码源文件求diff的原理的时候看到了LCS算法。这个算法应该不陌生，动规的经典算法。具体算法做啥了我就不说了，不知道的可以直接看《算法导论》动态规划那一章。既然看到了就想回忆下，当想到算法正确性的时候，发现这个算法的正确性证明并不好做。于是想了一段时间，里面有几个细节很trick，容易陷进... 阅读全文
posted @ 2014-11-05 16:23 waytofall 阅读(3362) 评论(0) 推荐(0)