3. Contraintes sur les domaines finis et sur les intervalles
Nous abordons ici deux types de contraintes numériques qui se distinguent du fait que les résolveurs associés sont moins ambitieux : leurs réponses sont approximatives en ce sens qu'elles fournissent des intervalles possibles pour les variables sans garantir que le système d'équations est effectivement satisfiable. Cependant, un échec garantit que le système est insatisfiable.
L'avantage essentiel de ces résolveurs réside dans leur faible coût. Ils nécessitent l'usage d'énumérations, en général sophistiquées, mais cela est compensé par le fait que les avancées technologiques en ce domaine sont très significatives. Pratiquement, ce sont les contraintes sur domaines finis qui connaissent les succès les plus remarquables sur les problèmes combinatoires. Quant aux contraintes sur intervalles, plus récentes et, d'une certaine façon, plus générales, elles sont très prometteuses...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Contraintes sur les domaines finis et sur les intervalles
Conclusion et perspectives
Bibliographie
Dans les Techniques de l’Ingénieur
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
