基于连通性状态压缩的动态规划问题