条件简单时序网络的动态可控制性是PSPACE完全的
数据结构与算法
2016-08-31 v1
摘要
即使在提出了各种求解算法之后，检验条件时序网络是否动态可控制的精确计算复杂性仍广未解决。本文解决了该问题，提供了构造、算法以及桥接引理和论证，以形式化证明：(1) 该问题是PSPACE难的；(2) 该问题属于PSPACE。
引用
@article{arxiv.1608.08545,
title = {Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete},
author = {Massimo Cairo and Romeo Rizzi},
journal= {arXiv preprint arXiv:1608.08545},
year = {2016}
}
备注
Accepted to TIME2016