ABSTRACT
We define and study exact, efficient representations of realization spaces of a natural class of underconstrained 2D Euclidean Distance constraint systems (Linkages or Frameworks) based on 1-dof Henneberg-I graphs. Each representation corresponds to a choice of parameters and yields a different parametrized configuration space. Our notion of efficiency is based on the algebraic complexities of sampling the configuration space and of obtaining a realization from the sample (parametrized) configuration. Significantly, we give purely combinatorial characterizations that capture (i) the class of graphs that have efficient configuration spaces and (ii) the possible choices of representation parameters that yield efficient configuration spaces for a given graph. Our results automatically yield an efficient algorithm for sampling realizations, without missing extreme or boundary realizations. In addition, our results formally show that our definition of efficient configuration space is robust and that our characterizations are tight. We choose the class of 1-dof Henneberg-I graphs in order to take the next step in a systematic and graded program of combinatorial characterizations of efficient configuration spaces. In particular, the results presented here are the first characterizations that go beyond graphs that have connected and convex configuration spaces.
- I. Fudos and C. M. Hoffmann. A graph-constructive approach to solving systems of geometric constraints. ACM Trans on Graphics, Page: 179--216, 1997. Google ScholarDigital Library
- H. Gao. Geometric Under-Constraints. Ph.D. thesis, University of Florida, 2008. Google ScholarDigital Library
- H. Gao, and M. Sitharam. Combinatorial Classification of 2D Underconstrained Sytems. Proceedings of the Seventh Asian Symposium on Computer Mathematics (ASCM 2005), Sung-il. Pae. and Hyungju. Park., Eds., 2005, Page 118--127.Google Scholar
- H. Gao and M. Sitharam. Characterizing 1-Dof Henneberg-I graphs with efficient configuration spaces. arXiv: 0810.1997 {cs.CG}.Google Scholar
- H. Gao and M. Sitharam. Characterizing 1-Dof Tree-Decomposable graphs with efficient configuration space. In preparation.Google Scholar
- Robert Joan-Arinyo and Antoni Soto-Riera and S. Vila-Marta and Josep Vilaplana-Pasto. Transforming an under-constrained geometric constraint problem into a well-constrained one. Symposium on Solid Modeling and Applications 2003, pages 33--44, 2003. Google ScholarDigital Library
- Hilderick A. van der Meiden, Willem F. Bronsvoort. A constructive approach to calculate parameter ranges for systems of geometric constraints. Computer-Aided Design, 38(4): 275--283, 2006 Google ScholarDigital Library
- John C. Owen and Steve C. Power. The nonsolvability by radicals of generic 3-connected planar graphs. Transactions of AMS, 359(5): 2269--2303, 2006.Google ScholarCross Ref
- M. Sitharam. Graph based geometric constraint solving: problems, progress and directions. AMS-DIMACS volume on Computer Aided Design, D. Dutta, R. Janardhan, and M. Smid, Eds., 2005.Google Scholar
- M. Sitharam and H. Gao. Characterizing graphs with convex and connected configuration spaces. arXiv: 0809.3935 {cs.CG}.Google Scholar
- G. F. Zhang and X. S. Gao. Well-constrained Completion and Decomposition for Under-constrained Geometric Constraint Problems. International Journal of Computational Geometry and Applications, pages 461--478, 2006.Google ScholarCross Ref
Index Terms
- Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces
Recommendations
Characterizing Graphs with Convex and Connected Cayley Configuration Spaces
We define and study exact, efficient representations of realization spaces Euclidean Distance Constraint Systems (EDCS), which include Linkages and Frameworks. These are graphs with distance assignments on the edges (frameworks) or graphs with distance ...
Packing 3-vertex paths in claw-free graphs and related topics
A @L-factor of a graph G is a spanning subgraph of G whose every component is a 3-vertex path. Let v(G) be the number of vertices of G and @c(G) the domination number of G. A claw is a graph with four vertices and three edges incident to the same ...
Constructing Graphs with No Immersion of Large Complete Graphs
In 1989, Lescure and Meyniel proved, for d=5,6, that every d-chromatic graph contains an immersion of Kd, and in 2003 Abu-Khzam and Langston conjectured that this holds for all d. In 2010, DeVos, Kawarabayashi, Mohar, and Okamura proved this conjecture ...
Comments