| View previous topic :: View next topic |
| Author |
Message |
Clement
Joined: 24 Apr 2006
Posts: 1111
Location: Dar es Salaam Tanzania
|
 Posted: Thu Mar 21, 2013 10:35 pm Post subject: Mar 22 VH |
 |
|
| Code: |
+----------------+------------+-----------+
| 8 149 49 | 5 2 7 | 46 1469 3 |
| 1259 12459 249 | 6 134 #34 | 8 149 7 |
| 7 6 3 | *48 148 9 | 2 14 5 |
+----------------+------------+-----------+
| 4 39 5 | -89 6 *38 | 1 7 2 |
| 23 7 1 | 24 345 345 | 9 8 6 |
| 29 8 6 | 29 7 1 | 3 5 4 |
+----------------+------------+-----------+
| 36 34 7 | 1 48 468 | 5 2 9 |
| 129 129 29 | 7 45 456 | 46 3 8 |
| 56 45 8 | 3 9 2 | 7 46 1 |
+----------------+------------+-----------+
|
XY-Wing 48-34-38 pivoted in r2c6; r4c4<>8 solves it. |
|
| Back to top |
|
 |
RobertRattley
Joined: 24 Jun 2007
Posts: 118
Location: Australia
|
| Posted: Mon Mar 25, 2013 7:58 pm Post subject: |
|
|
Yes.
So often, the lonely single post! Well, here I am now to keep you company.
I ALWAYS solve a puzzle before looking at the discussion. But then I'm always glad for confirmation that I got it right or (sometimes) that I had missed something easier.
Thank you! Keep it up.
One day I'll be the first to post. I did that just once before, taking advantage of my time zone. To be first to post I'd have to get to work straight away after (my) midnight, and that doesn't happen often! |
|
| Back to top |
|
|
TerenceF
Joined: 21 Dec 2007
Posts: 26
Location: Takapuna, NZ
|
| Posted: Wed Apr 03, 2013 8:35 am Post subject: Re: Mar 22 VH |
|
|
| Clement wrote: | | Code: |
+----------------+------------+-----------+
| 8 149 49 | 5 2 7 | 46 1469 3 |
| 1259 12459 249 | 6 134 #34 | 8 149 7 |
| 7 6 3 | *48 148 9 | 2 14 5 |
+----------------+------------+-----------+
| 4 39 5 | -89 6 *38 | 1 7 2 |
| 23 7 1 | 24 345 345 | 9 8 6 |
| 29 8 6 | 29 7 1 | 3 5 4 |
+----------------+------------+-----------+
| 36 34 7 | 1 48 468 | 5 2 9 |
| 129 129 29 | 7 45 456 | 46 3 8 |
| 56 45 8 | 3 9 2 | 7 46 1 |
+----------------+------------+-----------+
|
XY-Wing 48-34-38 pivoted in r2c6; r4c4<>8 solves it. |
There is also an interesting chain that forces r3c8 to be one, both when r1c7=4 and also ...
If r1c7=6 then r8c6=4 so r9c8=6 and r9c1=5 so r9c2=4 and r7c2=3
so r4c2=9 and r4c4=8 which makes r3c4=4 SO r3c8 <>4
AND the same logic also makes r4c6=3 and r2c6=4 which would mean that there were two occurrences of 4 in Box 2 which is not allowed so r1c7<>6
This is some kind of a chain: does it have a technical name, or is it more in the realm of a guess? |
|
| Back to top |
|
|
Marty R.
Joined: 12 Feb 2006
Posts: 5770
Location: Rochester, NY, USA
|
| Posted: Wed Apr 03, 2013 12:59 pm Post subject: Re: Mar 22 VH |
|
|
| TerenceF wrote: | | Clement wrote: | | Code: |
+----------------+------------+-----------+
| 8 149 49 | 5 2 7 | 46 1469 3 |
| 1259 12459 249 | 6 134 #34 | 8 149 7 |
| 7 6 3 | *48 148 9 | 2 14 5 |
+----------------+------------+-----------+
| 4 39 5 | -89 6 *38 | 1 7 2 |
| 23 7 1 | 24 345 345 | 9 8 6 |
| 29 8 6 | 29 7 1 | 3 5 4 |
+----------------+------------+-----------+
| 36 34 7 | 1 48 468 | 5 2 9 |
| 129 129 29 | 7 45 456 | 46 3 8 |
| 56 45 8 | 3 9 2 | 7 46 1 |
+----------------+------------+-----------+
|
XY-Wing 48-34-38 pivoted in r2c6; r4c4<>8 solves it. |
There is also an interesting chain that forces r3c8 to be one, both when r1c7=4 and also ...
If r1c7=6 then r8c6=4 so r9c8=6 and r9c1=5 so r9c2=4 and r7c2=3
so r4c2=9 and r4c4=8 which makes r3c4=4 SO r3c8 <>4
AND the same logic also makes r4c6=3 and r2c6=4 which would mean that there were two occurrences of 4 in Box 2 which is not allowed so r1c7<>6
This is some kind of a chain: does it have a technical name, or is it more in the realm of a guess? |
Terence,
I'm assuming the 2nd term should be r8c7 rather than r8c6. Then you have an XY-Chain, a series of bivalue cells where you start with a cell XY where the X proves a Y in another cell. Any cell seeing both the start and end cells of the chain cannot be Y, thus r3c8<>4.
After that I don't understand. Once the 4 is gone from r3c8 the 4's in r3 are confined to box 2, thus no other lines in box 2 can be 4, so r2c6<>4=3. |
|
| Back to top |
|
|
JC Van Hay
Joined: 13 Jun 2010
Posts: 494
Location: Charleroi, Belgium
|
| Posted: Wed Apr 03, 2013 5:45 pm Post subject: |
|
|
Terence, here is the Eureka notation of your "XY-Chains" :
(1=4)r3c8-(4=6)r1c7-(6=4)r8c7-(4=6)r9c8-(6=5)r9c1-(5=4)r9c2-(4=3)r7c2-(3=9)r4c2-(9=8)r4c4-[(8=4*)r3c4-(4=1)r3c8 and (8=3)r4c6-(3=4*)r2c6]
If you are not used to such a notation, the following indications should be sufficient to understand it :a. The reading is from left to right;
b. a=A : a False => A True;
c. a-A : a True => A False. Now,1. in the first "and" case, r3c8<>1 => r3c8=1;
2. the contradiction observed in the 2 "and" cases => r3c8<>1 is false;
3. "the XY Wing" is contained in the 2 "and" cases inside the brakets : r3c4=8 and r4c6=8 cannot be false together => r4c4<>8. As a more general way to see what you have so interestingly found, just consider that the cells in R469+C47+B49+[B7-NT(129)] have only 2 solutions.
They are identified by the letters a and A in the following matrix : | Code: | +--------------------+--------------------+-----------------+
| 8 19-4 49 | 5 2 7 | (4a6A) 1469 3 |
| 159-2 1259-4 249 | 6 134 34 | 8 149 7 |
| 7 6 3 | (4A8a) 148 9 | 2 1-4 5 |
+--------------------+--------------------+-----------------+
| 4 (3a9A) 5 | (8A9a) 6 (3A8a) | 1 7 2 |
| (2a3A) 7 1 | (2A4a) 345 345 | 9 8 6 |
| (2A9a) 8 6 | (2a9A) 7 1 | 3 5 4 |
+--------------------+--------------------+-----------------+
| (3a6A) (3A4a) 7 | 1 48 468 | 5 2 9 |
| 19-2 129 29 | 7 45 456 | (4A6a) 3 8 |
| (5A6a) (4A5a) 8 | 3 9 2 | 7 (4a6A) 1 |
+--------------------+--------------------+-----------------+ |
Now,1. r3c8<>4 because of A(4r4c4) and a(4r1c7 or 4r9c8) => 1 cell is solved;
2. the contradiction in "A" is very well seen in r2c6 because of "4r2c6=A" => A false and 15 cells are immediately solved ! So I let you think of the power of "colouring" upon the search of patterns and chains!
| Quote: | | or is it more in the realm of a guess? |
May I suggest, even if you are an occasionnal solver : don't ask yourself such a question (only debated by sophists) anymore! But be only satisfied by the way you are solving a puzzle!
JC |
|
| Back to top |
|
|
|
|
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
|
FAQ
Search
Memberlist
Usergroups
Register
Profile
Log in to check your private messages
Log in
