Transforming an under-constrained geometric constraint problem into a well-constrained one

We present an approach for handling geometric constraint problems with under-constrained configurations. The approach works by completing the given set of constraints with constraints that can be defined either automatically or drawn from an independently given set of constraints placed on the geometries of the problem. In both cases, the resulting completed set of constraints is not over-constrained. If every well-constrained subproblem in the given under-constrained configuration is solvable, the completed constraint problem is also solvable.

[1]  Sebastià Vila-Marta,et al.  On the domain of constructive geometric constraint solving techniques , 2001, Proceedings Spring Conference on Computer Graphics.

[2]  James G. Oxley,et al.  Matroid theory , 1992 .

[3]  Christoph M. Hoffmann,et al.  Distributed maintenance of multiple product views , 2000, Comput. Aided Des..

[4]  Sebastià Vila-Marta,et al.  Revisiting decomposition analysis of geometric constraint graphs , 2002, SMA '02.

[5]  John C. Owen.  Constraint on simple geometry in two and three dimensions , 1996, Int. J. Comput. Geom. Appl..

[6]  J. Graver,et al.  Graduate studies in mathematics , 1993 .

[7]  Walter Whiteley,et al.  Some matroids from discrete applied geometry , 1996 .

[8]  Robert Joan Arinyo,et al.  Declarative characterization of a general architecture for constructive geometric constraint solvers , 2002 .

[9]  G. Laman.  On graphs and rigidity of plane skeletal structures , 1970 .

[10]  Robert Joan Arinyo,et al.  Transforming an under-constrained geometric constraint problem into a well-constrained one , 2002 .

[11]  Christoph M. Hoffmann,et al.  A graph-constructive approach to solving systems of geometric constraints , 1997, TOGS.

[12]  J. C. Owen,et al.  Algebraic solution for geometry from dimensional constraints , 1991, SMA '91.

[13]  K. Sugihara.  On Some Problems in the Design of Plane Skeletal Structures , 1983 .

[14]  Walter Whiteley,et al.  Constraining Plane Configurations in Computer-Aided Design: Combinatorics of Directions and Lengths , 1999, SIAM J. Discret. Math..

[15]  Christoph M. Hoffmann,et al.  Correctness proof of a geometric constraint solver , 1996, Int. J. Comput. Geom. Appl..

[16]  Sebastià Vila-Marta,et al.  A framework to support multiple views in geometric constraint-based models , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[17]  C. Hoffmann,et al.  Symbolic and numerical techniques for constraint solving , 1998 .

[18]  Willem F. Bronsvoort,et al.  Multiple-way feature conversion to support concurrent engineering , 1995, SMA '95.

[19]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[20]  Nuria Mata Burgarolas.  Solving incidence and tangency constraints in 2D , 1997 .

[21]  Christoph M. Hoffmann,et al.  Decomposition Plans for Geometric Constraint Systems, Part I: Performance Measures for CAD , 2001, J. Symb. Comput..