摘要：
在看 “《算法导论》15.3动态规划原理--最优子结构通用模式” 时，感觉第四步的证明有问题，这里来分析一下，欢迎吐槽。----------------------------------------------------------------------------------------4. 证明：作为构成原问题最优解S的组成部分，每个子问题的解都是它自身的最优解。使用反证法：①假定 S是原问题 P的一个最优解，假定构成S的一个子问题 pi 的解 si，不是其自身的最优解，那么设 pi 的最优解为 si'。②那么我们就可以从原问题的解S中“剪掉” pi 非最优解 si，将最优解 阅读全文