迈克尔·韦斯特加德;克里斯滕森,拉尔斯·迈克尔;格思·斯特林特·布罗达尔;拉尔斯·阿格 ComBack方法——通过回溯扩展散列压缩。 (英语) Zbl 1226.68066号 Kleijn,Jetty(编辑)等人,Petri网和其他并发模型——ICATPN 2007。第28届关于Petri网和其他并发模型的应用和理论的国际会议,2007年ICATPN,2007年6月25日至29日,波兰西德尔塞。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73093-4/pbk)。计算机科学课堂讲稿4546,445-464(2007)。 摘要:本文提出了用于显式状态空间探索的ComBack方法。ComBack方法扩展了众所周知的散列压缩方法,从而保证了状态空间的完全覆盖。在散列压缩中,每个遇到的状态都映射到一个压缩状态描述符(散列值)。该方法还为每个状态存储一个表示状态标识的整数和一个前置状态的后缘。这允许在状态空间探索期间使用回溯来实时解决散列冲突,以便在需要时重建完整的状态描述符,以便与新遇到的状态进行比较。使用ComBack方法的原型实现在几个示例系统上评估该方法,并将其性能与相关方法进行比较。结果显示,在可接受的探索时间成本下,内存使用量有所减少。关于整个系列,请参见[Zbl 1121.68005号]. 引用于1审查引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{M.Westergaard}等人,Lect。注释计算。科学。4546、445--464(2007年;Zbl 1226.68066) 全文: 内政部