- Code: Select all
*-----------*
|6..|..7|348|
|.8.|..1|9..|
|2..|.8.|...|
|---+---+---|
|...|8..|.6.|
|.2.|.9.|.7.|
|.3.|..2|...|
|---+---+---|
|...|.1.|..4|
|..8|6..|.3.|
|397|2..|..5|
*-----------*
*-----------*
|6..|..7|348|
|.8.|..1|9..|
|2..|.8.|...|
|---+---+---|
|...|8..|.6.|
|.2.|.9.|.7.|
|.3.|..2|...|
|---+---+---|
|...|.1.|..4|
|..8|6..|.3.|
|397|2..|..5|
*-----------*
+----------------------+----------------------+---------------------+
| 6 15 159 | 59 2 7 | 3 4 8 |
| a47 8 a35 | a345 b356 1 | 9 2 67 |
| 2 47 39 | 349 8 3469 | 17 5 167 |
+----------------------+----------------------+---------------------+
| d179 d157 145 | 8 c357 345 | 1245 6 1239 |
| 18 2 1456 | 1345 9 3456 | 1458 7 13 |
| 189-7 3 1456 | 1457 567 2 | 1458 89 19 |
+----------------------+----------------------+---------------------+
| 5 6 2 | 379 1 39 | 78 89 4 |
| 14 14 8 | 6 57 59 | 27 3 279 |
| 3 9 7 | 2 4 8 | 6 1 5 |
+----------------------+----------------------+---------------------+
6 15 159 59 2 7 3 4 8
47 8 35 345 356 1 9 2 67
2 47 39 349 8 3469 17 5 167
179 157 145 8 357 345 1245 6 1239
18 2 1456 1345 9 3456 1458 7 13
1789 3 1456 1457 567 2 1458 89 19
5 6 2 379 1 39 78 89 4
14 14 8 6 57 59 27 3 279
3 9 7 2 4 8 6 1 5
6r6c5 => r1256c4 <> 5
let A be r6c5=6 - r2n6{c5 c9} - r2n7{c9 c1}
A - r6n7{c1 c4}
A - r6n7{c1 c4} - c4n1{r6 r5}
A - r2n4{c1 c4}
A - c2n7{r3 r4} - c2n5{r4 r1}
=> r6c5 <> 6
ste.
*---------------------------------------------------*
| 6 b15 159 | 59 2 7 | 3 4 8 |
| 47 8 a35 | 345 f56-3 1 | 9 2 67 |
| 2 d47 e39 |e349 8 e3469 | 17 5 167 |
|-----------------+------------------+--------------|
| 179 157 145 | 8 357 345 | 1245 6 1239 |
| 18 2 1456 | 1345 9 3456 | 1458 7 13 |
| 1789 3 1456 | 1457 567 2 | 1458 89 19 |
|-----------------+------------------+--------------|
| 5 6 2 | 379 1 39 | 78 89 4 |
| 14 c14 8 | 6 57 59 | 27 3 279 |
| 3 9 7 | 2 4 8 | 6 1 5 |
*---------------------------------------------------*
*-------------------------------------------------------------*
| 6 bg15 159 |cf59 2 7 | 3 4 8 |
|bc4-7 8 35 | d345 d356 1 | 9 2 67 |
| 2 abg47 39 | f349 8 3469 | 1-7 5 16-7 |
*--------------------+--------------------+-------------------|
| 179 157 145 | 8 357 345 | 1245 6 1239 |
| 18 2 1456 | 1345 9 3456 | 1458 7 13 |
| 1789 3 1456 | 1457 567 2 | 1458 89 19 |
*--------------------+--------------------+-------------------|
| 5 6 2 | f379 1 39 | 78 89 4 |
| 14 bg14 8 | 6 e57 59 | 27 3 279 |
| 3 9 7 | 2 4 8 | 6 1 5 |
*-------------------------------------------------------------*