The Non-overlapping Constraint between Objects Described by Non-linear Inequalities - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

The Non-overlapping Constraint between Objects Described by Non-linear Inequalities

Résumé

Packing 2D objects in a limited space is an ubiquitous problem with many academic and industrial variants. In any case, solving this problem requires the ability to determine where a first object can be placed so that it does not intersect a second, previously placed, object. This subproblem is called the non-overlapping constraint. The complexity of this non-overlapping constraint depends on the type of objects considered. It is simple in the case of rectangles. It has also been studied in the case of polygons. This paper proposes a numerical approach for the wide class of objects described by non-linear inequalities. Our goal here is to calculate the non-overlapping constraint, that is, to describe the set of all positions and orientations that can be assigned to the first object so that intersection with the second one is empty. This is done using a dedicated branch & prune approach. We first show that the non-overlapping constraint can be cast into a Minkowski sum, even if we take into account orientation. We derive from this an inner contractor, that is, an operator that removes from the current domain a subset of positions and orientations that necessarily violate the non-overlapping constraint. This inner contractor is then embedded in a sweeping loop, a pruning technique that was only used with discrete domains so far. We finally come up with a branch & prune algorithm that outperforms Rsolver, a generic state-of-the-art solver for continuous quantified constraints.
Fichier principal
Vignette du fichier
paper66.pdf (1.32 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01084612 , version 1 (19-11-2014)
hal-01084612 , version 2 (16-12-2014)

Identifiants

Citer

Ignacio Salas, Gilles Chabert, Alexandre Goldsztejn. The Non-overlapping Constraint between Objects Described by Non-linear Inequalities. The 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.672 - 687, ⟨10.1007/978-3-319-10428-7_49⟩. ⟨hal-01084612v2⟩
452 Consultations
534 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More