- Code: Select all
*-----------*
|...|.68|9..|
|529|3..|...|
|..8|...|1..|
|---+---+---|
|.4.|...|...|
|.53|4.9|81.|
|...|...|.7.|
|---+---+---|
|..1|...|6..|
|...|..6|248|
|..6|23.|...|
*-----------*
*-----------*
|...|.68|9..|
|529|3..|...|
|..8|...|1..|
|---+---+---|
|.4.|...|...|
|.53|4.9|81.|
|...|...|.7.|
|---+---+---|
|..1|...|6..|
|...|..6|248|
|..6|23.|...|
*-----------*
137 137 4 57 6 8 9 2 357
5 2 9 3 14 147 47 8 6
37 6 8 579 2459 245 1 35 3457
189 4 7 158 1258 1235 35 6 59
6 5 3 4 7 9 8 1 2
189 19 2 6 158 135 345 7 459
2 79 1 5789 4589 45 6 35 357
379 379 5 179 19 6 2 4 8
4 8 6 2 3 57 57 9 1
7r9c7 => r4c1 <> 1,8,9
let A be r9c7=7 - r2c7{n7 n4} - r2c5{n4 n1} - r8c5{n1 n9} - r7n9{c45 c2}
A - r6c2{n9 n1}
A - r7n7{c2 c4} - c4n8{r7 r4}
r9c7=7 - c7n5{r9 r46} - r4c9{n5 n9}
=> r9c7 <> 7
ste.
*--------------------------------------------------------------*
| 137 137 4 | 57 6 8 | 9 2 357 |
| 5 2 9 | 3 d14 147 | d47 8 6 |
| 37 6 8 | 579 2459 2457 | 1 35 3457 |
|-----------------+-----------------------+--------------------|
| 189 4 7 | 158 1258 1235 | 35 6 59 |
| 6 5 3 | 4 7 9 | 8 1 2 |
| 189 19 2 | 6 158 135 | 345 7 459 |
|-----------------+-----------------------+--------------------|
| 2 a9-7 1 | b5789 b4589 457 | 6 35 357 |
| h379 h379 5 | g179 c19 6 | 2 4 8 |
| 4 8 6 | 2 3 f57 | e57 9 1 |
*--------------------------------------------------------------*
*-------------------------------------------------------------*
| 137 137 4 | 57 6 8 | 9 2 357 |
| 5 2 9 | 3 bcd14 b147 |a7-4 8 6 |
| 37 6 8 | 579 2459 2457 | 1 35 3457 |
*-------------------+---------------------+-------------------|
| 189 4 7 | 158 1258 1235 | 35 6 59 |
| 6 5 3 | 4 7 9 | 8 1 2 |
| 189 g19 2 | 6 g158 g135 |g345 7 459 |
*-------------------+---------------------+-------------------|
| 2 f79 1 |e5789 ef4589 cd457 | 6 35 357 |
| 379 379 5 | 179 cd19 6 | 2 4 8 |
| 4 8 6 | 2 3 cd57 | 57 9 1 |
*-------------------------------------------------------------*