| View previous topic :: View next topic   | 
	
	
	
		| Author | 
		Message | 
	
	
		keith
 
 
  Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
  | 
		
			
				 Posted: Thu Oct 15, 2009 7:33 pm    Post subject: Nice Endgame | 
				     | 
			 
			
				
  | 
			 
			
				This was interesting - with so few cells to solve, how can the ending be so tough? 	  | Code: | 	 		  Puzzle: M6421419sh(11)
 
+-------+-------+-------+
 
| . . 5 | 4 . . | . 3 8 | 
 
| 7 . . | 6 . 2 | . . . | 
 
| . 6 . | . . . | . . 4 | 
 
+-------+-------+-------+
 
| . 4 . | . 2 . | . 7 9 | 
 
| . . . | 5 . 7 | . . . | 
 
| 5 2 . | . 8 . | . 4 . | 
 
+-------+-------+-------+
 
| . . . | . . . | . 6 . | 
 
| 8 . . | 2 . 3 | . . 7 | 
 
| 4 . 9 | . . 5 | 3 . . | 
 
+-------+-------+-------+ | 	  Keith | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Thu Oct 15, 2009 8:52 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				An unusual approach is to use my Templates Reduction approach that I mentioned in the Players' Forums.
 
 
 	  | Code: | 	 		   Blue/Green coloring on <9> shows only two possibilities.
 
 Amber/Pink coloring on <6> shows only two possibilities.
 
 <9> can not be Blue because it overlays Amber and Pink cells for <6>.
 
 r1c2,r3c4,r5c1,r6c6 <> 9
 
 +---------------------------------------------------------------+
 
 |  2     B19    5     |  4     7    G19    |  6     3     8     |
 
 |  7      8     4     |  6     3     2     |  9     5     1     |
 
 | G139    6     13    | B19    5     8     |  7     2     4     |
 
 |---------------------+--------------------+--------------------|
 
 |  36     4     8     |  13    2     16    |  5     7     9     |
 
 | B1369A G139   13    |  5     4     7     |  2     8     36P   |
 
 |  5      2     7     | G39    8    B69P   |  1     4     36A   |
 
 |---------------------+--------------------+--------------------|
 
 |  13     13    2     |  7     9     4     |  8     6     5     |
 
 |  8      5     6     |  2     1     3     |  4     9     7     |
 
 |  4      7     9     |  8     6     5     |  3     1     2     |
 
 +---------------------------------------------------------------+
 
 # 21 eliminations remain
 
 | 	 
  | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		arkietech
 
 
  Joined: 31 Jul 2008 Posts: 1834 Location: Northwest Arkansas USA
  | 
		
			
				 Posted: Thu Oct 15, 2009 9:03 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				I used a long xy-chain and a bug-1
 
I know the single step answer lies in Row5 col1 13 or the 13 ur but just couldn't see it. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		storm_norm
 
 
  Joined: 18 Oct 2007 Posts: 1741
 
  | 
		
			
				 Posted: Thu Oct 15, 2009 9:42 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Code: | 	 		  .------------------.------------------.------------------.
 
| 2     19    5    | 4     7     19   | 6     3     8    |
 
| 7     8     4    | 6     3     2    | 9     5     1    |
 
|*139   6    *13   | 19    5     8    | 7     2     4    |
 
:------------------+------------------+------------------:
 
| 36    4     8    | 13    2     16   | 5     7     9    |
 
|136-9 *139  *13   | 5     4     7    | 2     8     36   |
 
| 5     2     7    | 39    8     69   | 1     4     36   |
 
:------------------+------------------+------------------:
 
|*13   *13    2    | 7     9     4    | 8     6     5    |
 
| 8     5     6    | 2     1     3    | 4     9     7    |
 
| 4     7     9    | 8     6     5    | 3     1     2    |
 
'------------------'------------------'------------------' | 	  
 
BUGlite {1,3} r357c123
 
either the 9 in r5c2 or the 9 in r3c1 has to be true to break up the BUG lite pattern.
 
eliminates the 9 in r5c1
 
 
this pattern cannot be allowed to exist or there could be multiple solutions...
 
 	  | Code: | 	 		  +----------+-------+-------+
 
| .  .  .  | . . . | . . . |
 
| .  .  .  | . . . | . . . |
 
| 13 .  13 | . . . | . . . |
 
+----------+-------+-------+
 
| .  .  .  | . . . | . . . |
 
| .  13 13 | . . . | . . . |
 
| .  .  .  | . . . | . . . |
 
+----------+-------+-------+
 
| 13 13 .  | . . . | . . . |
 
| .  .  .  | . . . | . . . |
 
| .  .  .  | . . . | . . . |
 
+----------+-------+-------+ | 	 
  | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		keith
 
 
  Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
  | 
		
			
				 Posted: Thu Oct 15, 2009 10:07 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Norm,
 
 
Very nice!  I stared at the 13 UR / DP for a long time, and did not see it!
 
 
Keith | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		storm_norm
 
 
  Joined: 18 Oct 2007 Posts: 1741
 
  | 
		
			
				 Posted: Thu Oct 15, 2009 10:14 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Keith,
 
thank you,
 
as an encore move...
 
 
 	  | Code: | 	 		  .------------------.------------------.------------------.
 
| 2     19    5    | 4     7     19   | 6     3     8    |
 
| 7     8     4    | 6     3     2    | 9     5     1    |
 
|*139   6    *13   |*19    5     8    | 7     2     4    |
 
:------------------+------------------+------------------:
 
|-36    4     8    |#13    2     16   | 5     7     9    |
 
| 1369  139  #13   | 5     4     7    | 2     8     36   |
 
| 5     2     7    | 39    8     69   | 1     4     36   |
 
:------------------+------------------+------------------:
 
|#13    13    2    | 7     9     4    | 8     6     5    |
 
| 8     5     6    | 2     1     3    | 4     9     7    |
 
| 4     7     9    | 8     6     5    | 3     1     2    |
 
'------------------'------------------'------------------' | 	  
 
consider the 1's in row three marked with a star.
 
regardless which one is true, a 3 at the "#" signs has to be true.
 
if one of the "#" sign 3's has to be true this eliminates the 3 at r4c1 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		tlanglet
 
 
  Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
  | 
		
			
				 Posted: Thu Oct 15, 2009 11:05 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				I looked and missed Norm's solution, but found a solution using the either of the two UR13.
 
The first UR13 is in r57c12: either r5c12=9 or r5c1=6. All three conditions imply r5c3=1.
 
The second UR13 is in r35c13: either r35c1=9 or r5c1=6. All three conditions  again imply r5c3=1.
 
 
After either UR a BUG+1 forces r5c1=3 to complete the puzzle.
 
 
Ted | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		tlanglet
 
 
  Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
  | 
		
			
				 Posted: Thu Oct 15, 2009 11:11 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | storm_norm wrote: | 	 		  Keith,
 
thank you,
 
as an encore move...
 
 
 	  | Code: | 	 		  .------------------.------------------.------------------.
 
| 2     19    5    | 4     7     19   | 6     3     8    |
 
| 7     8     4    | 6     3     2    | 9     5     1    |
 
|*139   6    *13   |*19    5     8    | 7     2     4    |
 
:------------------+------------------+------------------:
 
|-36    4     8    |#13    2     16   | 5     7     9    |
 
| 1369  139  #13   | 5     4     7    | 2     8     36   |
 
| 5     2     7    | 39    8     69   | 1     4     36   |
 
:------------------+------------------+------------------:
 
|#13    13    2    | 7     9     4    | 8     6     5    |
 
| 8     5     6    | 2     1     3    | 4     9     7    |
 
| 4     7     9    | 8     6     5    | 3     1     2    |
 
'------------------'------------------'------------------' | 	  
 
