| View previous topic :: View next topic | 
	
	
		| Author | Message | 
	
		| Marty R. 
 
 
 Joined: 12 Feb 2006
 Posts: 5770
 Location: Rochester, NY, USA
 
 | 
			
				|  Posted: Thu Nov 22, 2012 10:04 pm    Post subject: Sudopedia--wings |   |  
				| 
 |  
				| Keith, is there anything on some of the wings that are strange to me, such as H, L and S? |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| keith 
 
 
 Joined: 19 Sep 2005
 Posts: 3355
 Location: near Detroit, Michigan, USA
 
 | 
			
				|  Posted: Fri Nov 23, 2012 2:38 am    Post subject: |   |  
				| 
 |  
				| Marty, 
 No.  Here is the index to wings:
 
 
  	  | Quote: |  	  | Wings 
 XY-Wing
 Three cells with pivot cell XY and two pincer cells XZ and YZ.
 XYZ-Wing
 Three cells with pivot cell XYZ and two pincer cells XZ and YZ.
 WXYZ-Wing
 Four cells with pivot cell WXYZ and three pincer cells WZ, XZ and YZ.
 W-Wing
 Four cells in a chain: a cell WX, a cell with X as a candidate, another cell with X as a candidate, another cell WX, such that the two cells containing X as a candidate have a strong link.
 | 
 
 Not even an M-wing.
 
 Keith
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| arkietech 
 
 
 Joined: 31 Jul 2008
 Posts: 1834
 Location: Northwest Arkansas USA
 
 | 
			
				|  Posted: Fri Nov 23, 2012 12:09 pm    Post subject: |   |  
				| 
 |  
				| Simply stated a wing is a chain of 3. There are three strong links, at the beginning in the middle and at the end. Thay have names according to the pattern of whether the strong link is internal (a bivalue cell) or cell to cell (local). 
 XY-WING (x=y)-(y=z)-(z=x) any x that can see both ends can be eliminated.
 
 ALS XY-WING is an xy-wing where one or more of the bivalue cells is replaced with a almost locked set (als)
 
 W-WING (x=y)-y=y-(y=x) any x that can see both ends can be eliminated.
 
 M-WING (x=y)-y=(y-x)=x any x that can see both ends can be eliminated.
 
 Split wing S-WING x=y-(y=x)-x=y y may be eliminated from the beginning cell and x can be eliminated from the ending cell.
 
 Local wing L-WING x=(x-z)=(z-y)=y y may be eliminated from the beginning cell and x can be eliminated from the ending cell.
 
 Hybrid wing H-WING (x=y)-y=(y-z)=z x can be eliminated from the ending cell.
 
 Hybrid wing H-WING (x=y)-(y=z)-z=z x can be eliminated from the ending cell.
 
 XYZ-WING (x=y)-(y=xz)-(z=x) any x that can see both ends can be eliminated.
 
 Exceptions:
 
 X-WING is a fish pattern involving 2 rows and 2 columns.
 
 WXYZ-WING two als's wxyz and wz one in a line the other in a box with the w's seeing each other. All other z's in both box and line that see all z's in als's can be removed.
 
 it is the same as an ALS XZ rule with W as the restricted common
 
 
  	  | Code: |  	  | .-----------.----------.----------.
 | *  *  WXYZ| .  XZ .  | YZ .  .  |
 | .  WZ .   | .  .  .  | .  .  .  |
 | .  .  .   | .  .  .  | .  .  .  |
 :-----------+----------+----------:
 
 .-----------.----------.----------.
 | *  *  WXYZ| .  .  .  | WZ .  .  |
 | XZ .  .   | .  .  .  | .  .  .  |
 | .  YZ .   | .  .  .  | .  .  .  |
 :-----------+----------+----------:
 
 
 | 
 
 
 There probably are exceptions, editing and additions needed to this definition and list. They are welcome.
 
 already editing
  
 Last edited by arkietech on Tue Nov 27, 2012 1:00 pm; edited 4 times in total
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| Marty R. 
 
 
 Joined: 12 Feb 2006
 Posts: 5770
 Location: Rochester, NY, USA
 
 | 
			
				|  Posted: Fri Nov 23, 2012 8:06 pm    Post subject: |   |  
				| 
 |  
				|  	  | Code: |  	  | *--------------------------------------------------* | 1    28   6    | 9    7    4    | 3    28   5    |
 | 258  7    23   | 35   1    6    | 9    4    28   |
 | 45   34   9    | 35   8    2    | 1    6    7    |
 |----------------+----------------+----------------|
 | 3    5    12   | 4    9    7    | 28   128  6    |
 | 24   124  8    | 6    3    5    | 7    129  129  |
 | 9    6    7    | 1    2    8    | 5    3    4    |
 |----------------+----------------+----------------|
 | 28   238  5    | 7    4    13   | 6    129  129  |
 | 7    9    34   | 2    6    13   | 48   5    18   |
 | 6    12   124  | 8    5    9    | 24   7    3    |
 *--------------------------------------------------*
 | 
 
 My solution was (2)r4c7 = (4)r9c7 = (1)r9c3 = r4c3 => r4c3<2>
 
 followed by a Kite in 2s r2c39,r9c3,r7c9 => r7c12,r9c7 <2>
 
 Love that H Wing.
 
 The above is the Fiendish from Nov. 18 and one guy's solution.
 
 Is that first move really an H-Wing? I can't see how it fits your pattern of:
 
 Hybrid wing H-WING (x=y)-y=(y-z)=z x can be eliminated from the ending cell.
 
 If he's eliminating a 2, that suggests that 2=x. That should mean that 8=y, but I don't see an 8 in the rest of the notation.
  |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| arkietech 
 
 
 Joined: 31 Jul 2008
 Posts: 1834
 Location: Northwest Arkansas USA
 
 | 
			
				|  Posted: Fri Nov 23, 2012 8:56 pm    Post subject: |   |  
				| 
 |  
				| I don't see an H-wing here: 
 
  	  | Code: |  	  | *--------------------------------------------------* | 1    28   6    | 9    7    4    | 3    28   5    |
 | 258  7    23   | 35   1    6    | 9    4    28   |
 | 45   34   9    | 35   8    2    | 1    6    7    |
 |----------------+----------------+----------------|
 | 3    5    12   | 4    9    7    | 28   128  6    |
 | 24   124  8    | 6    3    5    | 7    129  129  |
 | 9    6    7    | 1    2    8    | 5    3    4    |
 |----------------+----------------+----------------|
 | 28   238  5    | 7    4    13   | 6    129  129  |
 | 7    9    34   | 2    6    13   | 48   5    18   |
 | 6    12   124  | 8    5    9    | 24   7    3    |
 *--------------------------------------------------*
 
 (2)r4c7 = (4)r9c7 = (1)r9c3 = r4c3 => r4c3<2>
 
 | 
 
 This is short-cut notation that shows no weak links. I can't see how it works.
 
 
 Maybe someone else can explain this notation.
  |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| Marty R. 
 
 
 Joined: 12 Feb 2006
 Posts: 5770
 Location: Rochester, NY, USA
 
 | 
			
				|  Posted: Sat Nov 24, 2012 12:48 am    Post subject: |   |  
				| 
 |  
				| Dan, you'll rue the day you posted those explanations. But if I don't ask these questions I have -0- chance of learning. 
 
  	  | Quote: |  	  | Local wing L-WING x=(y-z)=(z-x)=y y may be eliminated from the beginning cell and x can be eliminated from the ending cell. | 
 
 The first inference shows three different numbers, xyz.
 
 That's not the case below, where there is a 1 on each side of the = sign
 
 
  	  | Code: |  	  | *-----------------------------------------------------------* | 2     5     3     | 8     7     4     | 19    19    6     |
 | 689   689   689   | 1     2     3     | 5     4     7     |
 | 7     1     4     | 6     5     9     | 2     38    38    |
 |-------------------+-------------------+-------------------|
 | 3     4689  1     | 2     469   5     | 49    7     48    |
 | 469   7     5     | 349   8    d6-1   | 1349  2    a134   |
 | 489   2     89    | 349   149   7     | 6     1389  5     |
 |-------------------+-------------------+-------------------|
 | 49    349   7     | 5     1469 c126   | 8     13   b1234  |
 | 1     469   269   | 49    3     8     | 7     5     24    |
 | 5     348   28    | 7     14    12    | 134   6     9     |
 *-----------------------------------------------------------*
 L-wing
 1r5c9=(1-2)r7c9=(2-6)r7c6=6r5c6 => -1r5c6; stte
 | 
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| arkietech 
 
 
 Joined: 31 Jul 2008
 Posts: 1834
 Location: Northwest Arkansas USA
 
 | 
			
				|  Posted: Sat Nov 24, 2012 1:59 am    Post subject: |   |  
				| 
 |  
				| 1r5c9=(1-2)r7c9=(2-6)r7c6=6r5c6 => -1r5c6; stte 
 x=(y-z)=(z-x)=y
 
 should be
 
 x=(x-z)=(z-y)=y
 
 my boo boo I will correct it Thanks.
 
 x=1
 z=2
 y=6
 
 hope this helps
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| ronk 
 
 
 Joined: 07 May 2006
 Posts: 398
 
 
 | 
			
				|  Posted: Sat Nov 24, 2012 2:09 am    Post subject: |   |  
				| 
 |  
				|  	  | arkietech wrote: |  	  | This is short-cut notation that shows no weak links. I can't see how it     works. Maybe someone else can explain this notation. 	  | Code: |  	  | *--------------------------------------------------* | 1    28   6    | 9    7    4    | 3    28   5    |
 | 258  7    23   | 35   1    6    | 9    4    28   |
 | 45   34   9    | 35   8    2    | 1    6    7    |
 |----------------+----------------+----------------| D
 | 3    5    12   | 4    9    7    | 28   128  6    |
 | 24   124  8    | 6    3    5    | 7    129  129  |
 | 9    6    7    | 1    2    8    | 5    3    4    |
 |----------------+----------------+----------------|
 | 28   238  5    | 7    4    13   | 6    129  129  |
 | 7    9    34   | 2    6    13   | 48   5    18   |
 | 6    12   124  | 8    5    9    | 24   7    3    |
 *--------------------------------------------------*
 
 (2)r4c7 = (4)r9c7 = (1)r9c3 = r4c3 => r4c3<2>
 
 | 
 | 
 Ill-advised shorthand for: (2)r4c7 = (2-4)r9c7 = (4-1)r9c3 = (1)r4c3 => r4c3<>2
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| arkietech 
 
 
 Joined: 31 Jul 2008
 Posts: 1834
 Location: Northwest Arkansas USA
 
 | 
			
				|  Posted: Sat Nov 24, 2012 2:26 am    Post subject: |   |  
				| 
 |  
				|  	  | ronk wrote: |  	  | Ill-advised shorthand for: (2)r4c7 = (2-4)r9c7 = (4-1)r9c3 = (1)r4c3 => r4c3<>2 | 
 
 Thanks ronk, .... nice example of an L-wing..
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| Marty R. 
 
 
 Joined: 12 Feb 2006
 Posts: 5770
 Location: Rochester, NY, USA
 
 | 
			
				|  Posted: Sun Nov 25, 2012 4:21 pm    Post subject: |   |  
				| 
 |  
				| L-Wing. 
 
 
 
  	  | Code: |  	  | +-----------+----------+-----------+
 | .  .   .  | .  .  .  | .   .   . |
 | .  .   .  | .  .  .  | .   .   . |
 | .  .   .  | .  .  .  | .   .   . |
 +-----------+----------+-----------+
 | .  .   .  | .  .  .  | .   .   . |
 | .  .   .  | .  .  .  | .   .   . |
 | .  .   .  | .  .  .  | .   .   . |
 +-----------+----------+-----------+
 | 4  3   9  | 2  7  6  | 5   1   8 |
 | 25 8   57 | 3  1  59 | 4   279 6 |
 | 6  257 1  | 58 89 4  | 279 279 3 |
 +-----------+----------+-----------+
 
 | 
 Play this puzzle online at the Daily Sudoku site
 
 Might this be one? (Be funny if it is, since this is the first puzzle where I looked for one).
 
 5r9c4=(5-9)r8c6=(9-2)r8c8=2r8c1=>r8c1<>5
 |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| arkietech 
 
 
 Joined: 31 Jul 2008
 Posts: 1834
 Location: Northwest Arkansas USA
 
 | 
			
				|  Posted: Sun Nov 25, 2012 8:42 pm    Post subject: |   |  
				| 
 |  
				|  	  | Marty R. wrote: |  	  | Might this be one? | 
 
 5r9c4=(5-9)r8c6=(9-2)r8c8=2r8c1=>r8c1<>5
 
 5r9c4 does not "see" r8c1
 
 5r8c2=(5-9)als:r9c4|r8c6=(9-2)r8c8=2r8c1 => -5r8c1
 
 ALS L-wing?
  |  | 
	
		| Back to top |  | 
	
		|  | 
	
		| Marty R. 
 
 
 Joined: 12 Feb 2006
 Posts: 5770
 Location: Rochester, NY, USA
 
 | 
			
				|  Posted: Sun Nov 25, 2012 10:17 pm    Post subject: |   |  
				| 
 |  
				| I thought that was too easy. Thanks, back to the drawing board.  |  | 
	
		| Back to top |  | 
	
		|  | 
	
		|  |