Hi to everyone on the ML,
i'm new to gecode and have already a kind of bug problem .
My Search will not Terminate within days. I have several SetVarArrays,
BoolArrays and so on on my Space.
The Solutions they are found are valid for me, but the search is simply
to slow (and sometimes to memory exhaustive).
I used already gist for introspection, my problem is that i first branch
on a BoolVarArrays which reduces the search space quite well until a
spefici point. At this point i would like to keep Post prune the
BoolVarArray and Continue branching on a SetVarArray. This wold faster
reduce my search space than continue the branching on the Bool one.
My question therefore is: is there a way to select dynamically the
branching set?. I found on the documentation that it is possible to
select a variable INSIDE a structure for branching. But that i need is a
dynamic selection of the Set/Array where the branching should be done.
Is this possible in gecode. Or (@dev's) is the extension possible?
Best,
Matthias
(P.S. Since i do open-source development i could provide my application
if this helps the understanding.)
--
Dipl.-Inf. Matthias Goldhoorn
Space and Underwater Robotic
Universität Bremen
FB 3 - Mathematik und Informatik
AG Robotik
Robert-Hooke-Straße 5
28359 Bremen, Germany
Tel.: +49 421 178 45-4193
Zentrale: +49 421 178 45-6550
Fax: +49 421 178 45-4150
E-Mail: matthias.goldho...@uni-bremen.de
Weitere Informationen: http://www.informatik.uni-bremen.de/robotik
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
