算法思想 树型动态规划和状态压缩动态规划