Algorithme
- Motif P = (T, Hp, Cp) et contrainte correspondante opp sur l'ensemble des variables de direction +,- dans P
- Diagramme Diag = (S,Hd,Cd)
- Corr, tel que Corr := (d1,d2,…,dk), où di (i ? 1…k) est une variable/contrainte représentant le nombre du sommet d’un ESS du diagramme s'appariant à un ESS du motif ayant pour sommet le nombre i.
- Ins, tel que Ins := (I0, I1, I2,…,Ik) où Ii (i ? 0…k) est une variable/contrainte représentant le nombre des insertions entre sommets i et i+1 du motif, avec les contraintes suivantes pour tout i ? 1..k:
C1 0 < di = N, C2 di + Ii + 1 = di+1
Contrainte C1 définie plage de di; C2 assure préservation de séquence et prise en compte des contraintes sur dimension des intervalles définies par Ii; N représente taille de l'insertion la plus longue possible, en pratique moins de 60.