consider the 1's in row three marked with a star.
 
regardless which one is true, a 3 at the "#" signs has to be true.
 
if one of the "#" sign 3's has to be true this eliminates the 3 at r4c1 | 	  
 
 
So Norm, what do you call this new pattern? How about "Triple W-Wing" or "Integrated Double W-Wing"? "Only once in a lifetime" may also be an appropriate name.
 
 
In any case it was a great find.   
 
 
Ted | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		storm_norm
 
 
  Joined: 18 Oct 2007 Posts: 1741
 
  | 
		
			
				 Posted: Thu Oct 15, 2009 11:25 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				any of the 1's in row 3 false results in a w-wing {1,3} and eliminates the 3 in r4c1.  that is how the pattern molded together for me anyways.
 
 
you just have to be sure that whichever 1 you count as false can also be shown to give the same result when considered to be true.
  Last edited by storm_norm on Thu Oct 15, 2009 11:30 pm; edited 1 time in total | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		tlanglet
 
 
  Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
  | 
		
			
				 Posted: Thu Oct 15, 2009 11:28 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | daj95376 wrote: | 	 		  An unusual approach is to use my Templates Reduction approach that I mentioned in the Players' Forums.
 
 
 	  | Code: | 	 		   Blue/Green coloring on <9> shows only two possibilities.
 
 Amber/Pink coloring on <6> shows only two possibilities.
 
 <9> can not be Blue because it overlays Amber and Pink cells for <6>.
 
 r1c2,r3c4,r5c1,r6c6 <> 9
 
 +---------------------------------------------------------------+
 
 |  2     B19    5     |  4     7    G19    |  6     3     8     |
 
 |  7      8     4     |  6     3     2     |  9     5     1     |
 
 | G139    6     13    | B19    5     8     |  7     2     4     |
 
 |---------------------+--------------------+--------------------|
 
 |  36     4     8     |  13    2     16    |  5     7     9     |
 
 | B1369A G139   13    |  5     4     7     |  2     8     36P   |
 
 |  5      2     7     | G39    8    B69P   |  1     4     36A   |
 
 |---------------------+--------------------+--------------------|
 
 |  13     13    2     |  7     9     4     |  8     6     5     |
 
 |  8      5     6     |  2     1     3     |  4     9     7     |
 
 |  4      7     9     |  8     6     5     |  3     1     2     |
 
 +---------------------------------------------------------------+
 
 # 21 eliminations remain
 
 | 	 
  | 	  
 
 
Danny, I am not aware of this technique you call Templates Reduction. I follow your logic and it is     
 
 
A link to your post on the Players Forum would be useful. Also, I am not clear what is meant by the comment "Blue/Green coloring on <9> shows only two possibilities. ". 
 
 
Ted | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		keith
 
 
  Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
  | 
		
			
				 Posted: Fri Oct 16, 2009 1:03 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Keith's solution:
 
 
