[gecode-users] Problem for modeling

[Christian Schulte]

Please, this users list is really about Gecode in particular and not about
modeling with constraint programming in general.

 

Please respect that

Christian

 

--

Christian Schulte, www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Jean-Noël Monette
Sent: Thursday, April 11, 2013 11:04 AM
To: users at gecode.org
Subject: Re: [gecode-users] Problem for modeling

 

 

Hello,

I would model the relations between a car model and a conductor or passenger
using table constraints. For instance for Car1, you might have two tables:

car1 - COND1
0 - 0
0 - 1
0 - 5
1 - 0
1 - 5

and

car1 - OTHER1
0 - 0
0 - 1
1 - -1

where "-1" models the absence of another person. A table constraint states
that the values of the variables must be equal to one of the lines of the
table. In Gecode, the table constraint is called "extensional" (the version
with a TupleSet argument).

Finally for the all distinct, you can use the "distinct" constraint on {
COND1, OTHER1, COND2, OTHER2 }. Note that giving the value "-1" for the
absence of person is fine with the distinct constraint as it is now. If you
have several cars where the other person might be absent, you should give
them other numbers (-2, -3, ...) to make sure the distinct constraint does
not remove solutions.

Best,

JN



On 04/11/2013 10:44 AM, christine bouzant wrote:

Dear all,

I am wondering if you could you help me to make my model ?

I put in attachment a small document to explain what i would like to model.

Here are some explanations:

I would like to find 2 cars : Car1 and Car2.

The domain for Car1 is [0,1].

The car number 0 must have a conductor COND1 (people domain is [0,1,5]) and
an other person OTHER1 (people domain is [0,1]).

The car number 1 is not the same car model. It must have only the conductor
COND1 (for this car number, the people domain is [0, 5]).



The domain for Car2 is [2,3].
The car number 2 must have a conductor COND2 (people domain is [7, 8]) and
an other person OTHER2 (people domain is [6, 9]).
The car number 3 is not exactly the same car model. It must have the
conductor COND2 (for this car, the people domain is [7, 8, 12]) and the
person OTHER2 (domain is [6, 15]).

Moreother, i would like to have the constraint that each people chosen in
cars are distinct.

I have no idea how to model this since the car configuration (COND or/and
OTHER) and the people domain depends of the car number selection...

Many thanks for your help !

Cheers,
Christine

 












_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130411/0118c9b8/attachment.html>