A General Logic for Sudoku

Golden Nugget

 

 

Elimination 1b

 

Elimination 1b is an attempt to piggyback the elimination of 6r1c3 on top of 3r7c9, which required only small number of extra sets. Note, the logic is not the same as in elimination 1. The dual elimination uses 23 sets and 34 linksets. No detailed analysis yet.

 

 

Logic and grid

 

E1a  74 Nodes, Rank 11:

     23 Sets = {7r3 127r4 278r6 1247r7 247c3 247c5 1n67 2n37 1b1 4b6}

     34 Links = {1246r1 247r2 4r5 1c2 6c3 1c4 78c6 1247c7 1n35 4n78 6n89 7n479 2b48 4b28 7b1357}

     --> (6r1*6c3*1n3) => r1c3<>6, (7n9) => r7c9<>3

 

  +-----------------------------------------------------------------------------+

  | 25678   4568(1) 56(1247 | 268     6(247)  (4678)  | (1247)  3       9       |

  | 26789   4689    (2467)  | 23689   36(247) 1       | (247)   2467    5       |

  | 269(7)  469(1)  3       | 269     5       469(7)  | 8       1246(7) 124(7)  |

  +-----------------------------------------------------------------------------+

  | 35(2)   345     8       | 35(1)   9       35(7)   | 35(1247 (1247)  6       |

  | 3569    7       56(4)   | 13568   136     2       | 1359(4) 189(4)  138(4)  |

  | 1       3569    56(2)   | 4       36(7)   356(78) | 359(27) 9(278)  3(278)  |

  +-----------------------------------------------------------------------------+

  | 36(7)   36(1)   9       | 36(12)  8       36(4)   | 3(1247) 5       3(1247) |

  | 3578    2       15(7)   | 1359    13(4)   3459    | 6       14789   13478   |

  | 4       13568   156     | 7       136(2)  3569    | 1239    1289    1238    |

  +-----------------------------------------------------------------------------+

 


 
 
 


 
 
 

height=358 id="_x0000_i1026" src="../easter/image/e000_001.jpg">

 


 
 
 

;
 

 

 


 
 
 


 
 
 

height=358 id="_x0000_i1026" src="../easter/image/e000_001.jpg">