崔文正
- 作品数：1 被引量：1H指数：1
- 供职机构：中国科学院数学与系统科学研究院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- RCC8的一致分割及其算法被引量：1
- 2015年
- 区域连接演算(Region Connection Calculus,RCC)是一种用于空间定性表示和推理的形式化模型,如RCC5,RCC8等,其一致性检查被证明是一个NP问题。幸运的是,在其可处理子集上,路径一致性和一致性等价,即便这样也有O(n3)的时间复杂度和O(n2)的空间复杂度。为了提高一致性检查的效率,提出了一致分割的概念,给出了其定义和成立的充分必要条件,用来将RCC8的约束图在保持一致性的前提下分割成若干个子图,分而求解各个子图的一致性;并随后给出了几种一致分割的充分条件,和相应的高效分割算法。在随机生成的大型、稀疏约束图上的实验表明了一致分割的有效性。
- 崔文正
- 关键词：约束满足问题区域连接演算
