Re: [eclipse-users] bb_min problem

From: Kish Shen <kisshen_at_cisco.com>
Date: Wed, 01 Aug 2007 15:50:36 +0100
Hi Jakub,


The code you sent seems to be missing computeQuality/3 -- I assume your 
code actually spend most of its time there.

You also did not include which libraries you are using -- I assumed ic 
and branch_and_bound.

Replacing computeQuality/3 with a simple infinite loop as the goal after 
labeling/1:

foo :-
        foo.

I got time-outs running on Windows XP with ECLiPSe 5.10#57.

It would be helpful if you would give more information on 
computeQuality/3, which platform you ran your code on, and also which 
version of ECLiPSe you are using.

Also, the code you included is somewhat difficult to read as there was 
almost no layout.

Cheers,

Kish



Jakub Wojt wrote:
> Consider code below.
>
> goal(AllClasses, SelectedSlots, Result):-labeling(AllClasses), computeQuality('c:\a', SelectedSlots, Result).
> write_list([]):-flush(output).
> write_list([Head|Tail]):-write(output, Head),write(output, ' '),write_list(Tail).
> start(SelectedSlots, SelectedRooms):-
> SelectedSlots = [SS0,SS1,SS2,SS3],
> SelectedRooms = [SR0,SR1,SR2,SR3],
> AllClasses    = [SS0,SR0,SRS0,SS1,SR1,SRS1,SS2,SR2,SRS2,SS3,SR3,SRS3],
>  SS0 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
>  SR0 :: [0],
>  SS1 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
>  SR1 :: [0],
>  SS2 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
>  SR2 :: [0],
>  SS3 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34],
>  SR3 :: [0],
> [SRS0,SRS1,SRS2,SRS3] :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,16,19,18,21,20,23,22,25,24,27,26,29,28,31,30,34,35,32,33,38,39,36,37,42,43,40,41,46,47,44,45,51,50,49,48,55,54,53,52,59,58,57,56,63,62,61,60,68,69,64,65,66,67],
> alldifferent([SRS0,SRS1,SRS2,SRS3]),
> SRS0#=100*SR0+SS0,
> SRS1#=100*SR1+SS1,
> SRS2#=100*SR2+SS2,
> SRS3#=100*SR3+SS3,
> alldifferent([SS0,SS1,SS2,SS3]),
> alldifferent([SS2,SS3,SS0]),
> alldifferent([SS2,SS3,SS1]),
> bb_min(goal(AllClasses, SelectedSlots, Result), Result, bb_options with [timeout:10]).
> :-start(SelectedSlots, SelectedRooms), write_list(SelectedSlots), write_list(SelectedRooms), flush(output).
>
> My question is: why bb_min is totaly insensible to timeout parametr. To any timeout value bb_min performs whole search. 
> Any sugestions ?
>
> _______________________________________________
> ECLiPSe-Users mailing list
> ECLiPSe-Users_at_crosscoreop.com
> http://www.crosscoreop.com/mailman/options/eclipse-users
>   
Received on Wed Aug 01 2007 - 15:59:20 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET