The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry

An important issue in dynamic geometry is the reachability problem that asks whether there is a continuous path that, from a given starting geometric configuration, continuously leads to an ending configuration. In this work we report on a technique to compute a continuous evaluation path, if one exists, that solves the reachability problem for geometric constructions with one variant parameter. The technique is developed in the framework of a constructive geometric constraint-based dynamic geometry system, uses the A ∗  algorithm and minimizes the variant parameter arc length.

[1]  Britta Denner-Broser.  On the Decidability of Tracing Problems in Dynamic Geometry , 2004, Automated Deduction in Geometry.

[2]  Ulrich Kortenkamp,et al.  COMPLEXITY ISSUES IN DYNAMIC GEOMETRY , 2000 .

[3]  Britta Denner-Broser,et al.  About Tracing Problems in Dynamic Geometry , 2013, Discret. Comput. Geom..

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

[5]  M. Victoria Luzón,et al.  Genetic algorithms for root multiselection in constructive geometric constraint solving , 2003, Comput. Graph..

[6]  大野 義夫,et al.  Computer Graphics : Principles and Practice, 2nd edition, J.D. Foley, A.van Dam, S.K. Feiner, J.F. Hughes, Addison-Wesley, 1990 , 1991 .

[7]  Gilles Trombettoni,et al.  Decomposition of Geometric Constraint Systems: a Survey , 2006, Int. J. Comput. Geom. Appl..

[8]  Ulrich Kortenkamp.  Foundations of dynamic geometry , 2000 .

[9]  Walid Gomaa,et al.  Reachability Problems , 2014, Lecture Notes in Computer Science.

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

[11]  Bassam Halabi,et al.  Internet Routing Architectures , 1997 .

[12]  Britta Denner-Broser.  An algorithm for the tracing problem using interval analysis , 2008, SAC '08.

[13]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

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

[15]  Marta Hidalgo.  DynBCN A Constructive Geometric Constraint-based Dynamic Geometry System , 2015 .

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

[17]  Willem F. Bronsvoort,et al.  An Efficient Method to Determine the Intended Solution for a System of Geometric Constraints , 2005, Int. J. Comput. Geom. Appl..

[18]  Robert Joan-Arinyo,et al.  A correct rule-based geometric constraint solver , 1997, Comput. Graph..

[19]  Harald Winroth,et al.  Dynamic projective geometry , 1999 .

[20]  Michael Jenkin,et al.  Exploiting Hierarchical Probabilistic Motion Planning for Robot Reachable Workspace Estimation , 2011 .

[21]  Beat D. Brüderlin.  Rule-based geometric modelling , 1987 .

[22]  L. Lovász,et al.  On Generic Rigidity in the Plane , 1982 .

[23]  Willem F. Bronsvoort,et al.  A constructive approach to calculate parameter ranges for systems of geometric constraints , 2006, Comput. Aided Des..

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

[25]  Danny McPherson,et al.  Internet Routing Architectures, Second Edition , 2000 .

[26]  S. Sitharama Iyengar,et al.  Robot reachability problem: A nonlinear optimization approach , 1995, J. Intell. Robotic Syst..

[27]  Thomas Ertl,et al.  Computer Graphics - Principles and Practice, 3rd Edition , 2014 .

[28]  C. Hoffmann,et al.  A Brief on Constraint Solving , 2005 .

[29]  Roberta L. Klatzky,et al.  A Geographical Information System for a GPS Based Personal Guidance System , 1998, Int. J. Geogr. Inf. Sci..

[30]  Willem F. Bronsvoort,et al.  A constructive approach to calculate parameter ranges for systems of geometric constraints , 2005, SPM '05.

[31]  M. V. Luzón,et al.  Search Space Pruning to Solve the Root Identification Problem in Geometric Constraint Solving , 2009 .

[32]  Robert Joan-Arinyo,et al.  A constraint-based dynamic geometry system , 2008, SPM '08.

[33]  Christoph M. Hoffmann,et al.  Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms , 2001, J. Symb. Comput..

[34]  Louise Poissant.  Part I , 1996, Leonardo.

[35]  Robert Joan-Arinyo,et al.  Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof , 2012, Comput. Aided Des..

[36]  John E. Howland,et al.  Computer graphics , 1990, IEEE Potentials.