Re: [gecode-users] Branching functions

2009-03-16 Thread Mikael Zayenz Lagerkvist
On Mon, Mar 16, 2009 at 8:50 AM, Malcolm Ryan wrote: > Is there any guarantee on the order of calls to the functions status, > description and commit on a Branching? > > In particular, I want to know whether I rely on status always being > called before description so that I can cache the results

[gecode-users] Branching functions

2009-03-16 Thread Malcolm Ryan
Is there any guarantee on the order of calls to the functions status, description and commit on a Branching? In particular, I want to know whether I rely on status always being called before description so that I can cache the results of the status computation and avoid having to re-determin

Re: [gecode-users] Branching and FlatZincGecode

2009-01-27 Thread Morten Boysen
Hi Guido Thank you very much for the reply. I do have some follow-up questions: >> 3) I want to make a branching that follows the standard "fail-first" >> heuristic, that is, choose the value with the smallest domain possible >> and then use a special value heuristic. As I understand I need to >>

Re: [gecode-users] Branching and FlatZincGecode

2009-01-27 Thread Guido Tack
Morten Boysen wrote: > I am trying to add new propagators to the FlatZincGecode space, and I > have some question regarding this: > > 1) What is the defualt variable order for the FlatZincGecode space? First branch over the IntVars with VAR_NONE, VAL_MIN, then over the BoolVars with NONE, VAL_MI

[gecode-users] Branching and FlatZincGecode

2009-01-26 Thread Morten Boysen
Hi, I am trying to add new propagators to the FlatZincGecode space, and I have some question regarding this: 1) What is the defualt variable order for the FlatZincGecode space? 2) If I want to add my own branching heuristic, I believe I need to remove the branchings posted to the FlatZincGecod

Re: [gecode-users] Branching question

2008-04-10 Thread Guido Tack
Dhananjay Thiruvady wrote: > I want to know how I could use branch with minimization of an > objective function? If you mean branch and bound, have a look at one of our examples, like golomb-ruler. You typically constrain one variable to be the result of the objective function, and then use

Re: [gecode-users] Branching question

2008-04-10 Thread Christian Schulte
To: [EMAIL PROTECTED] Subject: [gecode-users] Branching question Hi, I want to know how I could use branch with minimization of an objective function? Thanks, Dhananjay ___ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman

[gecode-users] Branching question

2008-04-10 Thread Dhananjay Thiruvady
Hi, I want to know how I could use branch with minimization of an objective function? Thanks, Dhananjay ___ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users

Re: [gecode-users] branching priority

2007-09-06 Thread Guido Tack
Debdeep Banerjee wrote: > I need to assign the variables in a particular order. I have three > disjoint set of variable, say, S1, S2, S3. I need to tell the solver > that first assign the variables from S1, then S2 and then S3. How > can i > do it in Gecode/J ? > What I did was using three differ

[gecode-users] branching priority

2007-09-06 Thread Debdeep Banerjee
hi, I need to assign the variables in a particular order. I have three disjoint set of variable, say, S1, S2, S3. I need to tell the solver that first assign the variables from S1, then S2 and then S3. How can i do it in Gecode/J ? What I did was using three different branching statements bran

[gecode-users] branching

2007-03-05 Thread penche21 penche21
Hi! I would like to create my own branching. It should assign values to the Var's in the order i choose. I was always using branch(..size_max, split_min) and now I can not figure out how to code a different branching. if anyone have an example on it, this would be perfect to grasp the way to i

Re: [gecode-users] Branching subclass

2007-01-11 Thread Guido Tack
Hi. It would be very helpful to have a most trivial example - maybe a re-implementation of one of the ViewValBranchings? :) I would be grateful for any additional pointers. Should I look into Gecode/J maybe to find further examples? You could have a look at the file QueensJavaPropagator.java h

[gecode-users] Branching subclass

2007-01-11 Thread Kilian Sprotte
Hi, I am currently trying to work out how to create a custom branching. The examples I am looking at are BlackHoleBranch and QueenBranch. I was wondering, if anyone else has already written custom branchings I could possibly study as additional examples. It would be very helpful to have a most

Re: [gecode-users] branching...

2006-12-21 Thread Kilian Sprotte
Hello Martin, thank you very much !! It was exactly the information, I needed. (-: I am amusing myself of selecting the Var like ByNone, but in reverse order... There are more open questions of course, but for now merry christmas, Kilian ___ Ge

Re: [gecode-users] branching...

2006-12-21 Thread Martin Mann
Hi Kilian, inserting a branching directly into a space is very easy and doesnt need the wrapper function "branch". you can do it like that in the constructor of your space: e.g. for the integer variables // init the variable array with your vars to branch on // e.g. (22 vars with vals 0..9):

RE: [gecode-users] branching...

2006-12-21 Thread Christian Schulte
Kilian Sprotte Sent: Thursday, December 21, 2006 1:43 PM To: [EMAIL PROTECTED] Subject: [gecode-users] branching... Hi, thinking about how to make gecol at least a little more flexible, I have some general little questions. :) As gecol does not allow for subclassing Space (the SWIG CFFI wrapper

[gecode-users] branching...

2006-12-21 Thread Kilian Sprotte
Hi, thinking about how to make gecol at least a little more flexible, I have some general little questions. :) As gecol does not allow for subclassing Space (the SWIG CFFI wrapper creation is not really ready yet for c++), I am using the following hard-wired problem space: class GecolSpace : pu