View previous topic :: View next topic |
Author |
Message |
keith
Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
|
Posted: Sat Nov 22, 2008 11:30 pm Post subject: Another good Menneske |
|
|
Try this one on: Code: | Puzzle: M2534023vh
+-------+-------+-------+
| . . . | . 1 . | . . . |
| 6 5 . | . . . | . 3 8 |
| . 4 3 | . 6 . | 1 5 . |
+-------+-------+-------+
| . . . | 5 9 . | . . . |
| 5 . 9 | 1 . 3 | 8 . 2 |
| . . . | . 8 2 | . . . |
+-------+-------+-------+
| . 9 5 | . 3 . | 6 1 . |
| 1 7 . | . . . | . 2 3 |
| . . . | . 7 . | . . . |
+-------+-------+-------+ |
Go to http://www.menneske.no/sudoku/eng/
and ask for a Super Hard. Often, it returns with a Very Hard. I really enjoy these!
Keith |
|
Back to top |
|
|
tlanglet
Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
|
Posted: Sun Nov 23, 2008 12:56 am Post subject: |
|
|
A couple of URs were hard to overlook, then a w-wing made a deletion plus two more deletions by transporting the pincers, and finally an xy-wing finished it off for me.
Ted |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Sun Nov 23, 2008 1:24 am Post subject: |
|
|
One-Stepper wrote: | M-Wing: [r3c6] ... [r7c1] => [r7c6]<>8
|
Last edited by daj95376 on Sun Nov 23, 2008 5:07 am; edited 3 times in total |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sun Nov 23, 2008 2:47 am Post subject: |
|
|
daj95376 wrote: | One-Stepper wrote: | M-Wing: [r3c6] ... [r7c1] => [r7c6]<>8
|
|
Danny,
Help me out here. I either missed something in my basics and/or I don't see the technique you used, at least based on what I think that technique is.
Code: |
+------------+-------------+------------+
| 9 8 7 | 3 1 5 | 2 46 46 |
| 6 5 1 | 49 2 49 | 7 3 8 |
| 2 4 3 | 78 6 78 | 1 5 9 |
+------------+-------------+------------+
| 378 123 28 | 5 9 67 | 34 46 146 |
| 5 6 9 | 1 4 3 | 8 7 2 |
| 37 13 4 | 67 8 2 | 35 9 156 |
+------------+-------------+------------+
| 48 9 5 | 2 3 48 | 6 1 7 |
| 1 7 68 | 4689 5 4689 | 49 2 3 |
| 34 23 26 | 469 7 1 | 459 8 45 |
+------------+-------------+------------+
|
Play this puzzle online at the Daily Sudoku site |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Sun Nov 23, 2008 5:28 am Post subject: |
|
|
Marty R. wrote: | Help me out here. I either missed something in my basics and/or I don't see the technique you used, at least based on what I think that technique is.
|
Keith wrote: | Nataraj and / or Asellus pointed out that the chain can be
XY ... (X) ... bXY = aY
where b is anything. The logic is a little different, but the conclusion still is: One, or both, of the pincers is Y.
|
Code: | a b c d
(8=7)r3c6 - (7)r4c6 = (7-8)r4c1 = (8)r8c1 => [r8c6]<>8
+--------------------------------------------------------------+
| 9 8 7 | 3 1 5 | 2 46 46 |
| 6 5 1 | 49 2 49 | 7 3 8 |
| 2 4 3 | 78 6 a78 | 1 5 9 |
|--------------------+--------------------+--------------------|
| c378 123 28 | 5 9 b67 | 34 46 146 |
| 5 6 9 | 1 4 3 | 8 7 2 |
| 37 13 4 | 67 8 2 | 35 9 156 |
|--------------------+--------------------+--------------------|
| d48 9 5 | 2 3 4-8 | 6 1 7 |
| 1 7 68 | 4689 5 4689 | 49 2 3 |
| 34 23 26 | 469 7 1 | 459 8 45 |
+--------------------------------------------------------------+
|
Last edited by daj95376 on Sun Nov 23, 2008 5:54 am; edited 2 times in total |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sun Nov 23, 2008 5:43 am Post subject: |
|
|
Quote: | Nataraj and / or Asellus pointed out that the chain can be
XY ... (X) ... bXY = aY
where b is anything. The logic is a little different, but the conclusion still is: One, or both, of the pincers is Y. |
Yes, thank you, I had read that and forgot it, but it's easy to see when someone else points it out!!
P.S. Consider this fragment:
Code: |
+--------------+-------+-------+
| . . . | . . . | . . . |
| . . . | . . . | . . . |
| . . . | . . . | . . . |
+--------------+-------+-------+
| 4 1 7 | . . . | . . . |
| 28 28 3 | . . . | . . . |
| 6 9 5 | . . . | . . . |
+--------------+-------+-------+
| 3 267 126 | . . . | . . . |
| 9 2567 126 | . . . | . . . |
| 258 4 268 | . . . | . . . |
+--------------+-------+-------+
|
Play this puzzle online at the Daily Sudoku site
The 8s are all strong links. So do I have an M-Wing involving the 28 in r5c1 and the 268 in r9c3, connected by the two strong links on 8? And extending the 2 from r5c1 to r5c2 I can now eliminate the 2s in r78c2? |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Sun Nov 23, 2008 6:27 am Post subject: |
|
|
Marty R. wrote: | Consider this fragment:
Code: | +--------------+-------+-------+
| . . . | . . . | . . . |
| . . . | . . . | . . . |
| . . . | . . . | . . . |
+--------------+-------+-------+
| 4 1 7 | . . . | . . . |
| 28 28 3 | . . . | . . . |
| 6 9 5 | . . . | . . . |
+--------------+-------+-------+
| 3 267 126 | . . . | . . . |
| 9 2567 126 | . . . | . . . |
| 258 4 268 | . . . | . . . |
+--------------+-------+-------+
|
The 8s are all strong links. So do I have an M-Wing involving the 28 in r5c1 and the 268 in r9c3, connected by the two strong links on 8? And extending the 2 from r5c1 to r5c2 I can now eliminate the 2s in r78c2? |
Okay, here's what I see:
To have a generalized M-Wing from r5c1 through r9c3 using (8), you would need:
Code: | (2=8)r5c1 - (8)r9c1 = (8-2)r9c3 = (2)???
|
Unfortunately, you lack a (specified) strong link for (2) from cell r9c3.
Last edited by daj95376 on Sun Nov 23, 2008 6:35 am; edited 2 times in total |
|
Back to top |
|
|
keith
Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
|
Posted: Sun Nov 23, 2008 6:29 am Post subject: |
|
|
Quote: | the chain can be
XY ... (X) ... bXY = aY |
I missed that in this puzzle (and, no doubt, many others)!
Keith |
|
Back to top |
|
|
storm_norm
Joined: 18 Oct 2007 Posts: 1741
|
Posted: Sun Nov 23, 2008 6:46 am Post subject: |
|
|
Quote: | Nataraj and / or Asellus pointed out that the chain can be
XY ... (X) ... bXY = aY
where b is anything. The logic is a little different, but the conclusion still is: One, or both, of the pincers is Y. |
I actually think this is a little confusing because the pincer y is not on the end.
should look like this:
YX = bX = bXY = bY; and b can be any number of candidates.
now you can see the Y's are true on either end.
in Marty's chain, one link from the beginning of the M-wing would mean that the 2 in r5c2 is "false"
Y - (Y=X) - X = (X-bY) or
(2)r5c2 - (2=8)r5c1 - (8)r9c1 = (8-2)r9c3 = ???
this proves that either the Y at the beginning is false or the Y (or any other candidates in that cell) at the end is false. which does not qualify as a pincer.
and the 2 at the end is not strongly linked to any 2's in that box. |
|
Back to top |
|
|
storm_norm
Joined: 18 Oct 2007 Posts: 1741
|
Posted: Sun Nov 23, 2008 7:05 am Post subject: |
|
|
danny,
what about this one?
(2)r78c2 = (2)r5c2 - (2=8)r5c1 - (8)r9c1 = (8)r9c3; r9c3 <> 2 |
|
Back to top |
|
|
nataraj
Joined: 03 Aug 2007 Posts: 1048 Location: near Vienna, Austria
|
Posted: Sun Nov 23, 2008 8:43 am Post subject: |
|
|
Marty R. wrote: | So do I have an M-Wing involving the 28 in r5c1 and the 268 in r9c3, connected by the two strong links on 8?
|
Dannny said it already: no, you don't (and he gave the reason, as well: no strong link on "2")
For (generalized) m-wings we're not looking for two strong links in the same candidate, but:
________________________________
Nataraj's gm-wing recipe:
· two strong links (in different candidates a,b), sharing one common cell
· a bi-value cell with those same candidates {a,b}, which sees either free end of the strong links.
________________________________
Danny's one-step winner had it all (I'm taking it directly from his post):
two strong links in 7 and 8, connected in r4c1 (cell c):
(7)r4c6=r4c1 (b=c)
(8)r4c1=r8c1 (c=d)
and a bi-value {7,8} (cell a), which sees a free end (cell b)
poor unfortunate 8 in r8c6: it sees both the bi-value (cell a) and the other free end (cell d) and gets eliminated. |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sun Nov 23, 2008 5:15 pm Post subject: |
|
|
OK, thanks for saving me from myself and the many puzzles which would have resulted in contradictions.
By the way, I might be the only one here who doesn't understand notation, even something as simple-looking as:
XY ... (X) ... bXY = aY |
|
Back to top |
|
|
nataraj
Joined: 03 Aug 2007 Posts: 1048 Location: near Vienna, Austria
|
Posted: Sun Nov 23, 2008 5:23 pm Post subject: |
|
|
Marty R. wrote: | By the way, I might be the only one here who doesn't understand notation, ... |
You are NOT ... (and I'm sure we're not talking ONE but many notations )
For a totally notation-free cooking recipe for gm-wings, see here |
|
Back to top |
|
|
daj95376
Joined: 23 Aug 2008 Posts: 3854
|
Posted: Sun Nov 23, 2008 5:47 pm Post subject: |
|
|
storm_norm wrote: | danny, what about this one?
(2)r78c2 = (2)r5c2 - (2=8)r5c1 - (8)r9c1 = (8)r9c3; r9c3 <> 2 |
I was only assured of strong links in (8). Your chain, which is not an M-Wing, starts off with the assumption of a strong link in (2). Otherwise, your chain seems correct to me. |
|
Back to top |
|
|
Marty R.
Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
|
Posted: Sun Nov 23, 2008 10:10 pm Post subject: |
|
|
nataraj wrote: | Marty R. wrote: | By the way, I might be the only one here who doesn't understand notation, ... |
You are NOT ... (and I'm sure we're not talking ONE but many notations )
For a totally notation-free cooking recipe for gm-wings, see here |
Your explanation two posts before the quoted post was pretty clear. |
|
Back to top |
|
|
|