dailysudoku.com Forum Index dailysudoku.com
Discussion of Daily Sudoku puzzles
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Puzzle 11/02/14

 
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Puzzles by daj
View previous topic :: View next topic  
Author Message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Tue Feb 15, 2011 3:57 am    Post subject: Puzzle 11/02/14 Reply with quote

Code:
 +-----------------------+
 | 7 3 . | . 6 4 | . . . |
 | 6 4 . | 5 2 . | . . . |
 | . . . | . . 7 | . 5 . |
 |-------+-------+-------|
 | . 7 . | 3 . . | . . . |
 | 5 8 . | . 1 2 | 3 6 . |
 | 2 . 3 | . 8 6 | . 7 . |
 |-------+-------+-------|
 | . . . | . 4 . | 5 2 . |
 | . . 2 | . 7 3 | 6 1 . |
 | . . . | . . . | . . 7 |
 +-----------------------+

Play this puzzle online at the Daily Sudoku site
Back to top
View user's profile Send private message
peterj



Joined: 26 Mar 2010
Posts: 974
Location: London, UK

PostPosted: Wed Feb 16, 2011 10:52 pm    Post subject: Reply with quote

The tubot opened it up and looked like a BUG might crack it - but no BUG there?
Code:
skyscraper(4) c3, c8 ; r4c1<>4, r5c9<>4
m-wing-like(18) ; (83=1)r72c9 - r1c9=(1-8)r1c4=r8c4 ; r7c6<>8, r8c9<>8
Back to top
View user's profile Send private message
daj95376



Joined: 23 Aug 2008
Posts: 3854

PostPosted: Thu Feb 17, 2011 12:28 am    Post subject: Reply with quote

What the ~!#$%^&*

I just found something that I don't recall seeing previously.

My solver found Peter's M-Wing, but I thought it was simply because my solver doesn't know how to perform a BUG+2. After reading Peter's comment, I decided to examine the puzzle closer. Here's what I noticed:

Code:
 point of Peter's M-Wing
 +-----------------------------------------------------+
 |  7    3    5    |  189  6    4    |  28   89   12   |
 |  6    4    19   |  5    2    89   |  7    389  13   |
 |  8    2    19   |  19   3    7    |  4    5    6    |
 |-----------------+-----------------+-----------------|
 |  1    7    6    |  3    9    5    |  28   48   24   |
 |  5    8    4    |  7    1    2    |  3    6    9    |
 |  2    9    3    |  4    8    6    |  1    7    5    |
 |-----------------+-----------------+-----------------|
 |  39   1    7    |  6    4    89   |  5    2    38   |
 |  49   5    2    |  89   7    3    |  6    1    48   |
 |  34   6    8    |  2    5    1    |  9    34   7    |
 +-----------------------------------------------------+
 # 23 eliminations remain

Code:
*) 3x   8s in [r1], [c8], and [b3]
*) 3x   9s in [r2], [c4], and [b2]

Now, place r1c8=9 and you get:

Code:
*) 2x   8s in [r1], [c8], and [b3]
*) 2x   9s in [r2], [c4], and [b2]

Everything now looks like a BUG pattern, but the result is zero solutions instead of a multiple of 2x solutions.

If you think about it, zero is a multiple of two. Maybe there is a BUG scenario present after all.
Back to top
View user's profile Send private message
Marty R.



Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA

PostPosted: Thu Feb 17, 2011 5:44 am    Post subject: Reply with quote

I used my typical excess moves.

Type 1 UR (59)
XY-Wing (891), flightless with transport
Skyscraper (4)
Type 4 UR (28)
XY-Wing (348), flightless with transport
Back to top
View user's profile Send private message
peterj



Joined: 26 Mar 2010
Posts: 974
Location: London, UK

PostPosted: Thu Feb 17, 2011 8:37 am    Post subject: Reply with quote

daj95376 wrote:
What the ~!#$%^&*
Now, place r1c8=9 and you get:

Weird!
So there is a zero-solution BUG that is prevented by placing a value in a bivalue cell r1c8<>9=8?
As you say putting a 9 in there seems to create a BUG so it has to be an 8.
Perhaps there is one of these oddagon/brokenwing type illegal patterns in here somewhere?
Back to top
View user's profile Send private message
ronk



Joined: 07 May 2006
Posts: 398

PostPosted: Thu Feb 17, 2011 11:23 am    Post subject: Reply with quote

The no-solution possibility was included in the ancient (2005/2006) BUG theorem.

here Jeff wrote:
Theorem:

BUG grids can have either zero or more than one solution, and so are incompatible with a unique solution puzzle.
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Puzzles by daj 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


Powered by phpBB © 2001, 2005 phpBB Group