树型动态规划和状态压缩动态规划