具有架构约束的协作系统中的可达性是 PSPACE-完全的
计算复杂性
2013-12-31 v1
摘要
协作系统中的可达性问题已知是 PSPACE-完全的。我们在此表明，当我们以各种方式限制子系统之间的通信结构时，该问题仍然是 PSPACE-完全的。为此，我们引入了两类基本且不可比较的协作系统子类，它们在实践中经常出现，并提供了相应的归约。我们所考虑的子类由协作系统组成，其通信结构分别形成线型或星型。
引用
@article{arxiv.1312.7615,
title = {Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete},
author = {Mila Majster-Cederbaum and Nils Semmelrock},
journal= {arXiv preprint arXiv:1312.7615},
year = {2013}
}
备注
In Proceedings GRAPHITE 2013, arXiv:1312.7062