A General Logic for Sudoku

Easter Monster, First SK Loop

 

 

Elimination 1, 2D Grid Diagram

 

 

Elimination 1, 3D Grid Diagram

 

 

 

 

Elimination 1, Rank 0 Sets

Elimination 1, Set Logic and Grid

 

EM00 44 Nodes, Rank 0:

     16 Sets = {1267r2 1267r8 1267c2 1267c8}

     16 Links = {2n56 4n8 5n28 6n2 8n45 27b1 16b3 16b7 27b9}

     --> (7b1) => r1c3<>7, (2n5) => r2c5<>3, (2n5) => r2c5<>8, (2n6) => r2c6<>8, (2b1) => r3c1<>2, (5n2) => r5c2<>4, (5n2) => r5c2<>8, (5n8) => r5c8<>3, (5n8) => r5c8<>9, (1b7) => r7c3<>1, (8n4) => r8c4<>5, (8n5) => r8c5<>4, (6b7) => r9c1<>6

 

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

  | 1       48(7)   34578   | 3567    3689    5678    | 3489    39(6)   2       |

  | 38(2)   9       38(7)   | 4       38(126) 8(1267) | 38(1)   5       38(6)   |

  | 23458   48(2)   6       | 1235    12389   1258    | 7       39(1)   3489    |

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

  | 2468    5       1478    | 9       1246    3       | 128     (1267)  678     |

  | 234689  48(126) 13489   | 126     7       1246    | 123589  39(126) 35689   |

  | 2369    (1267)  1379    | 8       5       126     | 1239    4       3679    |

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

  | 7       48(1)   14589   | 1235    12348   12458   | 6       39(2)   3459    |

  | 45(6)   3       45(1)   | 5(1267) 4(126)  9       | 45(2)   8       45(7)   |

  | 45689   48(6)   2       | 3567    3468    45678   | 3459    39(7)   1       |

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

 

Elimination 1, Logic Diagrams

 

*==*

|  |

|  *==*==============*

|  |  |              |

|  *==*===========*  |

|  |  |           |  |

|  *==*==*        |  |

|        |        |  *========*==*

|        |        |           |  |

|        |        *===========*==*

|        *==*==*              |  |

|           |  |              |  |

|           *==*===========*  |  |

|           |  |           |  |  |

|           *==*========*  |  |  |

|              |        |  |  |  *===========*

*==============*        |  |  |  |           |

                        |  |  *==*==*        |

                        |  |        |        |

                        |  |        *==*==*  |

                        |  |           |  |  |

                        |  *===========*==*  |

                        |              |  |  |

                        *==============*==*  |

                                          |  |

                                          *==* 

 

 

 

 

p127==p627

 |     |

 |    p621==p521==========================p721

 |     |     |                             |

 |    p626==p526====================p926   |

 |     |     |                       |     |

 |    p622==p522==p322               |     |

 |                 |                 |     |

 |                 |                 |    p831==============p851==p841

 |                 |                 |                       |     |

 |                 |                p816====================p856==p846

 |                 |                                         |     |

 |                p212==p252==p262                           |     |

 |                       |     |                             |     |

 |                      p251==p261====================p271   |     |

 |                       |     |                       |     |     |

 |                      p256==p266==============p296   |     |     |

 |                             |                 |     |     |     |

 |                             |                 |     |     |    p847====================p897

 |                             |                 |     |     |     |                       |

p237==========================p267               |     |     |     |                       |

                                                 |     |     |     |                       |

                                                 |     |    p852==p842==p872               |

                                                 |     |                 |                 |   

                                                 |     |                p782==p582==p482   |

                                                 |     |                       |     |     |   

                                                 |    p381====================p581==p481   |

                                                 |                             |     |     |   

                                                p186==========================p586==p486   |   

                                                                                     |     |   

                                                                                    p487==p987