Decomposition of geometric constraint graphs based on computing fundamental circuits. Correctness and complexity
Visualitza/Obre
decomp.pdf (1,817Mb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/24627
Tipus de documentArticle
Data publicació2014-07-01
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In geometric constraint solving, Decomposition Recombination solvers (DR-solvers) refer to a general solving approach where the problem is divided into a set of sub-problems, each sub-problem is recursively divided until reaching basic problems which are solved by a dedicated equational solver. Then the solution to the starting problem is computed by merging the solutions to the sub-problems.; Triangle- or tree-decomposition is one of the most widely used approaches in the decomposition step in DR-solvers. It may be seen as decomposing a graph into three subgraphs such that subgraphs pairwise share one graph vertex. Shared vertices are called hinges. Then a merging step places the geometry in each sub-problem with respect to the other two.; In this work we report on a new algorithm to decompose biconnected geometric constraint graphs by searching for hinges in fundamental circuits of a specific planar embedding of the constraint graph. We prove that the algorithm is correct. (C) 2014 Elsevier Ltd. All rights reserved.
CitacióJoan-Arinyo, R.; Tarres, M.; Vila, S. Decomposition of geometric constraint graphs based on computing fundamental circuits. Correctness and complexity. "Computer Aided Design", 01 Juliol 2014, vol. 52, p. 1-16.
Dipòsit legalElse
ISSN0010-4485
Versió de l'editorhttp://www.sciencedirect.com/science/article/pii/S001044851400030X
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
decomp.pdf | 1,817Mb | Accés restringit |