choco-users Mailing List for choco

Bonjour =E0 tous,

Effectivement, ce probl=E8me sur les limites est corrig=E9 sur la =
version CVS.=20

Les limites n'=E9taient v=E9rifi=E9es qu'=E0 l'ouverture d'un nouveau =
noeud. En atteignant une limite, le solveur
=E9tait oblig=E9 de backtracker jusqu'en haut de l'arbre en "fermant" =
chaque noeud un =E0 un ce qui peut
=EAtre tr=E8s long avec une propagation co=FBteuse et un arbre tr=E8s =
profond.


Hadrien

  ----- Original Message -----=20
  From: Emilien Gorisse=20
  To: cho...@li...=20
  Sent: Tuesday, July 25, 2006 1:19 PM
  Subject: [Choco-users] une latence chez choco ?


  bonjour,=20

  =E9tudiant en deuxi=E8me ann=E9e d'=E9cole d'ing=E9nieur en =
informatique
  =E0 l'ENSIIE (ex IIE), j'utilise actuellement choco pour des
  probl=E8mes d'aide =E0 la d=E9cision multicrit=E8re.

  je manipule donc un grand nombre de variables (souvent
  plusieur milliers, voire plusieurs dizaines de milliers), avec
  autant de contraintes, et j'ai remarqu=E9 une certaine "latence"
  de choco. je m'explique.

  le solver trouve un certain nombre de solutions, jusqu'au
  "timeLimit" (jusque l=E0, aucun souci !). Mais l=E0, quand il y a =
beaucoup de variables, il
  donne l'impression de s'arr=EAter, et d'"attendre", sans
  chercher, et apparemment, sans rien faire.
  Cette latence peut parfois, quand le jeu de donn=E9es est tr=E8s
  grand (et avec beaucoup de contrainte, m'a-t-il sembl=E9), durer
  jusqu'=E0 une heure, voire plus !
  Avez-vous d=E9j=E0 identifi=E9 ce ph=E9nom=E8ne, et, si oui, =
savez-vous
  =E0 quoi il est d=FB et comment le contourner (si cela est possible) ?

  Je vous remercie pour l'int=E9r=EAt que vous portez =E0 ma requ=EAte.

  cordialement,

  Emilien Gorisse < choco fan >


-------------------------------------------------------------------------=
-----


  =
-------------------------------------------------------------------------=

  Take Surveys. Earn Cash. Influence the Future of IT
  Join SourceForge.net's Techsay panel and you'll get the chance to =
share your
  opinions on IT & business topics through brief surveys -- and earn =
cash
  =
http://www.techsay.com/default.php?page=3Djoin.php&p=3Dsourceforge&CID=3D=
DEVDEV


-------------------------------------------------------------------------=
-----


  _______________________________________________
  Choco-users mailing list
  Cho...@li...
  https://lists.sourceforge.net/lists/listinfo/choco-users

bonjour,=20

=E9tudiant en deuxi=E8me ann=E9e d'=E9cole d'ing=E9nieur en informatique
=E0 l'ENSIIE (ex IIE), j'utilise actuellement choco pour des
probl=E8mes d'aide =E0 la d=E9cision multicrit=E8re.

je manipule donc un grand nombre de variables (souvent
plusieur milliers, voire plusieurs dizaines de milliers), avec
autant de contraintes, et j'ai remarqu=E9 une certaine "latence"
de choco. je m'explique.

le solver trouve un certain nombre de solutions, jusqu'au
"timeLimit" (jusque l=E0, aucun souci !). Mais l=E0, quand il y a =
beaucoup de variables, il
donne l'impression de s'arr=EAter, et d'"attendre", sans
chercher, et apparemment, sans rien faire.
Cette latence peut parfois, quand le jeu de donn=E9es est tr=E8s
grand (et avec beaucoup de contrainte, m'a-t-il sembl=E9), durer
jusqu'=E0 une heure, voire plus !
Avez-vous d=E9j=E0 identifi=E9 ce ph=E9nom=E8ne, et, si oui, savez-vous
=E0 quoi il est d=FB et comment le contourner (si cela est possible) ?

Je vous remercie pour l'int=E9r=EAt que vous portez =E0 ma requ=EAte.

cordialement,

Emilien Gorisse < choco fan >