spfa 压缩状态spfa