欧内斯特·戴维斯;尼古拉斯·马克·戈茨;安东尼·科恩（Anthony G.Cohn）。 拓扑关系和凸性的约束网络。 （英语） Zbl 0946.68082号 约束条件 4，第3期，241-280（1999）. 摘要：本文研究了拓扑关系约束网络的表达性和计算复杂性以及凸性。我们考虑的约束网络的节点是正则区域（正则区域等于其内部的闭包），其约束具有以下形式：（i）八个“基关系”，描述区域之间包含和邻接的二元拓扑关系；（ii）谓词“X是凸的”。我们对这种语言的计算复杂性建立了严格的界限：确定这样一个约束网络是否一致是可判定的，但本质上与确定一组与实数大小相当的代数约束是否一致一样困难。我们还展示了该语言的一个重要的表示性结果：如果\（r）和\（s）是有界的正则区域，并且这些区域与仿射变换无关，那么它们可以通过约束网络来区分，有一个约束网络和该网络中的一个特定节点，因此存在一个节点等于\（r）的解，但没有一个节点为\（s）的解。 引用于7文件 MSC公司： 第68季度第45季度 形式语言和自动机 关键词：约束网络 PDF格式BibTeX公司 XML格式引用 \textit{E.Davis}等人，约束4，No.3，241--280（1999；Zbl 0946.68082） 全文： 内政部