| View previous topic :: View next topic   | 
	
	
	
		| Author | 
		Message | 
	
	
		arkietech
 
 
  Joined: 31 Jul 2008 Posts: 1834 Location: Northwest Arkansas USA
  | 
		
			
				 Posted: Sun Apr 15, 2012 5:30 am    Post subject: au tough 4/15/12 | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Code: | 	 		  
 
 *-----------*
 
 |..3|5..|.72|
 
 |2..|.1.|...|
 
 |...|8..|...|
 
 |---+---+---|
 
 |1.9|...|...|
 
 |.7.|3.1|.5.|
 
 |...|...|3.4|
 
 |---+---+---|
 
 |...|..7|...|
 
 |...|.2.|..8|
 
 |86.|..4|7..|
 
 *-----------*
 
 | 	  
 
Play/Print online | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Luke451
 
 
  Joined: 20 Apr 2008 Posts: 310 Location: Southern Northern California
  | 
		
			
				 Posted: Sun Apr 15, 2012 2:45 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				"Unique" m-wing?
 
  	  | Code: | 	 		   *-----------------------------------------------------------*
 
 | 9     8     3     | 5     4     6     | 1     7     2     |
 
 | 2     4    *56    | 7     1     3     | 9     8    *56    |
 
 | 57    1    *567   | 8     9     2     | 456   34   *356   |
 
 |-------------------+-------------------+-------------------|
 
 | 1     3     9     | 4     5     8     | 2     6     7     |
 
 | 4     7     2     | 3     6     1     | 8     5     9     |
 
 | 6     5     8     | 2     7     9     | 3     1     4     |
 
 |-------------------+-------------------+-------------------|
 
 | 35    2     145   | 16    8     7     | 456   9     1356  |
 
 | 37    9     147   | 16    2     5     | 46    34    8     |
 
 | 8     6     15    | 9     3     4     | 7     2     15    |
 
 *-----------------------------------------------------------* | 	  
 
AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		arkietech
 
 
  Joined: 31 Jul 2008 Posts: 1834 Location: Northwest Arkansas USA
  | 
		
			
				 Posted: Sun Apr 15, 2012 6:02 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Code: | 	 		   *-----------------------------------------------------------*
 
 | 9     8     3     | 5     4     6     | 1     7     2     |
 
 | 2     4     56    | 7     1     3     | 9     8     56    |
 
 | 57    1     567   | 8     9     2     | 456   34    356   |
 
 |-------------------+-------------------+-------------------|
 
 | 1     3     9     | 4     5     8     | 2     6     7     |
 
 | 4     7     2     | 3     6     1     | 8     5     9     |
 
 | 6     5     8     | 2     7     9     | 3     1     4     |
 
 |-------------------+-------------------+-------------------|
 
 |d3-5   2     145   | 16    8     7     | 456   9    c1356  |
 
 | 37    9     147   | 16    2     5     | 46    34    8     |
 
 | 8     6    a15    | 9     3     4     | 7     2    b15    |
 
 *-----------------------------------------------------------*
 
 (5=1)r9c3-r9c9=(1-3)r7c9=(3)r7c1 => r7c1<>5
 
 stte
 
 --OR--
 
 *-----------------------------------------------------------*
 
 | 9     8     3     | 5     4     6     | 1     7     2     |
 
 | 2     4     56    | 7     1     3     | 9     8     56    |
 
 | 57    1     567   | 8     9     2     | 456   34    356   |
 
 |-------------------+-------------------+-------------------|
 
 | 1     3     9     | 4     5     8     | 2     6     7     |
 
 | 4     7     2     | 3     6     1     | 8     5     9     |
 
 | 6     5     8     | 2     7     9     | 3     1     4     |
 
 |-------------------+-------------------+-------------------|
 
 |a35    2     145   | 16    8     7     | 456   9    d1356  |
 
 | 37    9     147   | 16    2     5     | 46    34    8     |
 
 | 8     6    b15    | 9     3     4     | 7     2    c15    |
 
 *-----------------------------------------------------------*
 
 (3=5)r7c1-(5=1)r9c3-r9c9=(1)r7c9 => r7c9<>3;
 
 stte
 
 
 
 either of these two "mystery wings" will solve today's tough.
 
 
 
 3-SIS using bivalue(XY), bilocation(Y), and bilocation(Z).
 
 
 
 3-SIS using bivalue(XY), bivalue(YZ), and bilocation(Z).
 
 
 
 What kind of wing are they?
 
 | 	  
 
