La Contrainte Déviation
Abstract
Cet article présente DEVIATION, une contrainte globale afin d'obtenir des solutions équilibrées. La norme $L_p$ du vecteur des variables diminuées de leur moyenne est une mesure de violation de l'équilibre parfait. SPREAD contraint la somme du carré des écarts à la moyenne, c'est-à-dire la norme $L_2$. Cet article considère la norme $L_1$. Aucun de ces deux critères n'est plus général que l'autre. Néanmoins, la conception des propagateurs pour $L_1$ est plus simple. De plus la complexité temporelle de ceux-ci est linéaire par rapport au nombre de variables alors qu'elle est quadratique pour les propagateurs de SPREAD.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...