| View previous topic :: View next topic |
| Author |
Message |
daj95376
Joined: 23 Aug 2008
Posts: 3854
|
 Posted: Thu May 20, 2010 5:01 am Post subject: Puzzle 10/05/20: (B) XY |
 |
|
| hint wrote: | As an alternative to an XY-Chain, my solver found 2x M-Wings -- one was superior to the other.
|
| Code: | +-----------------------+
| . 5 2 | . . 6 | . 1 3 |
| 7 . . | 9 3 . | 2 6 . |
| 3 . . | . 4 . | . 9 . |
|-------+-------+-------|
| . 3 . | . . . | . . . |
| . 6 9 | . 7 . | . . . |
| 2 . . | . . 9 | 6 . . |
|-------+-------+-------|
| . 9 . | . . 4 | 3 . . |
| 5 8 3 | . . . | . . 9 |
| 4 . . | . . . | . 7 . |
+-----------------------+
|
Play this puzzle online at the Daily Sudoku site |
|
| Back to top |
|
 |
wapati
Joined: 10 Jun 2008
Posts: 472
Location: Brampton, Ontario, Canada.
|
| Posted: Thu May 20, 2010 5:23 am Post subject: |
|
|
| This is a VERY good one. No big fish, but the CHUM !!! |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Thu May 20, 2010 6:49 am Post subject: |
|
|
| Quote: | A little discontinuous loop shows r4c1 must be 1 and solves the puzzle:
(1=8)r4c1-(8=1)r5c1-(1=4)r5c9-r5c4=(4-1)=(1)r4c1 ; Contradiction so r4c1 <> 8 |
Last edited by Mogulmeister on Fri May 21, 2010 9:33 pm; edited 1 time in total |
|
| Back to top |
|
|
tlanglet
Joined: 17 Oct 2007
Posts: 2468
Location: Northern California Foothills
|
| Posted: Fri May 21, 2010 1:39 pm Post subject: |
|
|
Several steps............
Type 1 UR26 in r48c45; r4c4<>26
x-wing 8 in r67c48; r459c4, r45c8<>8
ANP(25=8)r34c6 - (8=3)r6c4 - (3=5)r9c4# - r7c5 = (5)r6c5; #r9c6<>5 & r5c6<>5,
ANP(25=8)r4c68 - (8=3)r6c4 - (3=5)r9c4; r4c4<>5
xy-wing 14-5 with vertex 14 in r4c4; r6c3<>5
Ted |
|
| Back to top |
|
|
Marty R.
Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA
|
| Posted: Fri May 21, 2010 4:39 pm Post subject: |
|
|
| It was a long slog, a BBDB. |
|
| Back to top |
|
|
Luke451
Joined: 20 Apr 2008
Posts: 310
Location: Southern Northern California
|
| Posted: Sat May 22, 2010 6:13 am Post subject: |
|
|
| Mogulmeister wrote: | | Quote: | A little discontinuous loop shows r4c1 must be 1 and solves the puzzle:
(1=8)r4c1-(8=1)r5c1-(1=4)r5c9-r5c4=(4-1)=(1)r4c1 ; Contradiction so r4c1 <> 8 |
|
That's clean, MM. Coulda trimmed the start, but no biggie.
Mainly, nice to see "discontinuous loop" rather than...well, something else, if you catch my drift. |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Sat May 22, 2010 6:53 am Post subject: |
|
|
Ah Mullah Luke....
I see you may not have been reading your scriptures closely enough. We must not blaspheme the baphomet. Heretofore*, the baphomet has been single candidate only! 
*hitherto |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Sat May 22, 2010 7:04 am Post subject: |
|
|
| The lack of the trim was to highlight the contradiction by beginning and ending at the same cell. |
|
| Back to top |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Sat May 22, 2010 1:47 pm Post subject: |
|
|
| Mogulmeister wrote: | | The lack of the trim was to highlight the contradiction by beginning and ending at the same cell. |
Nice find, but the AIC (1)r4c1 = ... = (1)r4c1 doesn't express a contradiction. |
|
| Back to top |
|
|
daj95376
Joined: 23 Aug 2008
Posts: 3854
|
| Posted: Sat May 22, 2010 1:56 pm Post subject: |
|
|
| ronk wrote: | | But the AIC (1)r4c1 = ... = (1)r4c1 doesn't express a contradiction. |
Hmmmm! Boy is my math rusty. I thought that assuming something was false ... and then showing that it must be true ... represented a contradiction on the original assumption. Similarly for a true assumption and a false conclusion. What is it called? |
|
| Back to top |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Sat May 22, 2010 2:21 pm Post subject: |
|
|
| daj95376 wrote: | | ronk wrote: | | But the AIC (1)r4c1 = ... = (1)r4c1 doesn't express a contradiction. |
Hmmmm! Boy is my math rusty. I thought that assuming something was false ... and then showing that it must be true ... represented a contradiction on the original assumption. Similarly for a true assumption and a false conclusion. What is it called? |
My bad, Mogulmeister and you are correct, but I think the best expression is ...
(1=4)r5c9 - (4)r5c4 = (4-1)r4c4 = (1)r4c1 --> r5c1<>1
... which is an m-wing. |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Sat May 22, 2010 2:49 pm Post subject: |
|
|
Thanks Ronk but I did want to show up the contradiction by starting and ending in the same place but in different truth states.
Something of an existential nightmare I agree, but whats a boy to do ? |
|
| Back to top |
|
|
ronk
Joined: 07 May 2006
Posts: 398
|
| Posted: Sat May 22, 2010 3:16 pm Post subject: |
|
|
| Mogulmeister wrote: | | I did want to show up the contradiction by starting and ending in the same place but in different truth states. |
Not a problem, add the weak links and get ...
(1)r5c1 - (1=4)r5c9 - (4)r5c4 = (4-1)r4c4 = (1)r4c1 - (1)r5c1 --> r5c1<>1
It still has only three strong links for the exclusion ... compared to your five for an inclusion. |
|
| Back to top |
|
|
Mogulmeister
Joined: 03 May 2007
Posts: 1151
|
| Posted: Sat May 22, 2010 3:21 pm Post subject: |
|
|
| Thanks...I'll come quietly officer but if the logic works....... |
|
| Back to top |
|
|
|
FAQ
Search
Memberlist
Usergroups
Register
Profile
Log in to check your private messages
Log in