Play/Print online | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		arkietech
 
 
  Joined: 31 Jul 2008 Posts: 1834 Location: Northwest Arkansas USA
  | 
		
			
				 Posted: Sun Apr 15, 2012 6:07 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Luke451 wrote: | 	 		  "Unique" m-wing?
 
 AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 	  I like it!   | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Marty R.
 
 
  Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
  | 
		
			
				 Posted: Sun Apr 15, 2012 6:08 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Luke451 wrote: | 	 		  "Unique" m-wing?
 
  	  | Code: | 	 		   *-----------------------------------------------------------*
 
 | 9     8     3     | 5     4     6     | 1     7     2     |
 
 | 2     4    *56    | 7     1     3     | 9     8    *56    |
 
 | 57    1    *567   | 8     9     2     | 456   34   *356   |
 
 |-------------------+-------------------+-------------------|
 
 | 1     3     9     | 4     5     8     | 2     6     7     |
 
 | 4     7     2     | 3     6     1     | 8     5     9     |
 
 | 6     5     8     | 2     7     9     | 3     1     4     |
 
 |-------------------+-------------------+-------------------|
 
 | 35    2     145   | 16    8     7     | 456   9     1356  |
 
 | 37    9     147   | 16    2     5     | 46    34    8     |
 
 | 8     6     15    | 9     3     4     | 7     2     15    |
 
 *-----------------------------------------------------------* | 	  
 
AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 	  
 
 
I don't understand the notation. 
 
 
UR 56 in boxes 13. Killed by 7 in r3c3 or 3 in r3c9. The 3 proves 7 in r8c1, creating a pincer with r3c3; r3c1<>7 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		ronk
 
 
  Joined: 07 May 2006 Posts: 398
 
  | 
		
			
				 Posted: Sun Apr 15, 2012 10:21 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Marty R. wrote: | 	 		   	  | Luke451 wrote: | 	 		  
 
AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 	  I don't understand the notation. 
 
 
UR 56 in boxes 13. Killed by 7 in r3c3 or 3 in r3c9. The 3 proves 7 in r8c1, creating a pincer with r3c3; r3c1<>7 | 	  
 
I don't understand either. How can someone with 4000+ posts still not understand AIC notation? Just look at what Luke451 wrote and translate it into your wording style.
 
 
UR 56 in boxes 13. Killed by 3 in r3c9 or 7 in r3c3. The 7 proves 3 in r8c8, creating a pincer with r3c9; r3c8<>3
 
 
[edit: reversed order in "kill sentence"]
  Last edited by ronk on Mon Apr 16, 2012 11:02 am; edited 1 time in total | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Sun Apr 15, 2012 11:02 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Luke451 wrote: | 	 		  
 
AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 	  
 
Treating the UR strong inference as a pseudo-bivalue cell is an interesting POV. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		DonM
 
 
  Joined: 15 Sep 2009 Posts: 51
 
  | 
		
			
				 Posted: Tue Apr 17, 2012 12:35 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | daj95376 wrote: | 	 		   	  | Luke451 wrote: | 	 		  
 
AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 	  
 
Treating the UR strong inference as a pseudo-bivalue cell is an interesting POV. | 	  
 
 
I don't think it's some new-fangled POV  . To me it's just a basic DP-avoidance strong link- if r3c9 isn't 3 then r3c3 must be 7 and vice-versa. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		ronk
 
 
  Joined: 07 May 2006 Posts: 398
 
  | 
		
			
				 Posted: Tue Apr 17, 2012 2:05 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | DonM wrote: | 	 		   	  | Luke451 wrote: | 	 		  
 
AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 	  I don't think it's some new-fangled POV  . To me it's just a basic DP-avoidance strong link- if r3c9 isn't 3 then r3c3 must be 7 and vice-versa. | 	  
 
A lot of solvers here love their wings. The pseudo-cell POV is to see the pattern as an m-wing. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		DonM
 
 
  Joined: 15 Sep 2009 Posts: 51
 
  | 
		
			
				 Posted: Tue Apr 17, 2012 4:03 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | ronk wrote: | 	 		   	  | DonM wrote: | 	 		   	  | Luke451 wrote: | 	 		  
 
AUR(56) r23c39, [(3)r3c9=(7)r3c3]-r8c3=(7-3)r8c1=(3)r8c8 ==>r3c8<>3 | 	  I don't think it's some new-fangled POV  . To me it's just a basic DP-avoidance strong link- if r3c9 isn't 3 then r3c3 must be 7 and vice-versa. | 	  
 
A lot of solvers here love their wings. The pseudo-cell POV is to see the pattern as an m-wing. | 	  
 
 
Thanks-my bad. I'm not much of an m-wingman. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		 |