View previous topic :: View next topic |
Author |
Message |
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Mon Sep 13, 2010 5:09 am Post subject: Puzzle 10/09/13: C |
|
|
Code: | +-----------------------+
| 3 . . | . . . | . . 9 |
| . . . | . 9 7 | 5 . . |
| . . 7 | . . . | . 4 . |
|-------+-------+-------|
| . . . | 3 6 . | . . 4 |
| . . . | 5 . 1 | . . . |
| . 1 . | . 8 2 | . . 7 |
|-------+-------+-------|
| 9 3 . | . . . | 2 . 8 |
| . . 1 | . . . | . . . |
| 4 . . | 6 . 8 | 9 . 5 |
+-----------------------+
|
Play this puzzle online at the Daily Sudoku site |
|
Back to top |
|
|
peterj
Joined: 26 Mar 2010 Posts: 974 Location: London, UK
|
Posted: Mon Sep 13, 2010 8:17 am Post subject: |
|
|
Stumbled on this one-step DP move
Quote: | ADP(45) r17c56 [(6)r1c6=(1)r7c5]
but (6)r1c6=(6-3)r3c6=r8c6 - (3=1)r9c5 - (1)r7c5 contradiction ; r1c6=6 |
Last edited by peterj on Mon Sep 13, 2010 8:56 am; edited 1 time in total |
|
Back to top |
|
|
JC Van Hay
Joined: 13 Jun 2010 Posts: 494 Location: Charleroi, Belgium
|
Posted: Mon Sep 13, 2010 8:31 am Post subject: |
|
|
Me too ! ... Quote: | To avoid DP (45)R17C56 : SIS[(6)r1c6,(1)r7c5-(1=3)r9c5-(3=45)r78c6] : (6)r1c6=NP(45)r78c6=> r1c6<>45=6 |
|
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Tue Sep 14, 2010 1:05 am Post subject: |
|
|
Thanks Peter and JC for prompting me to review the UR closer.
When viewed as a <45> UR Type 6 with an X-Wing for <4>, the puzzle doesn't crack.
Code: | +--------------------------------------------------------------+
| 3 2568 568 | 1 *45 *45+6 | 7 268 9 |
| 128 268 4 | 28 9 7 | 5 2368 1236 |
| 1258 9 7 | 28 35 356 | 68 4 126 |
|--------------------+--------------------+--------------------|
| 7 258 58 | 3 6 9 | 1 258 4 |
| 268 4 39 | 5 7 1 | 368 2689 26 |
| 56 1 39 | 4 8 2 | 36 569 7 |
|--------------------+--------------------+--------------------|
| 9 3 56 | 7 *45+1 *45 | 2 16 8 |
| 58 568 1 | 9 2 35 | 4 7 36 |
| 4 7 2 | 6 13 8 | 9 13 5 |
+--------------------------------------------------------------+
# 62 eliminations remain
r17c56 <45> UR Type 6.2233 r1c5,r7c6<>5
|
However, the threat of a single-digit DP hasn't been eliminated. Leaving:
Code: | +--------------------------------------------------------------+
| 3 2568 568 | 1 *4 *5+6 | 7 268 9 |
| 128 268 4 | 28 9 7 | 5 2368 1236 |
| 1258 9 7 | 28 35 356 | 68 4 126 |
|--------------------+--------------------+--------------------|
| 7 258 58 | 3 6 9 | 1 258 4 |
| 268 4 39 | 5 7 1 | 368 2689 26 |
| 56 1 39 | 4 8 2 | 36 569 7 |
|--------------------+--------------------+--------------------|
| 9 3 56 | 7 *5+1 *4 | 2 16 8 |
| 58 568 1 | 9 2 35 | 4 7 36 |
| 4 7 2 | 6 13 8 | 9 13 5 |
+--------------------------------------------------------------+
# 58 eliminations remain
(5): r1c6 - r3c5 = r7c5 ; <45> sd-DP => r1c6<>5
|
BTW: strong link eliminations in the original UR would have cracked the puzzle as well.
Code: | r17c56 <45> UR via s-link *** r1c6<>4 (4): r1c6-r1c5=r7c5
r17c56 <45> UR via s-link r7c5<>4
r17c56 <45> UR via s-link r1c5<>5
r17c56 <45> UR via s-link *** r1c6<>5 (5): r1c6-r13c5=r7c5
r17c56 <45> UR via s-link r7c6<>5
|
Regards, Danny |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Tue Sep 14, 2010 10:45 pm Post subject: |
|
|
I used the Type 6 and a W-Wing on 56. |
|
Back to top |
|
|
|