Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete
Data Structures and Algorithms
2016-08-31 v1
Abstract
Even after the proposal of various solution algorithms, the precise computational complexity of checking whether a Conditional Temporal Network is Dynamically Controllable had still remained widely open. This issue gets settled in this paper which provides constructions, algorithms, and bridging lemmas and arguments to formally prove that: (1) the problem is PSPACE-hard, and (2) the problem lies in PSPACE.
Cite
@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}
}
Comments
Accepted to TIME2016