空间方向关系推理计算的NP完全性研究 |
| |
引用本文: | 毛建华,邱小剑,刘丽.空间方向关系推理计算的NP完全性研究[J].江西师范大学学报(自然科学版),2003,27(3):279-282. |
| |
作者姓名: | 毛建华 邱小剑 刘丽 |
| |
作者单位: | 1. 江西师范大学,城市与环境科学学院,江西,南昌,330027 2. 江西师范大学,物理与电子通信学院,江西,南昌,330027 |
| |
摘 要: | 空间方向关系推理问题的NP完全性证明是基于两个重要的变换基础之上的,其中一个变换是把空间方向关系推理问题变换为一个限定满足问题,基于这种变换,空间方向关系推理问题中的变量和值域相应地变换为限定满足问题中的空间目标和方向关系限制;另一个变换是从不全等3可满足问题到方向关系限定满足问题,基于这种变换,3可满足问题实例中的变量可以变换为两个方向关系限制。为此,一个满足所有目标方向关系限制的空间结构可以建立,从而可以证明空间方向关系推理问题的NP完全性性质。
|
关 键 词: | 空间方向关系推理 NP完全性 锥形法 空间方向关系推理模型 计算复杂性 地理信息系统 |
文章编号: | 1000-5862(2003)03-0279-04 |
修稿时间: | 2002年9月28日 |
Research on the Computational Complexity of Spatial Reasoning with Directional Relationship |
| |
Abstract: | |
| |
Keywords: | computational complexity NP-completeness directional relation reasoning |
本文献已被 CNKI 维普 万方数据 等数据库收录! |