Re: [eclipse-clp-users] bb_min/3 question.

From: Joachim Schimpf (Independent Contractor) <jschimpf_at_...5...>
Date: Tue, 29 Apr 2008 11:52:55 +0100
Amine Marref wrote:
> Hello,
> 
> I use bb_min/3 in my problem in the following way:
>    time(bb_min(labeling(Vars), Cost, bb_options{to:60000,from:5000})),
> 
> hoping to constrain the branch-and-bound search between the bounds 5000 
> and 60000.
> The solution output by Eclipse is:
> 
> Found no solution with cost 5000.0 .. -1439.0
> 
> I can't explain this -1439,
> 
> Any help?

Apparently, -1439 is an upper bound of your cost, i.e. you can't
get any cost as bad as 5000.

Try running labeling(Vars) without branch-and-bound, and see what
Cost solutions you get!

Why are you specifying a from-value at all?

-- Joachim
Received on Tue Apr 29 2008 - 03:53:12 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST