I think I am making the definition of the space flawed somehow, because it seems strange that setting three letters only out of 105 would cause a failure after 158 milliseconds, without retrying ..... ________________________________ From: users-boun...@gecode.org <users-boun...@gecode.org> on behalf of Andrea Sacconi <andreasacc...@hotmail.co.uk> Sent: 23 September 2018 20:02 To: Christian Schulte; users@gecode.org Subject: Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells
I just tried again with the command you mentioned, unfortunately with already three constrained letters everything fails. Why failures 1?! This is not trying many times though ... I am perplexed. [cid:a2c91763-1b0d-421c-9808-be6f0947e583] Seems strange to me, because I have reduced the size of the grid to be 12x7, so smaller for testing purposes. I would expect with such a huge dictionary to be able to find a solution! Cheers, Andrea ________________________________ From: Christian Schulte <cschu...@kth.se> Sent: 23 September 2018 19:55 To: Andrea Sacconi; users@gecode.org Subject: RE: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells I wouldn’t know. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science Software and Computer Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology, Sweden From: Andrea Sacconi <andreasacc...@hotmail.co.uk> Sent: Sunday, September 23, 2018 8:53 PM To: Christian Schulte <cschu...@kth.se>; users@gecode.org Subject: Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Hi, I am using the example in the documentation, where the list of words is explicitly provided: const int n_words[] = { 1, 26, 66, 633, 2443, 4763, 7585, 10380, 10974 }; so hopefully a dictionary big enough. I will try to use the command suggested. Do you think that imposing 20 or 30 letter constraints like that is a problem? Cheers, Andrea ________________________________ From: Christian Schulte <cschu...@kth.se<mailto:cschu...@kth.se>> Sent: 23 September 2018 19:37 To: Andrea Sacconi; users@gecode.org<mailto:users@gecode.org> Subject: RE: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells This might depend on the dictionary you are using. Check whether it contains words with the corresponding letters. Note that you can give your own dictionary as a file, check examples/crossword.cpp that comes with Gecode. Anyway, I would not overwrite the variables but constraint them such as in rel(*this, ml(10,5) == ‘f’); and so on. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science Software and Computer Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology, Sweden From: users-boun...@gecode.org<mailto:users-boun...@gecode.org> <users-boun...@gecode.org<mailto:users-boun...@gecode.org>> On Behalf Of Andrea Sacconi Sent: Sunday, September 23, 2018 8:31 PM To: users@gecode.org<mailto:users@gecode.org> Subject: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells Hi all, I am having a look at the examples of crosswords in Gecode. I am doing this for a gift. So the satisfaction of getting it done would be even greater! I would like to add another set of constraints, not just black cells but also specific letters on the grid (which I would like to use to arrange a secret message that the receiver will read after having solved the crossword). I tried this (just an example): IntVar letter1(*this, 'f', 'f'); ml(10, 5) = letter1; IntVar letter2(*this, 'i', 'i'); ml(9, 4) = letter2; Running the example of Figure 22.2 of the documentation (Chapter 22) works fine if I impose only two constraints like the above, but everything already collapses if I try to set three letters. Do you think what I am thinking of is feasible? I mean, I would like to fix 20 or 30 letters on a 22x15 grid, but it seems that I am not even close to getting a solution. I am trying to read through the documentation but by scarcity of time I am not sure if I am trying the impossible or simply I have to tweak other parameters. Could you please help me? Cheers, Andrea
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
