Geometriska problem som definieras av begränsningar kan representeras av geometriska begränsningar grafer vars noder är geometriska element och vars bågar representerar geometriska begränsningar. Reduktion och nedbrytning är tekniker som ofta används för att analysera geometriska begränsningsdiagram i geometrisk begränsningslösning. I detta dokument introducerar vi först begreppet underskott i ett begränsande diagram. Sedan ger vi en ny formalisering av nedbrytningsalgoritmen på grund av Owen. Denna nya formalisering bygger på att bevara underskottet snarare än på att beräkna trianslutna komponenter i grafen och är enklare. Slutligen tillämpar vi trädnedbrytningar för att bevisa att den klass av problem som lösts genom de formaliseringar som studeras här och andra formaliseringar som rapporterats i litteraturen är densamma.
Trädnedbrytningen av en restriktionsgraf introducerades av Joan-Arinyo et al. i REF................................................................................................
Revisiting decomposition analysis of geometric constraint graphs
{'venue': 'Comput. Aided Des.', 'journal': 'Comput. Aided Des.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}