基于归纳签名的分布式分支互模拟最小化
计算机科学中的逻辑
2009-12-15 v1 分布式、并行与集群计算
离散数学
数据结构与算法
摘要
我们提出了一种新的分布式算法，用于模分支互模拟的状态空间最小化。与其前身类似，它使用签名进行细化，但细化过程和签名已针对输入图不包含tau循环这一事实进行了优化。细化过程中的优化旨在减少所需的迭代次数和内存需求。在前一种情况下，我们无法证明有改进，但我们的实验表明，在许多情况下迭代次数更少。在后一种情况下，我们可以证明新算法的最坏情况内存使用与状态空间大小呈线性关系，而旧算法具有二次上界。本文包括新算法的正确性证明，以及比较新旧算法性能的大量实验结果。
引用
@article{arxiv.0912.2550,
title = {Distributed Branching Bisimulation Minimization by Inductive Signatures},
author = {Stefan Blom and Jaco van de Pol},
journal= {arXiv preprint arXiv:0912.2550},
year = {2009}
}