Problèmes de satisfaction de contraintes

Bonjour,

Je suis débutant dans le domaine de programmation par contraintes et je trouve des difficultés à modéliser mes contraintes.

Quelq'un pourrait m'aider à modéliser une contrainte et je vais essayer d'y inspirer pour exprimer le reste des contraintes?

Ma contrainte est: étant donné un tableau de n éléments, et un domaine de recherche [0..100]

je veux remplir mon tableau de tel façon que la somme de tout les éléments soit egale à 200
et que les elements qui contienderont 0 soient successifs
donc si je met un 0 dans le tableau j'aurais tt le reste du tableau egal à 0 à partir du premier 0.
si je fait la sommation de tt les éléments du tableau qui précédent le premier 0 je trouve 200.

j'espere que j'etais clair enfin j'ai essayé :)

Merci de m'aiderrrrr

Merci d'avance

Première question : connais-tu Prolog. Si oui, interesse-toi à la librairie clpfd de SWI-Prolog.
Si tu veux des exemples d'utilisation de la librairie regarde sur ma page perso il y en a.

J'ai bricolé ce petit code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

:- use_module(library(clpfd)).   test(N, L2) :- Len in 2..N, label([Len]), length(L, Len), L ins 1..100, sum(L, #=, 200), label(L), R is N - Len, length(L1, R), maplist(=(0), L1), append(L, L1, L2).

---

Par exmple :

Citation:

---

?- test(5, L).
L = [100,100,0,0,0] ;
L = [1,99,100,0,0] ;
L = [1,100,99,0,0] ;
L = [2,98,100,0,0] ;
L = [2,99,99,0,0] ;
L = [2,100,98,0,0]
......

---

Merci beaucoup Trap D pour ta réponse

par contre, pour ce faire moi j'utilise un solveur de contraintes qui s'appelle Choco, et je uis bloquééééé mnt

Bonjour,

Je crois que vous devriez commencer par lire un cours d'initiation à la programmation par contraintes, car vous confondez contrainte et modèle.

Essayiez ensuite de trouver un modèle pour votre problème : un modèle est composé d'un ensemble de variables (chacune ayant un domaine fini) et d'un ensemble de contraintes (les relations logiques entre les variables).

Ensuite, vous pourrez le programmer en vous aidant de la documentation de choco qui devrait être largement suffisante pour poser un tel modèle.

Cordialement.

Bojour,

Vous n'avez pas compris ma question nono_31, essayer de la comprendre ou posez des questions,

Mon problème c'était le nombre inconnu de variables à définir, et c résolu mnt

merci

Bonjour,

Votre question n'était peut-être pas aussi claire que vous semblez le croire.