完全想不通为什么一个状态转移方程是否是正确的，而且我找到的教程都没有证明。

求动态规划入门 Blog，最好能把状态转移方程推出来的过程呈现出来。