- Code: Select all
+---+---+---+
|...|.4.|9..|
|..3|.2.|...|
|.1.|...|...|
+---+---+---+
|...|1.2|..3|
|4..|...|.8.|
|9..|6..|...|
+---+---+---+
|8..|..7|4..|
|...|3..|...|
|...|...|.5.|
+---+---+---+
+---+---+---+
|...|.4.|9..|
|..3|.2.|...|
|.1.|...|...|
+---+---+---+
|...|1.2|..3|
|4..|...|.8.|
|9..|6..|...|
+---+---+---+
|8..|..7|4..|
|...|3..|...|
|...|...|.5.|
+---+---+---+
+------------------------+------------------+-----------------------+
| 2 678 678 | 5 4 3 | 9 167 17 |
| 67* y49 3 | 89 2 1 |zG58 67* z458 |
| 5 1 x49 | 89 7 6 | 3 2 48 |
+------------------------+------------------+-----------------------+
| 67* c58(67) c58(67) | 1 9 2 | 67-5* 4 3 |
| 4 26 126 | 7 3 5 | 126 8 9 |
| 9 3 b1257 | 6 8 4 | 1257 1-7 1257 |
+------------------------+------------------+-----------------------+
| 8 569 wAa569 | 2 B'156 7 | 4 3 E'B'16 |
| 1 24567 24567 | 3 C'56 8 | 27 9 D'267 |
| 3 267 267 | 4 16 9 | F1278 5 F12678 |
+------------------------+------------------+-----------------------+
2 678 678 5 4 3 9 167 17
67 49 3 89 2 1 58 67 458
5 1 49 89 7 6 3 2 48
67 5678 5678 1 9 2 567 4 3
4 26 126 7 3 5 126 8 9
9 3 1257 6 8 4 1257 17 1257
8 569 569 2 156 7 4 3 16
1 24567 24567 3 56 8 27 9 267
3 267 267 4 16 9 1278 5 12678
n2r56c7 OR n2r6c9 => r6c8 <> 7
ste.
2 678 678 5 4 3 9 167 17
67 49 3 89 2 1 58 67 458
5 1 49 89 7 6 3 2 48
67 5678 5678 1 9 2 56 4 3
4 26 126 7 3 5 126 8 9
9 3 125 6 8 4 125 17 157
8 569 569 2 156 7 4 3 16
1 2456 2456 3 56 8 7 9 26
3 267 267 4 16 9 18 5 1268
7r6c8 => r7c3 <> 5,6,9
let A be r6c8=7 - r2c8{n7 n6} - c1n6{r2 r4} - r4c7{n6 n5}
A - r6n5{c79 c3}
A - r6c9{n57 n1} - r7c9{n1 n6}
A - r2c7{n5 n8} - r2c4{n8 n9} - r3n9{c3 c2}
=> r6c8 <> 7
2 678 678 5 4 3 9 167 17
67 4 3 9 2 1 8 67 5
5 1 9 8 7 6 3 2 4
67 5678 5678 1 9 2 567 4 3
4 26 126 7 3 5 16 8 9
9 3 157 6 8 4 157 17 2
8 9 56 2 156 7 4 3 16
1 2567 4 3 56 8 27 9 67
3 267 267 4 16 9 127 5 8
7r6c8 => r8c5 <> 5,6
r6c8=7 - r2c8{n7 n6} - c1n6{r2 r4} - r4c7{n67 n5} - c2n5{r4 r8}
r6c8=7 - b3n7{r12c8 r1c9} - r8c9{n7 n6}
=> r6c8 <> 7
,------------------,-------------,------------------,
| 2 678 678 | 58 4 3 | 9 167 1578 |
| 67 46789 3 | 589 2 1 | 578 67 4578 |
| 5 1 489 | 89 7 6 | 3 2 48 |
:------------------+-------------+------------------:
| 67 5678 5678 | 1 9 2 | 567 4 3 |
| 4 26 126 | 7 3 5 | 126 8 9 |
| 9 3 1257 | 6 8 4 | 1257 17 1257 |
:------------------+-------------+------------------:
| 8 569 569 | 2 156 7 | 4 3 16 |
| 1 24567 24567 | 3 56 8 | 27 9 267 |
| 3 267 267 | 4 16 9 | 1278 5 12678 |
'------------------'-------------'------------------'