动态规划优化, 斜率优化 凸包优化 决策单调性 二分优化