A graph-constructive approach to solving systems of geometric constraints

A graph-constructive approach to solving systems of geometric constraints capable of effeciently handling well-constrained, overconstrained, and underconstrained configurations is presented. The geometric constraint solver works in two phases: in the analysis phase the constraint graph is analyzed and a sequence of elementary construction steps is derived, and then in the construction phase the sequence of construction steps in actually carried out. The analysis phase of the algorithm is described in detail, its correctness is proved, and an efficient algorith to realized it is presented. The scope of the graph analysis is then extended by utilizing semantic information in the form of anlge derivations, and by extending the repertoire of the construction steps. Finally, the construction phase is briefly discussed.

[1]  Christoph M. Hoffmann,et al.  Geometric constraint solver , 1995, Comput. Aided Des..

[2]  Greg Nelson,et al.  Juno, a constraint-based graphics system , 1985, SIGGRAPH.

[3]  Ioannis Fudos.  Editable Representations For 2D Geometric Design , 1993 .

[4]  S. Smale,et al.  On a theory of computation and complexity over the real numbers; np-completeness , 1989 .

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

[6]  Dieter Roller,et al.  Dimension-driven geometry in CAD: a survey , 1989 .

[7]  N. P. Juster,et al.  Modelling and representation of dimensions and tolerances: a survey , 1992, Comput. Aided Des..

[8]  Alon Itai,et al.  Finding a Minimum Circuit in a Graph , 1978, SIAM J. Comput..

[9]  Jean-Pierre Jouannaud,et al.  Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[10]  Christoph M. Hoffmann,et al.  Constraint solving for computer-aided design , 1995 .

[11]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[12]  Gordon M. Crippen,et al.  Distance Geometry and Molecular Conformation , 1988 .

[13]  R. Light,et al.  Modification of geometric models through variational geometry , 1982 .

[14]  Beat D. Brüderlin.  Constructing three-dimensional geometric objects defined by constraints , 1987, I3D '86.

[15]  David Hilbert,et al.  Grundlagen der Geometrie , 2022 .

[16]  Robert E. Tarjan,et al.  Dividing a Graph into Triconnected Components , 1973, SIAM J. Comput..

[17]  Hiroshi Imai,et al.  On combinatorial structures of line drawings of polyhedra , 1985, Discret. Appl. Math..

[18]  Christoph M. Hoffmann,et al.  Erep An Editable High-Level Representation for Geometric Design and Analysis , 2013 .

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

[20]  B. Aldefeld.  Variation of geometrics based on a geometric-reasoning method , 1988 .

[21]  Robert Juan-Arinyo.  A Rule-Constructive Geometric Constraint Solver , 1995 .

[22]  James Arthur Gosling,et al.  Algebraic constraints , 1983 .

[23]  Dieter Roller,et al.  Rule-oriented method for parameterized computer-aided design , 1992, Comput. Aided Des..

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

[25]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[26]  Timothy F. Havel,et al.  Shortest-path problems and molecular conformation , 1988, Discret. Appl. Math..

[27]  Thomas J. Schaefer,et al.  The complexity of satisfiability problems , 1978, STOC.

[28]  Alon Itai,et al.  Finding a minimum circuit in a graph , 1977, STOC '77.

[29]  S. Lane.  A structural characterization of planar combinatorial graphs , 1937 .

[30]  Christoph M. Hoffmann,et al.  On the Semantics of Generative Geometry Representations , 1993 .

[31]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[32]  Robert Joan Arinyo,et al.  A rule-constructive geometric constraint solver , 1995 .

[33]  Kokichi Sugihara,et al.  Detection of structural inconsistency in systems of equations with degrees of freedom and its applications , 1985, Discret. Appl. Math..

[34]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[35]  Glenn A. Kramer.  Solving geometric constraint systems a case study in kinematics , 1992, Comput. Aided Des..