The graph-based geometric constraint solving technique works in two steps. First the geometric problem is translated into a
graph whose vertices represent the set of geometric elements and whose edges are the constraints. Then the constraint
problem is solved by decomposing the graph into a collection
of subgraphs each representing a standard problem which is
solved by a dedicated equational solver.
In this work we report on an algorithm to decompose biconnected
tree-decomposable graphs representing either underor
wellconstrained 2D geometric constraint problems. The
algorithm recursively first computes a set of fundamental
circuits in the graph then splits the graph into a set of
subgraphs each sharing exactly three vertices with the fundamental
circuit. Practical experiments show that the reported
algorithm clearly outperforms the treedecomposition
approach based on identifying subgraphs by applying specific
CitationTarres, M.; Vila, S.; Joan-Arinyo, R. Treedecomposition of geometric constraint graphs based on computing graph circuits. A: SIAM/ACM Joint Conference on Geometric and Physical Modeling. "2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling". New York: ACM, 2009, p. 113-122.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org