View previous topic :: View next topic |
Author |
Message |
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Thu Apr 09, 2009 6:01 pm Post subject: Set T_03 Puzzle 38 |
|
|
VH+ ... and probably very difficult
Code: | +-----------------------+
| 6 . . | . . 2 | . . 1 |
| . 8 4 | . 1 . | . 2 . |
| . 1 3 | . . . | . . 4 |
|-------+-------+-------|
| . . . | 1 . . | 7 . . |
| . 7 . | . 5 . | 4 . 8 |
| 4 . . | . . 8 | . . . |
|-------+-------+-------|
| . . . | 5 3 . | 8 6 . |
| . 6 . | . . . | 5 . 3 |
| 3 . 5 | . 8 . | . 4 7 |
+-----------------------+
|
Play this puzzle online at the Daily Sudoku site
Code: | c7b3 Locked Triple <> 369 [r13c8],[r2c9],[r69c7]
Empty Rectangle c8b4 <> 1 [r8c3]
Empty Rectangle c7b7 <> 2 [r6c3]
Empty Rectangle r5b8 <> 2 [r8c3]
Empty Rectangle r5b7 <> 2 [r9c4] extraneous
c3 Naked Pair <> 79 [r567c3]
r7 b7 Locked Candidate 1 <> 1 [r7c6]
XY-Wing [r9c7]/[r8c8]+[r9c2] <> 9 [r8c3]
turbot fish/ER c1b9 <> 9 [r5c8]
XY-Wing [r5c8]/[r4c8]+[r5c1] <> 9 [r4c2]
turbot fish/ER r7b4 <> 9 [r6c9]
r6 Naked Triple <> 126 [r6c245]
r4 b6 Locked Candidate 1 <> 9 [r4c56]
r6 b6 Locked Candidate 2 <> 2 [r4c9]
XY-Wing [r6c3]/[r6c9]+[r7c3] <> 2 [r7c9]
|
Last edited by daj95376 on Thu Apr 16, 2009 5:00 pm; edited 1 time in total |
|
Back to top |
|
|
tlanglet
Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
|
Posted: Thu Apr 09, 2009 7:33 pm Post subject: Re: Set T_03 Puzzle 38 |
|
|
daj95376 wrote: | VH+ ... and probably very difficult | and long.......
I seem to find possibilities, but I had to do clean-up regularly. My ten steps were as follows: Quote: | kite 1
finned x-wing 2
ER 2
xy-wing 129
w-wing 79 with a grouped strong link in row7,
UR 78 with X-wing 8 overlay,
w-wing 29 provided a deletion plus two more transports for two more deletions,
skyscraper with a transport,
Sashimi x-wing 9,
xy-wing 139
|
Ted |
|
Back to top |
|
|
gindaani
Joined: 06 Mar 2009 Posts: 79
|
Posted: Thu Apr 09, 2009 10:57 pm Post subject: |
|
|
I really enjoyed this one.
After the basics:
Code: |
+--------------+-----------------+-------------+
| 6 5 79 | 34789 479 2 | 39 78 1 |
| 79 8 4 | 3679 1 3679 | 369 2 5 |
| 2 1 3 | 6789 679 5 | 69 78 4 |
+--------------+-----------------+-------------+
| 5 239 8 | 1 2469 3469 | 7 39 269 |
| 19 7 1269 | 2369 5 369 | 4 139 8 |
| 4 239 1269 | 23679 2679 8 | 12 5 269 |
+--------------+-----------------+-------------+
| 179 4 1279 | 5 3 179 | 8 6 29 |
| 8 6 1279 | 2479 2479 1479 | 5 19 3 |
| 3 29 5 | 269 8 169 | 12 4 7 |
+--------------+-----------------+-------------+
|
Play this puzzle online at the Daily Sudoku site
One step solution:
Quote: | 129 xy-wing with transported pincer => r7c1<>9, r46c2<>9
|
|
|
Back to top |
|
|
tlanglet
Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
|
Posted: Fri Apr 10, 2009 9:31 pm Post subject: |
|
|
Really great move Gindaani
Ted |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Tue Apr 14, 2009 3:55 pm Post subject: |
|
|
gindaani wrote: | I really enjoyed this one.
After the basics:
Code: |
+--------------+-----------------+-------------+
| 6 5 79 | 34789 479 2 | 39 78 1 |
| 79 8 4 | 3679 1 3679 | 369 2 5 |
| 2 1 3 | 6789 679 5 | 69 78 4 |
+--------------+-----------------+-------------+
| 5 239 8 | 1 2469 3469 | 7 39 269 |
| 19 7 1269 | 2369 5 369 | 4 139 8 |
| 4 239 1269 | 23679 2679 8 | 12 5 269 |
+--------------+-----------------+-------------+
| 179 4 1279 | 5 3 179 | 8 6 29 |
| 8 6 1279 | 2479 2479 1479 | 5 19 3 |
| 3 29 5 | 269 8 169 | 12 4 7 |
+--------------+-----------------+-------------+
|
Play this puzzle online at the Daily Sudoku site
One step solution:
129 xy-wing with transported pincer => r7c1<>9, r46c2<>9 |
Maybe I'm missing something, but I don't see the pincer transport possibility. The XY takes out only the 9 from r8c3 and there are too many 9s to allow transport.
I used the XY on 129, then an apparently useless UR on 78, three ERs and a 291 XY with pincer transport. |
|
Back to top |
|
|
gindaani
Joined: 06 Mar 2009 Posts: 79
|
Posted: Tue Apr 14, 2009 4:48 pm Post subject: |
|
|
The strong link on ones in column 8 provides the transport.
129 xy-wing in Eureka is (9=2)r9c2 - (2=1)r9c7 - (1=9)r8c8
Transport is (1=1)r58c8 - (1=9)r5c1
Combining gives (9=2)r9c2 - (2=1)r9c7 - (1=1)r58c8 - (1=9)r5c1 |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Tue Apr 14, 2009 5:06 pm Post subject: |
|
|
Thanks, but I'm not a notation guy. |
|
Back to top |
|
|
gindaani
Joined: 06 Mar 2009 Posts: 79
|
Posted: Tue Apr 14, 2009 5:29 pm Post subject: |
|
|
Code: |
+-----------------+--------------------+----------------+
| 6 5 79 | 34789 479 2 | 39 78 1 |
| 79 8 4 | 3679 1 3679 | 369 2 5 |
| 2 1 3 | 6789 679 5 | 69 78 4 |
+-----------------+--------------------+----------------+
| 5 *239 8 | 1 2469 3469 | 7 39 269 |
| d19 7 1269 | 2369 5 369 | 4 c139 8 |
| 4 *239 1269 | 23679 2679 8 | 12 5 269 |
+-----------------+--------------------+----------------+
| *179 4 1279 | 5 3 179 | 8 6 29 |
| 8 6 1279 | 2479 2479 1479 | 5 b19 3 |
| 3 e29 5 | 269 8 169 | a12 4 7 |
+-----------------+--------------------+----------------+
|
The strong link on 1 at b and c provides the transport.
If a=1, b != 1, c=1, d=9
If a=2, e=9
Cells marked * can see both d and e cannot be 9 |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Tue Apr 14, 2009 5:44 pm Post subject: |
|
|
gindaani wrote: | The strong link on ones in column 8 provides the transport.
129 xy-wing in Eureka is (9=2)r9c2 - (2=1)r9c7 - (1=9)r8c8
Transport is (1=1)r58c8 - (1=9)r5c1
Combining gives (9=2)r9c2 - (2=1)r9c7 - (1=1)r58c8 - (1=9)r5c1 |
I believe you mean.
Code: | 129 xy-wing: (9=2)r9c2 - (2=1)r9c7 - (1=9)r8c8
Transport linkage: (1)r8c8 = (1)r5c8 - (1=9)r5c1
Combined: (9=2)r9c2 - (2=1)r9c7 - (1)r8c8 = (1)r5c8 - (1=9)r5c1
|
----- ----- -----
Marty:
Code: | XY-Wing w/vertex [r9c7]=12 forces pincers [r9c2]=9 or [r8c8]=9
[r8c8]=9 => [r8c8]<>1, [r5c8]=1, [r5c1]<>1, [r5c1]=9
if [r9c2]<>9 then [r5c1]=9 => [r46c2]<>9, [r7c1]<>9
|
|
|
Back to top |
|
|
gindaani
Joined: 06 Mar 2009 Posts: 79
|
Posted: Tue Apr 14, 2009 6:05 pm Post subject: |
|
|
daj95376 wrote: | I believe you mean.
Code: | 129 xy-wing: (9=2)r9c2 - (2=1)r9c7 - (1=9)r8c8
Transport linkage: (1)r8c8 = (1)r5c8 - (1=9)r5c1
Combined: (9=2)r9c2 - (2=1)r9c7 - (1)r8c8 = (1)r5c8 - (1=9)r5c1
|
|
Sudopedia says "When groups of cells are used in the chain, they are named in the most efficient way." They go on to show that if all candidates are in one column, you can combine them. So (1)r8c8 = (1)r5c8 can be (1)r58c8. I personally prefer to combine the row column specification, but leave the hard link explicit, therefore (1=1)r58c8.
So, both notations are correct and differ only in their succinctness. |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Tue Apr 14, 2009 6:47 pm Post subject: |
|
|
OK, thank you. In my little world that wouldn't be a pincer transport. If c = 1, then d = 9. If b =1, then e = 9, thus the pincers. It just seems to me that it's a standalone technique that can be used without an XY-Wing. But regardless of the semantics, it's a very nice move. |
|
Back to top |
|
|
gindaani
Joined: 06 Mar 2009 Posts: 79
|
Posted: Tue Apr 14, 2009 7:04 pm Post subject: |
|
|
Marty R. wrote: | It just seems to me that it's a standalone technique that can be used without an XY-Wing. |
All xy-wings are xy-chains of 3 cells. Transporting the pincer is simply adding to the chain. In this case, the chain has 5 cells. So, you could call it a chain, which is what you are describing (I think). Some people find it easier to think of, and find, if they refer to it as an xy-wing with transported pincer.
Marty R. wrote: | But regardless of the semantics, it's a very nice move. |
Thanks! I had fun finding it, and explaining it. |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Tue Apr 14, 2009 7:29 pm Post subject: |
|
|
gindaani wrote: | Sudopedia says "When groups of cells are used in the chain, they are named in the most efficient way." They go on to show that if all candidates are in one column, you can combine them. So (1)r8c8 = (1)r5c8 can be (1)r58c8. I personally prefer to combine the row column specification, but leave the hard link explicit, therefore (1=1)r58c8.
So, both notations are correct and differ only in their succinctness. |
I had to read the Sudopedia link several times in order to make sense of it. I finally decided that they left out a few words and used incomplete examples.
----- ----- ----- ----- my proposal for Sudopedia examples
When groups of cells are used in the chain, they are named in the most efficient way.
All cells in the group belong to a single row:
(1)r5c456 = (1)r5c9
All cells in the group belong to a single column:
(1)r45c4 = (1)r9c4
Unordered group, in a box: (not sure how to use this segment)
(1)r5c1 - (1)r5c4|r6c45 - (1)r6c9
-or-
(1)r5c1 - (1)r5c4=r6c45 - (1)r6c9
----- ----- ----- -----
Except for the example in a box, the group of cells does not exhaust the candidate in all of the cells of a house/unit.
Your (1=1)r58c8 exhausts <1> in [c8] ... and that's why I had a problem with it.
I would have accepted:
Transport linkage: (1)r8c8=r5c8 - (1=9)r5c1 |
|
Back to top |
|
|
gindaani
Joined: 06 Mar 2009 Posts: 79
|
Posted: Tue Apr 14, 2009 7:46 pm Post subject: |
|
|
daj95376 wrote: | Your (1=1)r58c8 exhausts <1> in [c8] ... and that's why I had a problem with it. |
That statement is supposed to exhaust <1> in [c8]. If you look, the only <1> in [c8] are [r5c8] and [r8c8].
If there was another 1 in c8, it would be
(9=2)r9c2 - (2=1)r9c7 - (1)r8c8 - (1)r5c8 - (1=9)r5c1
You would have 3 week links in a row, and you could not make the inference that either [r9c2]=9 or [r5c1]=9.
Said another way, (1)r8c8 = (1)r5c8 means there is a hard link between the two values. If [r8c8]=1, [r5c8]!=1 and vice versa. So <1> in [c8] is exhuasted, as (1=1)r58c8 states.
daj95376 wrote: | I would have accepted:
Transport linkage: (1)r8c8=r5c8 - (1=9)r5c1
|
I believe that is syntactically equivalent to (1)r58c8 - (1=9)r5c1.
I change it to (1=1)r58c8 to make the hard link more visible. |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Tue Apr 14, 2009 11:34 pm Post subject: |
|
|
gindaani wrote: | daj95376 wrote: | I would have accepted:
Transport linkage: (1)r8c8=r5c8 - (1=9)r5c1
|
I believe that is syntactically equivalent to (1)r58c8 - (1=9)r5c1.
I change it to (1=1)r58c8 to make the hard link more visible. |
There is a link/inference between candidates in cells:
e.g., (1=9)r5c5 -or- (4-5)r9c9
There is a link/inference between cells for a candidate:
e.g., (1)r1c8 = (1)r7c8 -or- (3)r3c4 - (3)r1c5 -- abbreviated as (1)r1c8=r7c8 and (3)r3c4-r1c5
If you wish to think that (1=1)r58c8 represents a strong link for <1> in [c8], then be my guest. It would have been nice if you had at least listed the row values in the same order as you intended the linkage to be interpreted; i.e., (1=1)r85c8.
Last edited by daj95376 on Tue Apr 14, 2009 11:41 pm; edited 1 time in total |
|
Back to top |
|
|
storm_norm
Joined: 18 Oct 2007 Posts: 1741
|
Posted: Tue Apr 14, 2009 11:37 pm Post subject: |
|
|
I like gindaani's move.
but the way he has described it doesn't "look" like a pincer transport.
the xy-wing pincers are the candidate 9. You can still extend the 9 in r8c8 to make the eliminations instead of jumping on the 1's in the middle of the xy-wing.
xy-wing in green
(9=2)r9c2 - (2=1)r9c7 - (1=9)r8c8 - (9=2)r7c9 - (2)r46c9 = (2-1)r6c7 = (1)r5c8 - (1=9)r5c1; r7c1 and r46c2 <> 9
this isn't your everyday transport...
in picture form...
the xy-wing is in the boxes |
|
Back to top |
|
|
keith
Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
|
Posted: Tue Apr 14, 2009 11:45 pm Post subject: |
|
|
daj95376 wrote: | gindaani wrote: | Sudopedia says "When groups of cells are used in the chain, they are named in the most efficient way." They go on to show that if all candidates are in one column, you can combine them. So (1)r8c8 = (1)r5c8 can be (1)r58c8. I personally prefer to combine the row column specification, but leave the hard link explicit, therefore (1=1)r58c8.
So, both notations are correct and differ only in their succinctness. |
I had to read the Sudopedia link several times in order to make sense of it. I finally decided that they left out a few words and used incomplete examples.
----- ----- ----- ----- my proposal for Sudopedia examples
When groups of cells are used in the chain, they are named in the most efficient way.
All cells in the group belong to a single row:
(1)r5c456 = (1)r5c9
All cells in the group belong to a single column:
(1)r45c4 = (1)r9c4
Unordered group, in a box: (not sure how to use this segment)
(1)r5c1 - (1)r5c4|r6c45 - (1)r6c9
-or-
(1)r5c1 - (1)r5c4=r6c45 - (1)r6c9
----- ----- ----- -----
Except for the example in a box, the group of cells does not exhaust the candidate in all of the cells of a house/unit.
Your (1=1)r58c8 exhausts <1> in [c8] ... and that's why I had a problem with it.
I would have accepted:
Transport linkage: (1)r8c8=r5c8 - (1=9)r5c1 |
Danny!
Just go edit the Sudopedia article!
Keith |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Tue Apr 14, 2009 11:49 pm Post subject: |
|
|
storm_norm wrote: | I like gindaani's move.
but the way he has described it doesn't "look" like a pincer transport.
|
I've spent so much time discussing the notation, that I forgot to mention that gindaani's chain is interesting!
I don't have a firm definition for transport, but my gut feeling about how it works doesn't apply to this chain. Anyone have an authoritative link for transport? |
|
Back to top |
|
|
storm_norm
Joined: 18 Oct 2007 Posts: 1741
|
Posted: Wed Apr 15, 2009 12:03 am Post subject: |
|
|
gindaani wrote: | Code: |
+-----------------+--------------------+----------------+
| 6 5 79 | 34789 479 2 | 39 78 1 |
| 79 8 4 | 3679 1 3679 | 369 2 5 |
| 2 1 3 | 6789 679 5 | 69 78 4 |
+-----------------+--------------------+----------------+
| 5 *239 8 | 1 2469 3469 | 7 39 269 |
| d19 7 1269 | 2369 5 369 | 4 c139 8 |
| 4 *239 1269 | 23679 2679 8 | 12 5 269 |
+-----------------+--------------------+----------------+
| *179 4 1279 | 5 3 179 | 8 6 29 |
| 8 6 1279 | 2479 2479 1479 | 5 b19 3 |
| 3 e29 5 | 269 8 169 | a12 4 7 |
+-----------------+--------------------+----------------+
|
The strong link on 1 at b and c provides the transport.
If a=1, b != 1, c=1, d=9
If a=2, e=9
Cells marked * can see both d and e cannot be 9 |
Danny,
that is a "mixed" w-wing.
gindaani used the strong inference on 1's to "see" the 1,9 cell at r5c1 and the 1,2 cell at r9c7 !!!
see it now?
the true pincer transport isn't really there unless you follow a path like the one shown in my pic.
gindaani, still a nice move. |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Wed Apr 15, 2009 12:25 am Post subject: |
|
|
keith wrote: | Danny!
Just go edit the Sudopedia article!
|
I don't do HTML. |
|
Back to top |
|
|
|