HoDoKu Solving Technique Index: Example for "Forcing Net Verity (only net 1)"

Solving Technique Example

Original sudoku:

..........3..7.8.98....315.9.8142............5..6...4.1.42........7....6.8...531.

Use the following line if you want to load the sudoku in HoDoKu:

:1204::...+8......3+1+57.8.98....315.9.8142......+3+5....5.+36...4.1.42+3....+3..7....6.8...531.:211 412 612 712 213 613 713 416 916 933 572 982 986 587 987::

The following representation can be pasted in most Sudoku programs:

.-------------------.---------------.-------------------.

| 467   259    59   | 8   1269  16  | 2467  2367   2347 |

| 246   3      1    | 5   7     46  | 8     26     9    |

| 8     24679  267  | 49  269   3   | 1     5      247  |

:-------------------+---------------+-------------------:

| 9     67     8    | 1   4     2   | 567   367    357  |

| 2467  12467  267  | 3   5     789 | 2679  26789  1278 |

| 5     127    3    | 6   89    789 | 279   4      1278 |

:-------------------+---------------+-------------------:

| 1     679    4    | 2   3     689 | 579   789    578  |

| 3     25     259  | 7   189   148 | 24    289    6    |

| 267   8      2679 | 49  69    5   | 3     1      247  |

'-------------------'---------------'-------------------'

Representation of the step:

.----------------------.------------------.----------------------.

| *467   *259    *59   |  8    1269  *16  | *2467  *2367    2347 |

| *246    3       1    |  5    7     *46  |  8     *26      9    |

|  8     *24679  *267  | *49  *269    3   |  1      5      *247  |

:----------------------+------------------+----------------------:

|  9     *67      8    |  1    4      2   |  567    367     357  |

|  2467  *12467  *267  |  3    5      789 |  2679   26789  *1278 |

|  5      127     3    |  6   *89     789 |  279    4      *1278 |

:----------------------+------------------+----------------------:

|  1     *679     4    |  2    3     *689 | *579   *789    *578  |

|  3     *25     *259  |  7   *189   *148 | *24    *289     6    |

| *267    8      *2679 | *49  *69     5   |  3      1      *247  |

'----------------------'------------------'----------------------'



Forcing Net Verity => r1c2=5

  r7c2=6 (r4c2=7 r5c3<>7) (r3c2<>6) r9c5=6 (r9c5<>9) (r9c5<>9) r3c3=6 (r5c3=2 r8c3<>2) (r1c1=7 r9c1=2 r8c2=5 r8c3=9 r8c8=8 r7c9<>8) r9c3=7 r9c4=9 r3c4=4 r5c2=4 r5c9=1 r6c9=8 r8c5=8 r8c6=1 r1c6=6 r2c6=4 r3c4=9 r9c3=9 r8c3=5 r1c2=5

  r7c2=7 (r7c2<>6) (r4c2=6 r3c2<>6) (r7c8<>7) (r7c7<>7) r9c9=7 (r3c3=7 r9c3=6 r9c1<>6) (r3c3=7 r3c3<>6) (r9c9<>2) r8c7=4 r8c8=2 r2c8=6 (r1c7<>6) r1c1=6 r2c8=6 (r1c7<>6) r2c1=2 r9c1=7 r7c2=9 (r1c2<>9) r1c3=9 r1c2=5

  r7c2=9 (r1c2<>9) r1c3=9 r1c2=5