| View previous topic :: View next topic   | 
	
	
	
		| Author | 
		Message | 
	
	
		keith
 
 
  Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
  | 
		
			
				 Posted: Sat Oct 09, 2010 9:58 am    Post subject: Free Press Oct 8, 2010 | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Code: | 	 		  
 
Puzzle: FP100810
 
+-------+-------+-------+
 
| . . . | 8 . 4 | 2 . . |
 
| . . . | . . 1 | . 7 4 |
 
| . . 7 | . 3 . | 5 . 9 |
 
+-------+-------+-------+
 
| . 6 1 | . 8 . | 7 . . |
 
| . . . | . . . | . . . |
 
| . . 9 | . 6 . | 3 5 . |
 
+-------+-------+-------+
 
| 6 . 3 | . 4 . | 9 . . |
 
| 1 5 . | . . . | . . . |
 
| . . 4 | 7 . 5 | . . . |
 
+-------+-------+-------+
 
 | 	  
 
Play this puzzle online at the Daily Sudoku site
 
 
Not yet started.
 
 
Keith | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		peterj
 
 
  Joined: 26 Mar 2010 Posts: 974 Location: London, UK
  | 
		
			
				 Posted: Sat Oct 09, 2010 4:24 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Two steps - needing an ANT/AIC combo ...
 
 	  | Quote: | 	 		  ER(2) ; (2)r5c5=r9c5 - r9c12=r8c3 ; r5c3<>2
 
AIC with ANT ; (5=8)r5c3 - ANT(247)[(8)r6c12=(1)r6c4]r6c126 - r7c4=r7c8 - r3c8=r3c2 - (1=9)r1c2 - (9=5)r1c1 ; r1c3<>5, r45c1<>5
 
(I had an x-wing(1) and xy-wing also - but extraneous)
 
 | 	  
 
[Edit] Clarified (!) AIC | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Sat Oct 09, 2010 7:27 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | elsewhere, Keith wrote: | 	 		   	  | Code: | 	 		   after basics and X-Wing on <1>
 
 +--------------------------------------------------------------------------------+
 
 |  59      19      56      |  8       7       4       |  2       136     136     |
 
 |  238     238     268     |  9       5       1       |  68      7       4       |
 
 |  48      148     7       |  26      3       26      |  5       18      9       |
 
 |--------------------------+--------------------------+--------------------------|
 
 |  345     6       1       |  345     8       39      |  7       49      2       |
 
 |  234578  2348    258     |  2345    12      2379    |  1468    4689    68      |
 
 |  2478    248     9       |  124     6       27      |  3       5       18      |
 
 |--------------------------+--------------------------+--------------------------|
 
 |  6       7       3       |  12      4       8       |  9       12      5       |
 
 |  1       5       28      |  36      9       36      |  48      248     7       |
 
 |  289     289     4       |  7       12      5       |  168     2368    368     |
 
 +--------------------------------------------------------------------------------+
 
 # 79 eliminations remain
 
 
 (1)r1c89 = UR Type 3 => r9c5=1
 
 | 	 
  | 	  
 
Continuing that analysis:
 
 
 	  | Code: | 	 		   r9c5=1  r7c4<>1  r7c8=1  =>  r3c8<>1
 
 | 	 
  | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		peterj
 
 
  Joined: 26 Mar 2010 Posts: 974 Location: London, UK
  | 
		
			
				 Posted: Sat Oct 09, 2010 8:01 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				| Danny, that's an elegant move! | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Sat Oct 09, 2010 8:07 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				| Thanks. Unfortunately, all I did was add a little icing to a cake that Keith had already prepared. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Marty R.
 
 
  Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
  | 
		
			
				 Posted: Sat Oct 09, 2010 9:56 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				| I eliminated a couple of 1s via coloring. Then looked at the 36 DP. A couple of cells were forced and that broke it open. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		tlanglet
 
 
  Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
  | 
		
			
				 Posted: Sun Oct 10, 2010 3:42 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				I looked at the AUR(36)r19c89 before taking the x-wing 1, and found a useless deletion:
 
External SIS:r2c7=6, r9c7=6; 
 
(6)r2c7
 
||
 
(6)r9c7; r5c7<>6
 
 
At this point I moved on to look for other moves including the x-wing 1.  What I failed to pursue again was the AUR(36)r19c89. Using the identical SIS, we get
 
 
(6)r2c7-(8)r2c7=(8)r3c8
 
||
 
(6)r9c7-(1)r9c7=r7c8-(1=8)r3c8; r3c8=8 as posted by Keith/Danny
 
 
Ted | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		tlanglet
 
 
  Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
  | 
		
			
				 Posted: Sun Oct 10, 2010 4:07 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | peterj wrote: | 	 		  Two steps - needing an ANT/AIC combo ...
 
 	  | Quote: | 	 		  ER(2) ; (2)r5c5=r9c5 - r9c12=r8c3 ; r5c3<>2
 
AIC with ANT ; (5=8)r5c3 - ANT(247)[(8)r6c12=(1)r6c4]r6c126 - r7c4=r7c8 - r3c8=r3c2 - (1=9)r1c2 - (9=5)r1c1 ; r1c3<>5, r45c1<>5
 
(I had an x-wing(1) and xy-wing also - but extraneous)
 
 | 	  
 
[Edit] Clarified (!) AIC | 	  
 
 
Peter,
 
 
I am confused about your use of the ANT(247). I see a valid ANT(247)r6c126 but you included (1)r6c4 in your post which makes it a ANQ. 
 
 
As an ANT, I think it would need to be 
 
(5=8)r5c3 - ANT(247)[(8)r6c12=(247)r6c126]r6c126 - (24=1)r6c4-r7c4=r7c8 - r3c8=r3c2 - (1=9)r1c2 - (9=5)r1c1 ; r1c3<>5, r45c1<>5
 
 
It is a great move in any case!
 
 
Ted | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Sun Oct 10, 2010 4:32 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Ted's comment on ANQ() caused me to review the grid.
 
 
 	  | Code: | 	 		   after basics and Peter's ER(2)
 
 *-----------------------------------------------------------------------------*
 
 | 59      19      56      | 8       7       4       | 2       136     136     |
 
 | 238     238     268     | 9       5       1       | 68      7       4       |
 
 | 48      148     7       | 26      3       26      | 5       18      9       |
 
 |-------------------------+-------------------------+-------------------------|
 
 | 345     6       1       | 345     8       39      | 7       49      2       |
 
 | 234578  2348    58      | 12345   12      2379    | 1468    14689   168     |
 
 | 2478    248     9       | 124     6       27      | 3       5       18      |
 
 |-------------------------+-------------------------+-------------------------|
 
 | 6       7       3       | 12      4       8       | 9       12      5       |
 
 | 1       5       28      | 36      9       36      | 48      248     7       |
 
 | 289     289     4       | 7       12      5       | 168     12368   1368    |
 
 *-----------------------------------------------------------------------------*
 
 | 	  
 
What I saw was an ANQ()/ALS consuming four of five unsolved cells in [r6]. Whenever something like this happens, there always seems to be a simpler interpretation using the unused cell:
 
 
(5=8)r5c3 - r6c12 = (8-1)r6c9 = r6c4 - r7c4=r7c8 - r3c8=r3c2 - (1=9)r1c2 - (9=5)r1c1 ; r1c3<>5, r45c1<>5
 
 
As Ted mentioned, nice find ... no matter what the interpretation. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		peterj
 
 
  Joined: 26 Mar 2010 Posts: 974 Location: London, UK
  | 
		
			
				 Posted: Sun Oct 10, 2010 4:48 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | tlanglet wrote: | 	 		  | I am confused about your use of the ANT(247) | 	  
 
 
Ted, you are quite right. I originally had exactly your notation, and went back to edit it as I thought it was a bit clunky and the link 8=1 was "clear"! Cut one too many corners Thanks. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		tlanglet
 
 
  Joined: 17 Oct 2007 Posts: 2468 Location: Northern California Foothills
  | 
		
			
				 Posted: Sun Oct 10, 2010 8:32 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | peterj wrote: | 	 		   	  | tlanglet wrote: | 	 		  | I am confused about your use of the ANT(247) | 	  
 
 
