| View previous topic :: View next topic |
| Author |
Message |
daj95376
Joined: 23 Aug 2008
Posts: 3854
|
 Posted: Thu Jun 16, 2011 3:01 pm Post subject: Puzzle 11/06/16: ~ XY (BBDB) |
 |
|
| 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 |
|
 |
Luke451
Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California
|
| Posted: Thu Jun 16, 2011 3:58 pm Post subject: |
|
|
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 |
|
|
peterj
Joined: 26 Mar 2010
Posts: 974
Location: London, UK
|
| Posted: Thu Jun 16, 2011 5:01 pm Post subject: |
|
|
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 |
|
|
Luke451
Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California
|
| Posted: Thu Jun 16, 2011 7:42 pm Post subject: |
|
|
| 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 |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Thu Jun 16, 2011 8:05 pm Post subject: |
|
|
| 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 |
|
|
tlanglet
Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills
|
| Posted: Thu Jun 16, 2011 9:55 pm Post subject: |
|
|
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 |
|
|
Luke451
Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California
|
| Posted: Thu Jun 16, 2011 10:23 pm Post subject: |
|
|
| 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 
| Quote: | | What is the statute of limitations on my "rusty" excuse?? |
|
|
| Back to top |
|
|
tlanglet
Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills
|
| Posted: Thu Jun 16, 2011 10:36 pm Post subject: |
|
|
| Luke451 wrote: |
Let's see if I've got the white-out part right, at least
| Quote: | | What is the statute of limitations on my "rusty" excuse?? |
|
One time in one post 
Ted |
|
| Back to top |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Thu Jun 16, 2011 11:30 pm Post subject: |
|
|
| 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 |
|
|
Luke451
Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California
|
| Posted: Fri Jun 17, 2011 6:04 am Post subject: |
|
|
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 |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Fri Jun 17, 2011 7:46 pm Post subject: |
|
|
| 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.  |
|
| Back to top |
|
|
PIsaacson
Joined: 13 Jun 2011
Posts: 11
Location: Campbell, CA
|
| Posted: Fri Jun 17, 2011 9:10 pm Post subject: |
|
|
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 |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Fri Jun 17, 2011 10:50 pm Post subject: |
|
|
| 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."  |
|
| Back to top |
|
|
PIsaacson
Joined: 13 Jun 2011
Posts: 11
Location: Campbell, CA
|
| Posted: Sat Jun 18, 2011 1:24 am Post subject: |
|
|
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 |
|
|
Marty R.
Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA
|
| Posted: Sat Jun 18, 2011 4:19 am Post subject: |
|
|
| M-Wing (25), boxes 14, flightless with transport; r1c4<>5 |
|
| Back to top |
|
|
|
FAQ
Search
Memberlist
Usergroups
Register
Profile
Log in to check your private messages
Log in
