56、状态空间探索与向上封闭集计算方法研究

状态空间探索与向上封闭集计算方法研究

1. 状态空间探索方法概述

在状态空间探索领域，为解决状态爆炸问题，出现了多种方法，其中ComBack方法是一种较为独特的解决方案。

1.1 ComBack方法原理

ComBack方法的核心思想是对哈希压缩方法进行扩展，通过增加一个后向边表，实现完整状态描述符的重建，确保对状态空间的全面覆盖。在CPN Tools中对该方法进行了原型实现，实验结果表明，ComBack方法虽然比哈希压缩方法消耗更多的时间和内存，但相较于普通的状态空间探索，其内存使用量更少。

1.2 不同方法的时间和内存使用对比

不同的状态空间探索方法在时间和内存使用上存在差异。以下是使用DFS和BFS探索时，不同缩减技术的时间和内存使用情况对比（相对标准深度优先探索）：
| 方法 | DFS探索（时间%） | DFS探索（内存%） | BFS探索（时间%） | BFS探索（内存%） |
| — | — | — | — | — |
| ComBack | - | - | - | - |
| ComBack 100 | - | - | - | - |
| ComBack 1000 | - | - | - | - |
| Hash compaction | - | - | - | - |
| Bit−state | - | - | - | - |
| Standard | - | - | - | - |

1.3 哈希压缩方法的问题

哈希压缩方法使用哈希函数生成压缩状态描述符，但会存在哈希冲突问题。例如，使用生成62