ISSN:1009-5020 CN:42-1610/P
MAO Jianhua, GUO Qingsheng, WANG Tao. Computational complexity of spatial reasoning with directional relationshipJ. Geo-spatial Information Science, 2002, 5(3): 53-57. DOI: 10.1007/BF02826389
Citation: MAO Jianhua, GUO Qingsheng, WANG Tao. Computational complexity of spatial reasoning with directional relationshipJ. Geo-spatial Information Science, 2002, 5(3): 53-57. DOI: 10.1007/BF02826389

Computational complexity of spatial reasoning with directional relationship

  • The property of NP-completeness of topologic spatial reasoning problem has been proved. According to the similarity of uncertainty with topologic spatial reasoning, the problem of directional spatial reasoning should be also an NP-complete problem. The proof for the property of NP-completeness in directional spatial reasoning problem is based on two important transformations. After these transformations, a spatial configuration has been constructed based on directional constraints, and the property of NP-completeness in directional spatial reasoning has been proved with the help of the consistency of the constraints in the configuration.
  • loading

Catalog

    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return