Ted, you are quite right. I originally had exactly your notation, and went back to edit it as I thought it was a bit clunky and the link 8=1 was "clear"! Cut one too many corners Thanks. | 	  
 
 
Peter, it is very interesting that I messed up yesterday the same way by changing my steps when I prepared a post. Maybe we both have learned a small lesson..........
 
 
Ted | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		keith
 
 
  Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
  | 
		
			
				 Posted: Mon Oct 11, 2010 3:06 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | daj95376 wrote: | 	 		   	  | elsewhere, Keith wrote: | 	 		   	  | Code: | 	 		   after basics and X-Wing on <1>
 
 +--------------------------------------------------------------------------------+
 
 |  59      19      56      |  8       7       4       |  2       136     136     |
 
 |  238     238     268     |  9       5       1       |  68      7       4       |
 
 |  48      148     7       |  26      3       26      |  5       18      9       |
 
 |--------------------------+--------------------------+--------------------------|
 
 |  345     6       1       |  345     8       39      |  7       49      2       |
 
 |  234578  2348    258     |  2345    12      2379    |  1468    4689    68      |
 
 |  2478    248     9       |  124     6       27      |  3       5       18      |
 
 |--------------------------+--------------------------+--------------------------|
 
 |  6       7       3       |  12      4       8       |  9       12      5       |
 
 |  1       5       28      |  36      9       36      |  48      248     7       |
 
 |  289     289     4       |  7       12      5       |  168     2368    368     |
 
 +--------------------------------------------------------------------------------+
 
 # 79 eliminations remain
 
 
 (1)r1c89 = UR Type 3 => r9c5=1
 
 | 	 
  | 	  
 
Continuing that analysis:
 
 
 	  | Code: | 	 		   r9c5=1  r7c4<1>  r3c8<>1
 
 | 	 
  | 	  
 
Danny,
 
 
I disagree.  This is a very nice observation that I did not see.  
 
 
What I did see is that 6 in R9C7 forces 6 in R2C7 via R7C8 and R3C8, so R9C7 <>6.  
 
 
Which, after a couple of simplifications, reveals Marty's UR in R19C89 here: 	  | Code: | 	 		  +----------------------+----------------------+----------------------+
 
| 59     19     56     | 8      7      4      | 2      136    136    | 
 
| 238    238    268    | 9      5      1      | 68     7      4      | 
 
| 48     148    7      | 26     3      26     | 5      18     9      | 
 
+----------------------+----------------------+----------------------+
 
| 345    6      1      | 345    8      39     | 7      49     2      | 
 
| 234578 2348   258    | 2345   12     2379   | 146    469    68     | 
 
| 2478   248    9      | 124    6      27     | 3      5      18     | 
 
+----------------------+----------------------+----------------------+
 
| 6      7      3      | 12     4      8      | 9      12     5      | 
 
| 1      5      28     | 36     9      36     | 48     248    7      | 
 
| 289    289    4      | 7      12     5      | 18     36     36     | 
 
+----------------------+----------------------+----------------------+ | 	  
 
 
Keith | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Mon Oct 11, 2010 3:41 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | keith wrote: | 	 		  I disagree.  This is a very nice observation that I did not see.  
 
 | 	  
 
I credited you with the first part of the solution. It came from your statement here.
 
 
 	  | keith wrote: | 	 		  I see it as either one of R1C89 is 1, and / or there is a pseudo-triple 289 in R9C12(8+9), which forces R9C5=1 and R9C7=6. (R9C89 are a pseudocell 28.)
 
 | 	  
 
All I did was transport r9c5=1 using the strong link (1)r7c4=(1)r7c8.
 
 
Regards, Danny | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		keith
 
 
  Joined: 19 Sep 2005 Posts: 3355 Location: near Detroit, Michigan, USA
  | 
		
			
				 Posted: Mon Oct 11, 2010 3:53 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Danny,
 
 
Yes.  But I did not connect to a common implication of a 1 in R1B3 and a pseudo-triple in R9.
 
 
Keith | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Mon Oct 11, 2010 3:56 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | keith wrote: | 	 		  Yes.  But I did not connect to a common implication of a 1 in R1B3 and a pseudo-triple in R9.
 
 | 	  
 
That's why I only gave you credit for "part of the solution". _   _ | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		 |