View previous topic :: View next topic |
Author |
Message |
| enxio27
| Joined: 10 Feb 2007 | Posts: 12 | : | | Items |
|
Posted: Fri Jul 04, 2008 11:52 pm Post subject: 3 invalid 17-clue puzzles? |
|
|
According to Ruud's Sudocue, the following three puzzles from Gordon Royle's 17-clue list are invalid:
Code: | 064000003000021000000000000100050000000600200800300000000000645790000000000000030
090000054000068000010000000800504000203000000600000000000030680000000200000700000
080000094000057000010000000700406000203000000500000000000030570000000200000600000 |
This is with ALL solving methods turned on.
Are they in fact invalid, or is there a fault in the software? |
|
Back to top |
|
|
| Pete
| Joined: 09 Jun 2008 | Posts: 18 | : | Location: Somerset, NJ | Items |
|
Posted: Sat Jul 05, 2008 12:01 am Post subject: |
|
|
My program says that all 3 are valid. |
|
Back to top |
|
|
| enxio27
| Joined: 10 Feb 2007 | Posts: 12 | : | | Items |
|
Posted: Sat Jul 05, 2008 12:16 am Post subject: |
|
|
Pete wrote: | My program says that all 3 are valid. |
Hmmm. . . So do Sadman Sudoku and SudokuSolver. I wonder what the difficulty is with Sudocue? I'm very disappointed, because I've been relying heavily on Sudocue for rating and canonicalizing my puzzle collection. And knowing it will probably never be fixed is not a comforting thought.
Last edited by enxio27 on Sat Jul 05, 2008 1:42 pm; edited 1 time in total |
|
Back to top |
|
|
| Sisophon2001
| Joined: 05 Mar 2008 | Posts: 32 | : | Location: Cambodia | Items |
|
Posted: Sat Jul 05, 2008 11:21 am Post subject: |
|
|
The three puzzles have only locked candidates, and naked and hidden pairs. Nothing you would expect a bug in. But I see that enxio27 said
Quote: | According to Ruud's Sudocue, the following three puzzles from Gordon Royle's 17-clue list are invalid: |
and later enxio27 said
Quote: | Pete wrote:
My program says that all 3 are valid.
enxio27 wrote:
Hmmm. . . So do Sadman Sudocue and SudokuSolver. |
So does Sudocue show an error or was there a mistype in the second post? |
|
Back to top |
|
|
| enxio27
| Joined: 10 Feb 2007 | Posts: 12 | : | | Items |
|
Posted: Sat Jul 05, 2008 1:41 pm Post subject: |
|
|
Sisophon2001 wrote: | The three puzzles have only locked candidates, and naked and hidden pairs. Nothing you would expect a bug in. But I see that enxio27 said
Quote: | According to Ruud's Sudocue, the following three puzzles from Gordon Royle's 17-clue list are invalid: |
and later enxio27 said
Quote: | Pete wrote:
My program says that all 3 are valid.
enxio27 wrote:
Hmmm. . . So do Sadman Sudocue and SudokuSolver. |
So does Sudocue show an error or was there a mistype in the second post? |
Sorry--that should read Sadman Sudoku (from Simon Armstrong). I've fixed my previous post. Sudocue is Ruud van der Werf's program, and that's the one that's reporting the puzzles as invalid. Sadman Sudoku and SudokuSolver show them as valid. |
|
Back to top |
|
|
| hobiwan
| Joined: 11 Feb 2008 | Posts: 83 | : | | Items |
|
Posted: Sat Jul 05, 2008 3:14 pm Post subject: |
|
|
I get the same error from Sudocue version 3.1.0.1 27.08.2007. Looks like a bug.
Sisophon2001 wrote: | The three puzzles have only locked candidates, and naked and hidden pairs. Nothing you would expect a bug in. |
The error message appears when pasting so it's probably a bug with the brute force solver. The logical solver solves all three puzzles just fine. |
|
Back to top |
|
|
| wapati
| Joined: 12 Jun 2007 | Posts: 622 | : | Location: Canada | Items |
|
Posted: Sat Jul 05, 2008 7:54 pm Post subject: |
|
|
hobiwan wrote: | I get the same error from Sudocue version 3.1.0.1 27.08.2007. Looks like a bug.
Sisophon2001 wrote: | The three puzzles have only locked candidates, and naked and hidden pairs. Nothing you would expect a bug in. |
The error message appears when pasting so it's probably a bug with the brute force solver. The logical solver solves all three puzzles just fine. |
I don't have brute force turned on and get similar problems.
I tried entering the first puzzle by hand and it was no better.
I tried version 2.2 and it worked correctly.
|
|
Back to top |
|
|
| hobiwan
| Joined: 11 Feb 2008 | Posts: 83 | : | | Items |
|
Posted: Mon Jul 07, 2008 10:08 am Post subject: |
|
|
wapati wrote: | I don't have brute force turned on and get similar problems.
I tried entering the first puzzle by hand and it was no better.
I tried version 2.2 and it worked correctly.
|
I assume that SudoCue does a complete brute force solve at pasting or when switching from "setup" to "play"-mode to check whether the puzzle is valid or not. That's why I think the bug lies within the brute force solver. But I don't have any proof for this of course. |
|
Back to top |
|
|
|