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/06/16: ~ XY (BBDB)

 
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: 3855

PostPosted: Thu Jun 16, 2011 3:01 pm    Post subject: Puzzle 11/06/16: ~ XY (BBDB) Reply with quote

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

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



Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California

PostPosted: Thu Jun 16, 2011 3:58 pm    Post subject: Reply with quote

So rusty these days, but I think a "Marty DP" will do it.

Code:
 *--------------------------------------------------------------------*
 | 4      1      58     | 58     9      26     | 67     3      267    |
 | 3      6      25     |*27+5  *27+5   4      | 9      8      1      |
 | 29     89     7      | 1      268    3      | 5      24     246    |
 |----------------------+----------------------+----------------------|
 | 25     4      1      | 9      36     7      | 8      25     36     |
 | 2579   89     268    |*23+56 *23+56  1      | 4      257    23679  |
 | 2579   3     -26     | 256    4      8      | 67     1      2679   |
 |----------------------+----------------------+----------------------|
 | 6      7      3      | 4      1      5      | 2      9      8      |
 | 8      2      4      |*37    *37     9      | 1      6      5      |
 | 1      5      9      | 268    268    26     | 3      47     47     |
 *--------------------------------------------------------------------*


BUG-Lite (237)r258c45 =>r6c3<>2=6
||
(5)r2c45-(5=2)r2c3
||
(56)r5c45-(56=2)r6c4

(Forgot how to do the white-out thing/will work on that...)
Back to top
View user's profile Send private message
peterj



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

PostPosted: Thu Jun 16, 2011 5:01 pm    Post subject: Reply with quote

Luke, nice BUG!

A w-wing with an internal extension also does it - same elimination...
Quote:
w-wing(25) (2=5)r2c3 - r2c5=r5c5 - r5c8=r4c8 - (5=2)r4c1 ; r3c1<>2, r56c3<>2
Back to top
View user's profile Send private message
Luke451



Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California

PostPosted: Thu Jun 16, 2011 7:42 pm    Post subject: Reply with quote

peterj wrote:
Luke, nice BUG!

A w-wing with an internal extension also does it - same elimination...
Quote:
w-wing(25) (2=5)r2c3 - r2c5=r5c5 - r5c8=r4c8 - (5=2)r4c1 ; r3c1<>2, r56c3<>2


Claro que si: white-out with quote, not code.
Back to top
View user's profile Send private message
ronk



Joined: 07 May 2006
Posts: 397

PostPosted: Thu Jun 16, 2011 8:05 pm    Post subject: Reply with quote

Luke451 wrote:
BUG-Lite (237)r258c45 =>r6c3<>2=6
||
(5)r2c45-(5=2)r2c3
||
(56)r5c45-(56=2)r6c4

Here is a counter-example:
Code:

 .  .  .  | .  .  .  | .  .  .
 .  .  5  | 7  2  .  | .  .  .
 .  .  .  | .  .  .  | .  .  .
----------+----------+----------
 .  .  .  | .  .  .  | .  .  .
 .  .  .  | 2  5  .  | .  .  .
 .  .  2  | 6  .  .  | .  .  .
----------+----------+----------
 .  .  .  | .  .  .  | .  .  .
 .  .  .  | 3  7  .  | .  .  .
 .  .  .  | .  .  .  | .  .  .
Back to top
View user's profile Send private message
tlanglet



Joined: 17 Oct 2007
Posts: 2461
Location: Northern California Foothills

PostPosted: Thu Jun 16, 2011 9:55 pm    Post subject: Reply with quote

A standard type solution, not a fancy BUG-Lite......

Quote:
Flightless w-wing (25)r2c3|r4c1 with looooong link on (5).
(2=5)r2c3-r1c3=r1c4-r56c4=r5c5-r5c8=r4c8-(5=2)r4c1; r3c1,r45c3<>2

Ted
Back to top
View user's profile Send private message
Luke451



Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California

PostPosted: Thu Jun 16, 2011 10:23 pm    Post subject: Reply with quote

ronk wrote:
Luke451 wrote:
BUG-Lite (237)r258c45 =>r6c3<>2=6
||
(5)r2c45-(5=2)r2c3
||
(56)r5c45-(56=2)r6c4

Here is a counter-example:
Code:

 .  .  .  | .  .  .  | .  .  .
 .  .  5  | 7  2  .  | .  .  .
 .  .  .  | .  .  .  | .  .  .
----------+----------+----------
 .  .  .  | .  .  .  | .  .  .
 .  .  .  | 2  5  .  | .  .  .
 .  .  2  | 6  .  .  | .  .  .
----------+----------+----------
 .  .  .  | .  .  .  | .  .  .
 .  .  .  | 3  7  .  | .  .  .
 .  .  .  | .  .  .  | .  .  .

Ron, does the counter-example disprove the elimination? Please elaborate. I keep getting the same results even using different chains off the internal extras.

Let's see if I've got the white-out part right, at least Very Happy
Quote:
What is the statute of limitations on my "rusty" excuse??
Back to top
View user's profile Send private message
tlanglet



Joined: 17 Oct 2007
Posts: 2461
Location: Northern California Foothills

