On the Computational Complexity of Spatial Logics with Connectedness Constraints
On the Computational Complexity of Spatial Logics with Connectedness Constraints
复制标题
具有连通性约束的空间逻辑的计算复杂性
DOI：
10.1007/978-3-540-89439-1_40
复制
发表时间：
2008
期刊：
影响因子：
1.6
通讯作者：
M. Zakharyaschev
中科院分区：
文献类型：
--
作者：
R. Kontchakov;Ian Pratt;F. Wolter;M. Zakharyaschev
我们研究了空间逻辑的计算复杂性，扩展了表示拓扑连通性和限制连接组件数量的方法。特别是，我们表明连通性约束可以增加从NP到PSpace， ExpTime以及（如果允许组件计数）到ExpTime的复杂性。
We investigate the computational complexity of spatial logics extended with the means to represent topological connectedness and restrict the number of connected components. In particular, we show that the connectedness constraints can increase complexity from NP to PSpace , ExpTime and, if component counting is allowed, to NExpTime .
空间逻辑手册
DOI：
10.1007/978-1-4020-5587-4_9
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Kontchakov R
通讯作者：
Kontchakov R