Re: [eclipse-clp-users] Correct use of minimize to find a globally minimal solution

  Right now I'm getting the behaviour shown below. Instead I would like
to just get the solution [1, 3] which has the minimal cost 0. Right now
it is returned as solution 5.
  Let me know if some details of the problem are unclear.

Misha

[eclipse 2]: find(Allocation).
Found no solution with cost 0.0 .. 0.0
Found no solution with cost 1.0 .. 1.0
Found no solution with cost 0.0 .. 0.0
Found no solution with cost 0.0 .. 0.0
Found no solution with cost 1.0 .. 1.0
Found a solution with cost 2

Allocation = [0, 2]
Yes (0.00s cpu, solution 1, maybe more) ? ;
Found a solution with cost 2

Allocation = [0, 3]
Yes (0.00s cpu, solution 2, maybe more) ? ;
Found a solution with cost 0

Allocation = [1, 0]
Yes (0.00s cpu, solution 3, maybe more) ? ;
Found a solution with cost 1

Allocation = [1, 2]
Yes (0.00s cpu, solution 4, maybe more) ? ;
Found a solution with cost 1

Allocation = [1, 3]
Yes (0.00s cpu, solution 5, maybe more) ? ;
Found a solution with cost 0

Allocation = [2, 0]
Yes (0.00s cpu, solution 6, maybe more) ? ;
Found no solution with cost 1.0 .. 1.0
Found a solution with cost 1

Allocation = [2, 3]
Yes (0.00s cpu, solution 7, maybe more) ? ;
<hangs>

On 02/27/2013 07:40 PM, Sergii Dymchenko wrote:
> Hi,
> 
> Can you describe the problem in plain English?
> And what query do you run to get your answer?
> 
> Sergii.
> 
> On Wed, Feb 27, 2013 at 10:30 AM, Misha Aizatulin <tari3x_at_...6...> wrote:
>> hi all,
>>
>>   I'm having trouble understanding how to use minimize(). Attached is a
>> simple example that tries to find an allocation of dance lessons to
>> dance couples (satisfying requests), and then choose the one with the
>> minimal cost. Unfortunately, minimize() does not find the globally
>> minimal solution. What is the correct way to use that?
>>
>> Best,
>>   Misha
>>
>>
>> ------------------------------------------------------------------------------
>> Everyone hates slow websites. So do we.
>> Make your web apps faster with AppDynamics
>> Download AppDynamics Lite for free today:
>> http://p.sf.net/sfu/appdyn_d2d_feb
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECLiPSe-CLP-Users_at_lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>>
>