Solving Constraints Between Lines in Euclidean Geometry

We consider constraints satisfaction problems between lines in Euclidean geometry. Our language of constraints is based on the binary relation of parallelism. Our main results state that (1) solving constraints between lines in dimension 2 can be done in polynomial time whereas (2) solving constraints between lines in dimension 3 is NP-hard.

[1]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[2]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[3]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[4]  Anthony G. Cohn,et al.  Qualitative and Topological Relationships in Spatial Databases , 1993, SSD.

[5]  B. L. Clark.  Individuals and points. , 1985 .

[6]  Andrew U. Frank,et al.  Qualitative spatial reasoning about distances and directions in geographic space , 1992, J. Vis. Lang. Comput..

[7]  Clement T. Yu,et al.  Reasoning About Spatial Relationships in Picture Retrieval Systems , 1994, VLDB.

[8]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[9]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[10]  J. M. BocheŃski,et al.  The Axiomatic Method , 1965 .

[11]  Gérard Ligozat,et al.  Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..

[12]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[13]  Timos K. Sellis,et al.  Topological relations in the world of minimum bounding rectangles: a study with R-trees , 1995, SIGMOD '95.

[14]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[15]  Patrick Suppes,et al.  The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 , 1959 .

[16]  Spiros Skiadopoulos,et al.  Composing Cardinal Direction Relations , 2001, SSTD.

[17]  Eugene C. Freuder.  A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[18]  Kai Zimmermann,et al.  Enhancing Qualitative Spatial Reasoning - Combining Orientation and Distance , 1993, COSIT.

[19]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[20]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.