动态规划的证明题

动态规划一般用来解决最优解问题，且一般要求这样的问题具有最优子结构和重叠子问题。 证明一个动态规划问题的成立往往在于求证其具有最优子结构：该问题的最优解包含子问题的最优解。 最优子结构的证明步骤： 做出选择，划分子问题，假设该问题最优解成立，而子问题的解不是最优解，反证，利用子问题的最优解推出与该问题最优解矛盾，得证。 下面请看几个实例证明： 1.钢条切割问题 证明：我们不妨选择n英寸长的最优解为

>>阅读原文<<