| View previous topic :: View next topic   | 
	
	
	
		| Author | 
		Message | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Mon Aug 01, 2011 6:01 pm    Post subject: Puzzle 11/08/01: ~ Advanced (moderate) | 
				     | 
			 
			
				
  | 
			 
			
				 	  | Code: | 	 		   +-----------------------+
 
 | 8 . . | 6 . 3 | 4 9 . |
 
 | . . 6 | . . . | . . . |
 
 | . 2 1 | 4 . 9 | . . . |
 
 |-------+-------+-------|
 
 | 2 . 8 | . 9 . | . . . |
 
 | . . . | 3 4 1 | 2 6 . |
 
 | 6 . 4 | . 8 5 | 1 . . |
 
 |-------+-------+-------|
 
 | 5 . . | . 6 4 | 9 . . |
 
 | 1 . . | . 3 . | . 2 . |
 
 | . . . | . . . | . . 6 |
 
 +-----------------------+
 
 | 	  
 
Play this puzzle online at the Daily Sudoku site | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		SudoQ
 
 
  Joined: 02 Aug 2011 Posts: 127
 
  | 
		
			
				 Posted: Tue Aug 02, 2011 9:14 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Is this syntax ok?
 
 	  | Code: | 	 		  | r4c7/c9=5 => r2c7<>7 | 	  
 
/SudoQ | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		daj95376
 
 
  Joined: 23 Aug 2008 Posts: 3854
 
  | 
		
			
				 Posted: Tue Aug 02, 2011 4:56 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				 	  | SudoQ wrote: | 	 		  Is this syntax ok?
 
 
 	  | Code: | 	 		  | r4c7/c9=5 => r2c7<>7 | 	  
 
 | 	  
 
It doesn't make any sense to me.
 
 
My solver finds a short chain for this elimination, but it includes the value <3>, which isn't in your syntax. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		SudoQ
 
 
  Joined: 02 Aug 2011 Posts: 127
 
  | 
		
			
				 Posted: Tue Aug 02, 2011 5:25 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				Is this better?
 
 	  | Code: | 	 		  r4c7/c9=5:
 
r4c7=5 => r2c7(=3)<>7
 
r4c9=5 => r3c9=7 => r2c7<>7
 
 | 	  /SudoQ | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		SudoQ
 
 
  Joined: 02 Aug 2011 Posts: 127
 
  | 
		
			
				 Posted: Tue Aug 02, 2011 7:45 pm    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				I have now learned from tlanglet that can be written as follows:
 
 	  | Code: | 	 		  | (7=5)r3c9-(5)r4c9=(5-3)r4c7=(3)r2c7; r2c7<>7 | 	  
 
Thank's a lot!
 
/SudoQ | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		Marty R.
 
 
  Joined: 12 Feb 2006 Posts: 5770 Location: Rochester, NY, USA
  | 
		
			
				 Posted: Thu Aug 04, 2011 4:38 am    Post subject:  | 
				     | 
			 
			
				
  | 
			 
			
				| Six moves. | 
			 
		  | 
	
	
		| Back to top | 
		 | 
	
	
		  | 
	
	
		 |