- Code: Select all
+---+---+---+
|...|5..|1.7|
|.2.|..7|...|
|...|.4.|.63|
+---+---+---+
|9..|2..|6..|
|.3.|8.6|.4.|
|..7|..5|..9|
+---+---+---+
|39.|.5.|...|
|...|9..|.7.|
|5.2|..8|...|
+---+---+---+
+---+---+---+
|...|5..|1.7|
|.2.|..7|...|
|...|.4.|.63|
+---+---+---+
|9..|2..|6..|
|.3.|8.6|.4.|
|..7|..5|..9|
+---+---+---+
|39.|.5.|...|
|...|9..|.7.|
|5.2|..8|...|
+---+---+---+
*-----------------------------------------------------------------------------*
|*46+8b *46+8b 34689 | 5 2368 b239 | 1 b#28+9 7 |
| 168 2 135689 | 36 368 7 | 4589 589 458 |
| 7 b58 b589 | 1 4 b29 | 2589 6 3 |
|-------------------------+-------------------------+-------------------------|
| 9 1458 1458 | 2 7 134 | 6 1358 158 |
| 12 3 15 | 8 9 6 | 7 4 125 |
|*12468 *1468 7 |b4-3 ca13 5 | 238 a#28+13 9 |
|-------------------------+-------------------------+-------------------------|
| 3 9 1468 | 7 5 124 | 248 c#28+1 12468 |
| 1468 1468 1468 | 9 1236 1234 | 23458 7 124568 |
| 5 7 2 | 346 c136 8 | 349 c139 c146 |
*-----------------------------------------------------------------------------*
DP(28)r167c8
||
(13)r6c58*
||
(9)r1c9-r1c6=r3c6-(9=58)r3c23-(8)r1c12==(4)r6c4*
||
(1)r7c8-r9c89=r9c5-(1=3)r6c5*
468 468 34689 5 2368 239 1 289 7
168 2 135689 36 368 7 4589 589 458
7 58 589 1 4 29 2589 6 3
9 1458 1458 2 7 134 6 1358 158
12 3 15 8 9 6 7 4 125
12468 1468 7 34 13 5 238 1238 9
3 9 1468 7 5 124 248 128 12468
1468 1468 1468 9 1236 1234 23458 7 124568
5 7 2 346 136 8 349 139 146
n2r5c1 OR n2r6c1 => r6c5 <> 1
ste.
468 468 34689 5 2368 239 1 289 7
168 2 135689 36 368 7 4589 589 458
7 58 589 1 4 29 2589 6 3
9 1458 1458 2 7 134 6 1358 158
2 3 15 8 9 6 7 4 15
1468 1468 7 34 13 5 238 1238 9
3 9 1468 7 5 124 48 18 12468
1468 1468 1468 9 1236 1234 3458 7 124568
5 7 2 346 136 8 349 139 146
1r6c5 => r2478c9 <> 8
r6c5=1 - r9n1{c5 c89} - r7c8{n1 n8}
r6c5=1 - r9n1{c5 c89} - r7c8{n1 n8} - r7c7{n8 n4} - r2n4{c7 c9}
r6c5=1 - r9n1{c5 c89} - r7c8{n1 n8} - r7c7{n8 n4} - r9n4{c79 c4} - r6c4{n4 n3} - 28r6c78
=> r6c5 <> 1
468 48 3 5 68 29 1 28 7
68 2 1 36 368 7 4589 589 458
7 5 89 1 4 29 28 6 3
9 48 48 2 7 13 6 135 15
1 3 5 8 9 6 7 4 2
2 6 7 4 13 5 38 138 9
3 9 468 7 5 14 28 128 168
48 1 468 9 2 34 358 7 568
5 7 2 36 136 8 349 139 146
1r6c5 => r7c7 <> 2,8
r6c5=1 - r4c6{n1 n3} - r8n3{c6 c7} - r6c7{n3 n8} - r3c7{n8 n2}
=> r6c5 <> 1