| 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? 
 /SudoQ 	  | Code: |  	  | r4c7/c9=5: r4c7=5 => r2c7(=3)<>7
 r4c9=5 => r3c9=7 => r2c7<>7
 
 | 
 |  | 
	
		| 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 |  | 
	
		|  | 
	
		|  |