ISSN:1009-5020 CN:42-1610/P

Computational complexity of spatial reasoning with directional relationship

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.

     

    Abstract: 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.

     

/

返回文章
返回