[gecode-users] algorithm used in sequence constraint

Kish Shen kisshen at cisco.com
Wed Aug 18 14:31:38 CEST 2010


David Rijsman wrote:
> Hi Kish,
> 
> I implemented the algorithm and it is the simple reason you mention. Perhaps we can port the Eclipse version into Gecode?
> 
> David

Hi David,

I should say first that I am not very familiar with the implementation 
of sequence done by Helmut.

It probably doesn't make too much sense to port the ECLiPSe code -- it 
is written entirely in ECLiPSe (i.e. basically Prolog), and the code has 
to work round the restriction of no multiple edges between two nodes in 
the maximum flow code used.

However, I suspect a lot of the infra-structure needed is already in 
gecode -- I assume there is already some implementation of the maximum 
flow algorithm, needed for implementing other constraints, such as 
global cardinality.

Cheers,

Kish

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.



More information about the users mailing list