choco-users Mailing List for choco

Le mercredi 04 mai 2005 =E0 22:21 +0200, Carlos Carreira a =E9crit :

Bonjour Carlos,

  Je suis pas d=E9veloppeur de Choco, mais je pense pouvoir te r=E9pondre
sur ce point.  Je fais confiance =E0 Hadrien ou Guillaume pour me
reprendre si je dis une boulette :)

>     - la PROPAGATION fonctionne-t-elle avec AC2001? toujours? que l'on=20
> ait affaire =E0 des contraintes binaires ou n-aires (n>2)?

Il n'y a pas a proprement parler de propagation "standard" dans Choco,
chaque contrainte =E0 un propagateur associ=E9 (qui est r=E9veill=E9 par =
des
=E9v=E8nements du type AwakeOnRem, AwakeOnInf...):
   - AC3BinTable est une contrainte binaire en extension dont le
propagateur impl=E9mente AC3.
   - AC3BinTable idem mais avec AC4
   - pb.feasTuple(IntVar[] vars, java.util.ArrayList tuples) est une
contrainte n-aire en extension dont le propagateur ne fait "que" FC=20

>     - la RESOLUTION se fait-elle avec BACKTRACKING en collaboration ave=
c=20
> AC2001, ou avec FORWARD CHECKING avec/sans AC2001? que l'on ait affaire=
=20
> =E0 des contraintes binaires ou n-aires (n>2)?

Si tu utilises un choco.Problem, l'exploration se fait dans l'ordre d'un
backtrack, mais avec les propagateurs des contraintes qui permetent=20
d'=E9lager des branches.
 Si tu  as un pb n'utilisant que des pb.feasTuple tu auras du FC,
que des AC3BinTable  ->  du AC3.

Il existe d'autre composantes "search" dans le projet, mais ton Pb
ne sera plus un choco.Problem, mais un choco.palm.JumpProblem par
ex...


>     - votre FORWARD CHECKING utilise-t-il une heuristique? est-ce MRV=20
> (Minimum/Maximum Remaining Values)?

Tu peux changer l'heuristique de choix de variables avec=20
pb.getSolver().setVarSelector() et de choix de valeur
avec pb.getSolver().setValIterator().

Le comportement par d=E9faut est "Min Dom / Max Degr=E9" pour
les vars et ordre lexical croissant pour les valeurs.

Voil=E0

PS: je crois que la langue "officielle" de la liste est l'anglais ;-)

--
R=E9mi COLETTA

Je vous ai d=E9j=E0 envoy=E9 un mail fin f=E9vrier, mais je me repr=E9sen=
te,

Je me nomme Carlos CARREIRA, je suis =E9tudiant en 2=E8me Licence=20
Informatique (d=E9rni=E8re ann=E9e) =E0 l'UCL (Universit=E9 Catholique de=
=20
Louvail-la-Neuve, Belgique).

Pour mon m=E9moire je dois impl=E9menter un algorithme de recherche de=20
chemins contraints dans des graphes -Path- en Java-Choco.


Mon algorithme est pratiquement fini et lorsque ce sera le cas et apr=E8s=
=20
mon m=E9moire, ce sera un r=E9el plaisir de vous l'envoyer afin, qui sait=
,=20
de l'int=E9grer =E0 une future version de Java-Choco.

OBJET DE MON MAIL:

Je dois rendre bient=F4t la partie th=E9orique de mon m=E9moire et, malgr=
=E9 mes=20
recherches sur internet, des questions importantes sur le fonctionnement=20
de Java-Choco subsistent:

    - la PROPAGATION fonctionne-t-elle avec AC2001? toujours? que l'on=20
ait affaire =E0 des contraintes binaires ou n-aires (n>2)?
    - la RESOLUTION se fait-elle avec BACKTRACKING en collaboration avec=20
AC2001, ou avec FORWARD CHECKING avec/sans AC2001? que l'on ait affaire=20
=E0 des contraintes binaires ou n-aires (n>2)?
    - votre FORWARD CHECKING utilise-t-il une heuristique? est-ce MRV=20
(Minimum/Maximum Remaining Values)?

J'ai pos=E9 des questions assez explicites qui t=E9moignent de mes=20
recherches sur le sujet, mais n'h=E9sitez pas =E0 vous =E9tendre sur le s=
ujet=20
dans votre r=E9ponse.

Un grand merci

Carlos CARREIRA