归约至秩：高效的基于秩的 Büchi 自动机补算（技术报告）
计算机科学中的逻辑
2021-07-22 v3 形式语言与自动机理论
摘要
本文给出了若干针对基于秩的 Büchi 自动机补算方法的优化。我们从 Schewe 理论上最优的构造出发，并开发了一组用于剪枝其状态空间的技术，这些技术是在实践中获得小型补自动机的关键。特别地，这些归约（除一种外）具有保持（至少某些）所谓超紧（super-tight）运行的性质，即其秩划分尽可能紧的运行。我们在大型基准上的评估表明，这些优化确实显著助力了基于秩的方法，并且在大量案例中，所得补集是众多前沿 Büchi 补算工具中所产生的最小者。
引用
@article{arxiv.2010.07834,
title = {Reducing (to) the Ranks: Efficient Rank-based B\"{u}chi Automata Complementation (Technical Report)},
author = {Vojtěch Havlena and Ondřej Lengál},
journal= {arXiv preprint arXiv:2010.07834},
year = {2021}
}
备注
Accepted at CONCUR'21