Geometric constraint graphs decomposition based on computing graph circuits
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/8061
Tipus de documentText en actes de congrés
Data publicació2008
EditorEast China Normal University
Condicions d'accésAccés obert
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
Geometric constraint solving is a growing field which plays a paramount
role in industrial applications and that is deeply rooted in automated deduction
in geometry. In this work we report on an algorithm to solve geometric
constraint-based problems by decomposing biconnected graphs. The algorithm is
based on recursively splitting the graph through sets with three vertices located
on fundamental circuits of the graph. Preliminary practical experiments suggest
that the algorithm runtime is at worst quadratic with the total number of vertices
in the graph.
CitacióJoan-Arinyo, R.; Tarres, M.; Vila, S. Geometric constraint graphs decomposition based on computing graph circuits. A: Automated Deduction in Geometry. "Automated Deduction in Geometry". Shanghai: East China Normal University, 2008, p. 96-101.
Col·leccions
- Departament de Disseny i Programació de Sistemes Electrònics (fins octubre 2015) - Ponències/Comunicacions de congressos [36]
- Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.274]
- GIE - Grup d'Informàtica en l'Enginyeria - Ponències/Comunicacions de congressos [32]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
7thADG.pdf | 108,7Kb | Visualitza/Obre |