| View previous topic :: View next topic   | 
	
	
	
		| Author | 
		Message | 
	
	
		ZeroAssoluto
 
 
  Joined: 05 Feb 2017 Posts: 1020 Location: Rimini, Italy
  | 
		
			
				 Posted: Sat Nov 06, 2021 10:01 am    Post subject: Nov 06 VH | 
				     | 
			 
			
				
  | 
			 
			
				Hi everyone, 
 
 
 	  | Code: | 	 		  
 
+------------+-----------+-----------+
 
| 4   3  2   | 68 68  1  | 9  5   7  |
 
| 5   1  8   | 9  7   4  | 3  6   2  |
 
| 6   9  7   | 2  3   5  | 18 48  14 |
 
+------------+-----------+-----------+
 
| 379 47 349 | 35 2   89 | 58 1   6  |
 
| 1   6  5   | 7  4   89 | 2  89  3  |
 
| 2   8  39  | 35 1   6  | 57 479 49 |
 
+------------+-----------+-----------+
 
| 789 27 1   | 68 689 3  | 4  279 5  |
 
| 39  24 349 | 1  5   7  | 6  29  8  |
 
| 789 5  6   | 4  89  2  | 17 3   19 |
 
+------------+-----------+-----------+
 
 | 	  
 
Play this puzzle online at the Daily Sudoku site
 
 
XY-Wing 4,8,9 in r35c8,r6c9 and -4 in r3c9,r6c8
 
 
Ciao Gianni | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		TomC
 
 
  Joined: 30 Oct 2020 Posts: 359 Location: Wales
  | 
		
			
				 Posted: Sat Nov 06, 2021 10:26 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Pincers on 9's mean that either r5c8=9 or r9c9=9
 
 
This means you can remove the 9's in r6c9 and r78c8 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Mogulmeister
 
 
  Joined: 03 May 2007 Posts: 1151
 
  | 
		
			
				 Posted: Sat Nov 06, 2021 4:13 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				<68> UR means r7c5 = 9
 
 
{ed - still need a step afterwards}
  Last edited by Mogulmeister on Sun Nov 07, 2021 11:43 pm; edited 1 time in total | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		TomC
 
 
  Joined: 30 Oct 2020 Posts: 359 Location: Wales
  | 
		
			
				 Posted: Sat Nov 06, 2021 4:46 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				There is an XY chain which starts in r4c4 which goes 5-8-1-4-9-3-5
 
 
So r4c4 <>5 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Mogulmeister
 
 
  Joined: 03 May 2007 Posts: 1151
 
  | 
		
			
				 Posted: Sun Nov 07, 2021 10:21 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | TomC wrote: | 	 		  | There is an XY chain which starts in r4c4 which goes 5-8-1-4-9-3-5 So r4c4 <>5 | 	  
 
 
 
I think that's the contradiction loop Tom that starts in r4c4 with a 5 then creates a loop which removes that 5* and so r4c4 < > 5
 
 
*by sticking another 5 in r6c4
  Last edited by Mogulmeister on Sun Nov 07, 2021 10:46 pm; edited 1 time in total | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Mogulmeister
 
 
  Joined: 03 May 2007 Posts: 1151
 
  | 
		
			
				 Posted: Sun Nov 07, 2021 10:27 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				The very closely related  XY chain starts at the pincers for 5 at r6c4 and r4c7 would go:
 
 
not 5
 
is 8  ......................................................................not 3 is 5    
 
 
(5=8)r4c7-(8=1)r3c7-(1=4)r3c9-(4=9)r6c9-(9=3)r6c3-(3=5)r6c4 => r4c4 < > 5 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Mogulmeister
 
 
  Joined: 03 May 2007 Posts: 1151
 
  | 
		
			
				 Posted: Sun Nov 07, 2021 11:59 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Here's a nice ALS xz
 
 
Set A {5,7,8,9} 4 candidates so n-1 =3 squares
 
 
Set B {2,7,9} 3 candidates so n-1 =2 squares
 
 
Restricted Common is 9 found in r578c8
 
 
Common Candidate is 7 in r9c7 which is seen by both 7's in A and B so gets eliminated.
 
 
 
 
  Last edited by Mogulmeister on Mon Nov 08, 2021 12:30 am; edited 2 times in total | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Mogulmeister
 
 
  Joined: 03 May 2007 Posts: 1151
 
  | 
		
			
				 Posted: Mon Nov 08, 2021 12:13 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				I like the above because they are visual and quite easy to spot (imho).
 
 
You could take a chain view of course:
 
 
1) (7=5)r6c7-(5=8)r4c7-(8=9)r5c8-(9=27)r78c8  ==> r9c7 < > 7
 
 
2) You can also put 7 in r9c7 and go round the loop which would then remove it.
 
 
+7r9c7-(7=5)r6c7-(5=8)r4c7-(8=9)r5c8-(9=27)r78c8-(7)r9c7 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		TomC
 
 
  Joined: 30 Oct 2020 Posts: 359 Location: Wales
  | 
		
			
				 Posted: Mon Nov 08, 2021 7:49 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				| Thanks Mogulmeister for the clarification, I was not sure about my XY chain (5-8-1-4-9-3-5) as I couldn't find the pincers, but you show that - 5 in r4c4 (also -5 in r6c7) | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		TomC
 
 
  Joined: 30 Oct 2020 Posts: 359 Location: Wales
  | 
		
			
				 Posted: Mon Nov 08, 2021 7:59 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				My first solution should be an XY chain then as if not 9 in r9c9 it is 9 in r5c8
 
 	  | TomC wrote: | 	 		  Pincers on 9's mean that either r5c8=9 or r9c9=9
 
 
This means you can remove the 9's in r6c9 and r78c8 | 	  
 
I didn't see this this way at first, but (using your grid) reasoned that if Green is 9 then use Orange loop to get Red = 1, but if Green is 9 then r9c9 is also 1 | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Mogulmeister
 
 
  Joined: 03 May 2007 Posts: 1151
 
  | 
		
			
				 Posted: Mon Nov 08, 2021 9:26 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | TomC wrote: | 	 		  
 
I didn't see this this way at first, but (using your grid) reasoned that if Green is 9 then use Orange loop to get Red = 1, but if Green is 9 then r9c9 is also 1 | 	  
 
 
Exactly. You have just worked through a proof above of the "restricted common" rule in ALS xy eliminations. 
 
 
Remember 
 
 
Finally, on a philosophical point regarding Sudoku solving:
 
 
 
 
 
 
 
There are some who see strange "yellow" teeth in a black mouth rather than the famous symbol! They are different sides of the same coin. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		 |