That is in fact listed in the Modeling part of "Modeling and Programming with Gecode".
Best Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [email protected] [mailto:[email protected]] On Behalf Of Claudio Cesar de Sá Sent: Wednesday, May 05, 2010 12:29 PM To: [email protected] Subject: [gecode-users] Arc consistency, value and variable ordering Christian: The search or exploration is DFS or BAB, OK, but I writing on the order of variables and their values considered, defined by the brancher....dynamically as Guido answered me, but following some criteria defined by brancher options. I am just trying to know what are their meaning one by one. Thanks cc 2010/5/5 Christian Schulte <[email protected]> Sorry, your question does not make sense. Arc consistency has nothing to do with search order. Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ <http://www.ict.kth.se/%7Ecschulte/> From: [email protected] [mailto:[email protected]] On Behalf Of Claudio Cesar de Sá Sent: Wednesday, May 05, 2010 11:05 AM To: [email protected] Subject: [gecode-users] Arc consistency, value and variable ordering Hi, In arc consistency algorithms, such the AC3 and its derivatives, you need do two choices: 1: Which is order of these variables are to be considered? 2. Which is the order of their values are assigned to the variable? These two parameters are in branch method, section 9.1., figure 9.1 ... I am with some doubts on their meanings, such: [INT\_VAR\_REGRET\_MIN\_MIN:] With smallest min-regret. The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain. For example: considering variables X and Y ... Dom(X)={2, 5, 8, 11} and Dom(Y)={1, 6, 18, 20} .... X should be chosen once |2 - 5| has a small regret ... comparing with |1 - 6| of Y ? Other question, the parameter INT\_VAR\_SIZE\_AFC\_MIN, should the well-known as first-fail? Or INT\_VAR\_NONE, first unassigned, should be the first variable found in the list of pair (variable, constraint) considered in arcs consistency algorithms? Where can I find details of these parameters accept by the Gecode? In int.hh are their specification -- claudio ( )) |""|-. |__|-' ********************************************************************** Skype: claudio_cesar_sa Links: http://laic.u-clermont1.fr/ http://www.colmeia.udesc.br/ http://www2.joinville.udesc.br/~coca/ <http://www2.joinville.udesc.br/%7Ecoca/> http://www2.joinville.udesc.br/~esp7maratona/ <http://www2.joinville.udesc.br/%7Eesp7maratona/> Blog: http://claudiocesar.wordpress.com/ *********************************************************************** -- claudio ( )) |""|-. |__|-' ********************************************************************** Skype: claudio_cesar_sa Links: http://laic.u-clermont1.fr/ http://www.colmeia.udesc.br/ http://www2.joinville.udesc.br/~coca/ <http://www2.joinville.udesc.br/%7Ecoca/> http://www2.joinville.udesc.br/~esp7maratona/ <http://www2.joinville.udesc.br/%7Eesp7maratona/> Blog: http://claudiocesar.wordpress.com/ *********************************************************************** -- claudio ( )) |""|-. |__|-' ********************************************************************** Skype: claudio_cesar_sa Links: http://laic.u-clermont1.fr/ http://www.colmeia.udesc.br/ http://www2.joinville.udesc.br/~coca/ http://www2.joinville.udesc.br/~esp7maratona/ Blog: http://claudiocesar.wordpress.com/ ***********************************************************************
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
