Programmation par contraintes

[IdC]

Salut,

je cherche à modéliser le problème de séquences binaires de faible autocorrélation "low autocorrelation binary sequences", avec une fonction objective et un ensemble de contraintes.

Spécification du Problème:
Ces problèmes ont de nombreuses applications pratiques dans les communications et de l'ingénierie électrique. L'objectif est de construire une séquence S_i binaire de longueur n qui minimise les autocorrélations entre bits. Chaque bit de la séquence prend la valeur +1 ou -1. Avec des conditions aux limites non-périodiques, la k-ème autocorrélation, C_k est définie comme la somme (i, 0, nk-1, S_i * S_i + k). Avec des conditions aux limites périodiques (ou cycliques), la k-ème autocorrélation , C_k est définie comme la somme (i, 0, n-1, S_i * S_ ((i + k) mod n)). L'objectif est de réduire au minimum la somme des carrés de ces autocorrélations. C'est, pour réduire au minimum la somme E= sum(k, 1, n-1, C_k ^ 2).

je n'arrive pas à trouver des contraintes à part que les valeur que peut prendre la séquence Si doivent être -1 ou +1.

qu'en pensez vous?

Merci pour votre aide.