| 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 |  | 
	
		|  | 
	
		|  |