PostPosted: Thu Jun 16, 2011 10:36 pm    Post subject: Reply with quote

Luke451 wrote:


Let's see if I've got the white-out part right, at least Very Happy
Quote:
What is the statute of limitations on my "rusty" excuse??


One time in one post Laughing

Ted
Back to top
View user's profile Send private message
ronk



Joined: 07 May 2006
Posts: 397

PostPosted: Thu Jun 16, 2011 11:30 pm    Post subject: Reply with quote

Luke451 wrote:

ronk wrote:
Here is a counter-example:
Code:

 .  .  .  | .  .  .  | .  .  .
 .  .  5  | 7  2  .  | .  .  .
 .  .  .  | .  .  .  | .  .  .
----------+----------+----------
 .  .  .  | .  .  .  | .  .  .
 .  .  .  | 2  5  .  | .  .  .
 .  .  2  | 6  .  .  | .  .  .
----------+----------+----------
 .  .  .  | .  .  .  | .  .  .
 .  .  .  | 3  7  .  | .  .  .
 .  .  .  | .  .  .  | .  .  .

Ron, does the counter-example disprove the elimination? Please elaborate.

Yes, if the exclusion r6c3<>2 were valid, asserting r6c2=2 would lead to a an unavoidable set in r258c45. It doesn't.

The problem is in the last line of your AIC (AAIC?). Digits <56> in r5c45 are not necessarity true at the same time.
Back to top
View user's profile Send private message
Luke451



Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California

PostPosted: Fri Jun 17, 2011 6:04 am    Post subject: Reply with quote

Thanks, Ron, for your kind attention. Apparently I suffer from Andor's Syndrome, where one cannot differentiate between "and" and "or."

I see what's below as all "or." If not, it's OK, I'm still exercising my "rusty" waiver.

Code:
 *--------------------------------------------------------------------*
 | 4      1      58     | 58     9      26     | 67     3      267    |
 | 3      6      25     |*27+5  *27+5   4      | 9      8      1      |
 | 29     89     7      | 1      268    3      | 5      24     246    |
 |----------------------+----------------------+----------------------|
 | 25     4      1      | 9      36     7      | 8      25     36     |
 | 2579   89     268    |*23+56 *23+56  1      | 4      257    23679  |
 | 2579   3     -26     | 256    4      8      | 67     1      2679   |
 |----------------------+----------------------+----------------------|
 | 6      7      3      | 4      1      5      | 2      9      8      |
 | 8      2      4      |*37    *37     9      | 1      6      5      |
 | 1      5      9      | 268    268    26     | 3      47     47     |
 *--------------------------------------------------------------------*


BUG-Lite (237)r258c45 =>r6c3<>2=6
||
(5)r2c45-(5=2)r2c3
||
(5)r5c45-r5c8=(5-2)r4c8=(2)r4c1
||
(6)r5c45-r5c3=(6)r6c3
Back to top
View user's profile Send private message
ronk



Joined: 07 May 2006
Posts: 397

PostPosted: Fri Jun 17, 2011 7:46 pm    Post subject: Reply with quote

Luke451 wrote:
I see what's below as all "or." If not, it's OK, I'm still exercising my "rusty" waiver.

You've made a nice recovery (for the same exclusion no less), so no waiver required. Smile
Back to top
View user's profile Send private message
PIsaacson



Joined: 13 Jun 2011
Posts: 11
Location: Campbell, CA

PostPosted: Fri Jun 17, 2011 9:10 pm    Post subject: Reply with quote

Death Blossom or ALS chain length 3 or ALS XY-Wing:

DB stem cell r1c7 <67> : als 1) 6 - b2x345 <2567> als 2) 7 - r6c347 <2567> => r1c4 <> 5 -- sste

Cheers,
Paul
Back to top
View user's profile Send private message
ronk



Joined: 07 May 2006
Posts: 397

PostPosted: Fri Jun 17, 2011 10:50 pm    Post subject: Reply with quote

PIsaacson wrote:
Death Blossom or ALS chain length 3 or ALS XY-Wing:

DB stem cell r1c7 <67> : als 1) 6 - b2x345 <2567> als 2) 7 - r6c347 <2567> => r1c4 <> 5

Nothing personal, but with notation like that, I wouldn't have the nerve to call it an "ALS chain length 3" or an "ALS xy-wing." Sad
Back to top
View user's profile Send private message
PIsaacson



Joined: 13 Jun 2011
Posts: 11
Location: Campbell, CA

PostPosted: Sat Jun 18, 2011 1:24 am    Post subject: Reply with quote

Ron,

How about: (5=276)ALS:b2x345 - (6=7)r1c7 - (726=5)ALS:r6c347 => r1c4 <> 5

I'm not that versed on Eureka notation, so if I goofed, mea culpa. I used the Sudopedia as a guide for the ALS XY-Wing representation. So is there a standard on how to notatate DBs???

Cheers,
Paul
Back to top
View user's profile Send private message
Marty R.



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

PostPosted: Sat Jun 18, 2011 4:19 am    Post subject: Reply with quote

M-Wing (25), boxes 14, flightless with transport; r1c4<>5
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