Sudoku Programmers Forum Index

 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister   ProfileProfile   Log inLog in          Games  Calendar

Log in to check your private messagesLog in to check your private messages   

3 invalid 17-clue puzzles?

 
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Programming sudoku
View previous topic :: View next topic  
Author Message
enxio27

Joined: 10 Feb 2007
Posts: 12
:

Items
PostPosted: Fri Jul 04, 2008 11:52 pm    Post subject: 3 invalid 17-clue puzzles? Reply with quote

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
View user's profile Send private message
Pete

Joined: 09 Jun 2008
Posts: 18
:
Location: Somerset, NJ

Items
PostPosted: Sat Jul 05, 2008 12:01 am    Post subject: Reply with quote

My program says that all 3 are valid.
Back to top
View user's profile Send private message AIM Address
enxio27

Joined: 10 Feb 2007
Posts: 12
:

Items
PostPosted: Sat Jul 05, 2008 12:16 am    Post subject: Reply with quote

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? Sad 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
View user's profile Send private message
Sisophon2001

Joined: 05 Mar 2008
Posts: 32
:
Location: Cambodia

Items
PostPosted: Sat Jul 05, 2008 11:21 am    Post subject: Reply with quote

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
View user's profile Send private message Send e-mail Visit poster's website
enxio27

Joined: 10 Feb 2007
Posts: 12
:

Items
PostPosted: Sat Jul 05, 2008 1:41 pm    Post subject: Reply with quote

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
View user's profile Send private message
hobiwan

Joined: 11 Feb 2008
Posts: 83
:

Items
PostPosted: Sat Jul 05, 2008 3:14 pm    Post subject: Reply with quote

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
View user's profile Send private message
wapati

Joined: 12 Jun 2007
Posts: 622
:
Location: Canada

Items
PostPosted: Sat Jul 05, 2008 7:54 pm    Post subject: Reply with quote

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.

Question
Back to top
View user's profile Send private message
hobiwan

Joined: 11 Feb 2008
Posts: 83
:

Items
PostPosted: Mon Jul 07, 2008 10:08 am    Post subject: Reply with quote

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.

Question

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
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Programming sudoku All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
Sudoku Programmers topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group

Igloo Theme Version 1.0 :: Created By: Andrew Charron