Une nouvelle caractérisation des intervalles d'intérêt pour le raisonnement énergétique

Alban Derrien (1, 2)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 TASC - Theory, Algorithms and Systems for Constraints

Le raisonnement énergétique (ER) pour la contrainte Cumulative permet un filtrage des domaines supérieur à la plupart des algorithmes de l'état de l'art. Hélas, il est généralement trop coûteux pour être uti-lisé en pratique. Une des raisons de ce coût important est que trop d'intervalles de temps sont considérés. Dans la littérature, des approches heuristiques ont été développées dans le but de réduire le nombre d'inter-valles à considérer, entrainant une perte de filtrage. Dans cet article, nous démontrons qu'il est possible de réduire le nombre d'intervalles d'intérêt jusqu'à un fac-teur sept pour la condition d'échec et le propagateur, sans diminuer la puissance de filtrage. En outre, nous montrons que, pour certaines classes de problèmes, associer ER à un algorithme de Time-Table constitue le meilleur compromis opérationnel.

Domaines: Recherche opérationnelle [math.OC]; Mathématique discrète [cs.DM]

Alban Derrien. Une nouvelle caractérisation des intervalles d'intérêt pour le raisonnement énergétique. JFPC, Jun 2014, Angers, France. ⟨hal-01074521⟩