方法1:数学归纳法-labuladong

明确「状态」 -> 定义 dp 数组/函数的含义 -> 明确「选择」-> 明确 base case。
数学归纳法：由前k个值，在假设前k个情况成立的前提下，可以证明得到后面的值成立
DP下就是，由前面的值的成立，可以得到，后面的成立