算法 论文 状态压缩 动态规划 递推 hash