| View previous topic :: View next topic | 
	
	
		| Author | Message | 
	
		| keith 
 
 
 Joined: 19 Sep 2005
 Posts: 3355
 Location: near Detroit, Michigan, USA
 
 | 
			
				|  Posted: Sat Nov 06, 2010 9:15 pm    Post subject: A Menneske, for a change |   |  
				| 
 |  
				| This Menneske is a slight bit more than a VH: Keith 	  | Code: |  	  | Puzzle: M5719097sh(6) +-------+-------+-------+
 | . 5 8 | . 7 9 | . 6 . |
 | . 1 . | . . 6 | . 3 . |
 | . . 3 | . 4 . | . . . |
 +-------+-------+-------+
 | . . 4 | . . . | . . . |
 | 9 . . | 6 . . | 8 5 . |
 | . . . | . 9 3 | . . . |
 +-------+-------+-------+
 | 7 . . | . . . | 5 8 . |
 | . . . | 1 . . | . 9 . |
 | . 4 . | . 8 . | 1 . . |
 +-------+-------+-------+
 
 | 
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| storm_norm 
 
 
 Joined: 18 Oct 2007
 Posts: 1741
 
 
 | 
			
				|  Posted: Sun Nov 07, 2010 12:48 am    Post subject: |   |  
				| 
 |  
				|  	  | Quote: |  	  | I see a w-wing for a one stepper | 
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| tlanglet 
 
 
 Joined: 17 Oct 2007
 Posts: 2468
 Location: Northern California Foothills
 
 | 
			
				|  Posted: Sun Nov 07, 2010 10:43 pm    Post subject: |   |  
				| 
 |  
				|  	  | Quote: |  	  | AUR(27)r56c39 external SIS r5c2=2,r6c7=2; r6c7<>6 (2)r5c2-(3)r5c2=r4c2-(3=6)r4c7;
 ||
 (2)r6c7;
 | 
 Ted
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| keith 
 
 
 Joined: 19 Sep 2005
 Posts: 3355
 Location: near Detroit, Michigan, USA
 
 | 
			
				|  Posted: Sun Nov 07, 2010 11:00 pm    Post subject: |   |  
				| 
 |  
				| Yes, 
 A very easy W-wing -26 (excited by 36) did it for me.
 
 The basics were pretty good, I thought.
 
 Keith
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| daj95376 
 
 
 Joined: 23 Aug 2008
 Posts: 3854
 
 
 | 
			
				|  Posted: Mon Nov 08, 2010 1:09 am    Post subject: |   |  
				| 
 |  
				| I took a different perspective on the UR: 
 
  	  | Code: |  	  | <27> UR[(6)r6c39 = (3)r5c9]r56c39 - (3=6)r4c7  =>  r6c7<>6 +-----------------------------------------------------+
 |  2    5    8    |  3    7    9    |  4    6    1    |
 |  4    1    9    |  2    5    6    |  7    3    8    |
 |  6    7    3    |  8    4    1    |  9    2    5    |
 |-----------------+-----------------+-----------------|
 |  5    36   4    |  7    2    8    |  36   1    9    |
 |  9    23   27   |  6    1    4    |  8    5    27+3 |
 |  1    8    27+6 |  5    9    3    |  2-6  4    27+6 |
 |-----------------+-----------------+-----------------|
 |  7    9    1    |  4    36   2    |  5    8    36   |
 |  8    26   5    |  1    36   7    |  236  9    4    |
 |  3    4    26   |  9    8    5    |  1    7    26   |
 +-----------------------------------------------------+
 # 19 eliminations remain
 
 | 
 
 Peter: Yes, I crammed three streams into a strong link. _
  _ |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| ronk 
 
 
 Joined: 07 May 2006
 Posts: 398
 
 
 | 
			
				|  Posted: Mon Nov 08, 2010 2:27 am    Post subject: |   |  
				| 
 |  
				|  	  | daj95376 wrote: |  	  | I took a different perspective on the UR: 
 [code] <27> UR[(6)r6c39 = (3)r5c9]r56c39 - (3=6)r4c7  =>  r6c7<>6
 ...
 Peter: Yes, I crammed three streams into a strong link. _
  _ | 
 I'm guessing you refer to the three extra candidates ... but I see only one inference and one inference stream: either the AUR is a type 2 UR or it's a type 1 UR.
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| daj95376 
 
 
 Joined: 23 Aug 2008
 Posts: 3854
 
 
 | 
			
				|  Posted: Mon Nov 08, 2010 7:26 am    Post subject: |   |  
				| 
 |  
				|  	  | ronk wrote: |  	  | I'm guessing you refer to the three extra candidates ... | 
 In a recent discussion with Peter, he used a strong link based on two guardian cell candidates. I suggested that he use forcing chain streams for guardian cell candidates because the logic would be consistent when he encountered more than two candidates.
 
 Now, I could/should have written three streams, one for each extra candidate, but I chose to use a strong link instead -- going against my advice to Peter. A fact that I fully expected him to catch!
 
 BTW: I originally saw it as a forcing chain on (6)r6c3:
 
 (6)r6c3 - (6)r6c7
 (6)r6c3 = UR Type 3 - (6)r6c7
 
 Regards, Danny
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| peterj 
 
 
 Joined: 26 Mar 2010
 Posts: 974
 Location: London, UK
 
 | 
			
				|  Posted: Mon Nov 08, 2010 4:00 pm    Post subject: |   |  
				| 
 |  
				|  	  | daj95376 wrote: |  	  | A fact that I fully expected him to catch! | 
 (Danny, I made exactly that point about using strong-link notation in URs/ADP in reply to the original post.)
 But I bet you couldn't resist using it because it seems so much more elegant than a multi-stream layout - though I accept this is the only approach that scales to 2+ streams.
   Nice move by the way
  |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| daj95376 
 
 
 Joined: 23 Aug 2008
 Posts: 3854
 
 
 | 
			
				|  Posted: Mon Nov 08, 2010 6:33 pm    Post subject: |   |  
				| 
 |  
				|  	  | peterj wrote: |  	  |  	  | daj95376 wrote: |  	  | A fact that I fully expected him to catch! | 
 (Danny, I made exactly that point about using strong-link notation in URs/ADP in reply to the original post.)
 ...
 Nice move by the way
  | 
 Yes, I couldn't help being pulled over to The Dark Side. _
  _ 
 Thanks!
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| Myth Jellies 
 
 
 Joined: 27 Jun 2006
 Posts: 64
 
 
 | 
			
				|  Posted: Tue Nov 09, 2010 1:46 am    Post subject: |   |  
				| 
 |  
				| You can also use the UR as a weak inhibiting link for the base digits 
 (6=27)r6c39 -UR- (27=3)r5c39 - (3=6)r4c7 => r6c7 <> 6
 
 Even useful for those times when you have "solved" one of the UR cells
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		|  |