彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴 PTrie：通过前缀共享压缩和存储集合的数据结构。 （英语） 兹比尔1444.68063 Hung，Dang Van（编辑）等人，《计算的理论方面——ICTAC 2017》。第十四届国际学术讨论会，越南河内，2017年10月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10580, 248-265 (2017). 摘要：集合及其高效实现在所有计算机科学中都是基础，包括模型检查，在状态空间探索期间，集合用作存储（编码）状态的基本数据结构。为了寻求快速且内存高效的方法来操作大型集，我们提出了一种称为PTrie的新型数据结构，用于存储任意长度的二进制字符串集。PTrie数据结构通过压缩存储的元素，同时与传统的基于散列的实现（即快速插入和查找操作）共享所需的关键特征，从而使其与众不同。我们提供了PTries的理论基础，证明其操作的正确性，并进行实证研究，分析PTries处理随机生成的二进制字符串的性能，以及2016年版模型检查竞赛（MCC’16）中大量Petri网模型的状态空间探索。我们实验证明，只要在运行时间上有适度的开销，就可以实现真正意义上的空间缩减。最后，我们在GPL版本3许可证下提供了PTrie数据结构的高效实现，以便该技术可用于内存密集型应用程序，如模型检查工具。关于整个系列，请参见[Zbl 1372.68010号]. 引用于三文件 理学硕士： 68第05页 数据结构 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 软件：洛拉;PTrie公司;TAPAAL公司 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人，Lect。注释计算。科学。10580、248--265（2017；Zbl 1444.68063） 全文： 内政部