REDUCTION OF CONSTRAINT SYSTEMS

Samy Ait-Aoudia (1) , Roland Jegou , Dominique Michelucci (2)

1 Images
2 Le2i - Laboratoire Electronique, Informatique et Image [UMR6306]

Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into well constrained, over-, and underconstrained subsystems. This paper also gives an efficient method to decompose well constrained systems into irreducible ones. These decompositions greatly speed up the resolution in case of reducible systems. They also allow debugging systems of constraints.

Mots clés: geometric modeling; constraints; bipartite graphs; matching; maximum matching; perfect matching

Domaines: Géométrie algorithmique [cs.CG]

Samy Ait-Aoudia, Roland Jegou, Dominique Michelucci. REDUCTION OF CONSTRAINT SYSTEMS. COMPUGRAPHICS'93, Dec 1993, Alvor, Algarve, Portugal. pp.331-340. ⟨hal-00848677⟩