(Not that it's anything great.)
 
 
After basics: 	  | Code: | 	 		  +----------------+----------------+----------------+
 
| 2    19   5    | 4    7    19   | 6    3    8    | 
 
| 7    8    4    | 6    3    2    | 9    5    1    | 
 
| 1-39 6    13@ | 19#  5    8    | 7    2    4    | 
 
+----------------+----------------+----------------+
 
| 36%  4    8    | 13%  2    16   | 5    7    9    | 
 
| 1369 139  13   | 5    4    7    | 2    8    36   | 
 
| 5    2    7    | 39@  8    69   | 1    4    36   | 
 
+----------------+----------------+----------------+
 
| 13   13   2    | 7    9    4    | 8    6    5    | 
 
| 8    5    6    | 2    1    3    | 4    9    7    | 
 
| 4    7    9    | 8    6    5    | 3    1    2    | 
 
+----------------+----------------+----------------+ | 	  
 
The flightless XY-wing 1-39 with pincers @ and with coloring %, takes out <3> in R3C1: 	  | Code: | 	 		  +-------------+-------------+-------------+
 
| 2   19  5   | 4   7   19  | 6   3   8   | 
 
| 7   8   4   | 6   3   2   | 9   5   1   | 
 
| 19# 6   3   | 19# 5   8   | 7   2   4   | 
 
+-------------+-------------+-------------+
 
|-36  4   8   | 13@ 2   16  | 5   7   9   | 
 
| 369 39  1   | 5   4   7   | 2   8   36  | 
 
| 5   2   7   | 39  8   69  | 1   4   36  | 
 
+-------------+-------------+-------------+
 
| 13@ 13  2   | 7   9   4   | 8   6   5   | 
 
| 8   5   6   | 2   1   3   | 4   9   7   | 
 
| 4   7   9   | 8   6   5   | 3   1   2   | 
 
+-------------+-------------+-------------+ | 	  Ignoring the BUG+1,  13@ are a W-wing taking out <3> in R4C1.
 
 
Done.  Makes my day!
 
 
Keith | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Fri Oct 16, 2009 3:11 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | tlanglet wrote: | 	 		  Danny, I am not aware of this technique you call Templates Reduction. I follow your logic and it is     
 
 
A link to your post on the Players Forum would be useful. Also, I am not clear what is meant by the comment "Blue/Green coloring on <9> shows only two possibilities. ". 
 
 | 	  
 
Hello Ted,
 
 
FWIW: It's nice to have an ISP connection again. Hopefully the tech can get it to be more stable. Working out of the city library sucked!
 
 
I debated including an external link on this approach, but then decided that just presenting an example was the way to go.
 
 
In my original presentation, I didn't call it anything because it was just an observation based on manipulating Templates in a way that I hadn't done previously. Unfortunately, it didn't seem to be practical for manual solvers. Then I realized that it would work for manual solvers in a very limited scenario.
 
 
Templates allow a (computer) solver to determine how many different ways the remaining candidates for a value can be arranged without creating a conflict for that value. When there are only two possible arrangements, all of the candidates for a value can be colored using two colors.
 
 
If you have two values whose (respective) candidates can be colored using two colors, then you can easily check for a conflict between selecting one color for the first value and the two colors for the second value. I nicknamed this approach Templates Reduction because of how it works in a computer solver. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		storm_norm
 
 
  Joined: 18 Oct 2007 Posts: 1741
 
  | 
		
			
				 Posted: Thu Oct 22, 2009 5:22 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | tlanglet wrote: | 	 		   	  | storm_norm wrote: | 	 		  Keith,
 
thank you,
 
as an encore move...
 
 
 	  | Code: | 	 		  .------------------.------------------.------------------.
 
| 2     19    5    | 4     7     19   | 6     3     8    |
 
| 7     8     4    | 6     3     2    | 9     5     1    |
 
|*139   6    *13   |*19    5     8    | 7     2     4    |
 
:------------------+------------------+------------------:
 
|-36    4     8    |#13    2     16   | 5     7     9    |
 
| 1369  139  #13   | 5     4     7    | 2     8     36   |
 
| 5     2     7    | 39    8     69   | 1     4     36   |
 
:------------------+------------------+------------------:
 
|#13    13    2    | 7     9     4    | 8     6     5    |
 
| 8     5     6    | 2     1     3    | 4     9     7    |
 
| 4     7     9    | 8     6     5    | 3     1     2    |
 
'------------------'------------------'------------------' | 	  
 
consider the 1's in row three marked with a star.
 
regardless which one is true, a 3 at the "#" signs has to be true.
 
if one of the "#" sign 3's has to be true this eliminates the 3 at r4c1 | 	  
 
 
So Norm, what do you call this new pattern? How about "Triple W-Wing" or "Integrated Double W-Wing"? "Only once in a lifetime" may also be an appropriate name.
 
 
In any case it was a great find.   
 
 
Ted | 	  
 
 
this is probably the simplest and easy to see "finned w-wing" | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		 |