[gecode-users] different nr of solutions with and without GIST

[Gustavo Gutierrez]

Hello,

I am experiencing almost the same problem. There is a difference in the
number of solutions when i run my problem instance with or without gist. The
difference with the case reported is that for me the number of solutions
reported by gist is really large compared to the number of solutions of the
command line search. In my case the search without gist reports the right
number of solutions.

As i am working with a new constraint system i think this is caused by some
bug in my implementation, but the question is: if it is a bug then both
search strategies should exhibit it, am i right?

Thanks in advance,
Gustavo

On Wed, Jan 7, 2009 at 3:00 PM, Christian Schulte <cschulte at kth.se> wrote:

> Hi Tias,
>
> what constraints are used (in particular anything you implemented
> yourself)?
> Does it happen if you switch off recomputation (passing -c-d 1 on the
> command line or setting c_d in the search options to 1)?
>
> Could you run it against 2.2.0?
>
> Otherwise, we would need your code to have a look.
>
> Cheers
> Christian
>
> --
> Christian Schulte, www.ict.kth.se/~cschulte/<http://www.ict.kth.se/%7Ecschulte/>
>
>
> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
> Of Tias Guns
> Sent: Wednesday, January 07, 2009 2:45 PM
> To: users at gecode.org
> Subject: [gecode-users] different nr of solutions with and without GIST
>
> Hello,
>
> I am running my code against the latest SVN version (r8036) and have the
> following bizar problem:
> I am looking for all solutions that adhere to a set of constraints. The
> search happens over one array of boolean decision variables, and all the
> constraints are put on different subsets of this array.
>
> For a certain input datadaset, running the model returns 500 results. If I
> run the same model using GIST (-mode gist), it returns 508 results ! After
> manual verification, there are 508 results that satisfy all the
> constraints. The 8 results that are missing form a complete branch in the
> GIST search tree.
>
> I can't create a small example to reproduce it, but it happens everytime
> on my model for that dataset... Do you have any idea how this is possible ?
>
>
> Greetings,
> Tias
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090109/2f97b3c2/attachment.htm>