- Code: Select all
+---+---+---+
|...|..8|7..|
|2..|.1.|...|
|1.4|...|...|
+---+---+---+
|...|26.|3..|
|.5.|...|6..|
|8..|...|...|
+---+---+---+
|.3.|6..|...|
|...|4..|.2.|
|...|...|.1.|
+---+---+---+
+---+---+---+
|...|..8|7..|
|2..|.1.|...|
|1.4|...|...|
+---+---+---+
|...|26.|3..|
|.5.|...|6..|
|8..|...|...|
+---+---+---+
|.3.|6..|...|
|...|4..|.2.|
|...|...|.1.|
+---+---+---+
.----------------------.------------------.-------------------.
| 3569 69 3569 | 359 2 8 | 7 4 1 |
| 2 789 35789 | 3579 1 4 | 589 6 589 |
| 1 789 4 | 579 579 6 | 2 3 589 |
:----------------------+------------------+-------------------:
| 479 #1479 #179 | 2 6 579 | 3 5789 45789 |
| 3479 5 2379 | 1 8 379 | 6 79 2479 |
| 8 2679 23679 | 579 4 3579 | 1 579 2579 |
:----------------------+------------------+-------------------:
| 459 3 #12 | 6 59 12 | 4589 5789 5789 |
| 5679 16789 156789 | 4 3579 1579 | 59 2 36 |
| 45679 #4679-2 25679 | 8 3579 2579 | 459 1 36 |
'----------------------'------------------'-------------------'
*----------------------------------------------------------*
| 3569 69 3569 | 359 2 8 | 7 4 1 |
| 2 789 35789 | 3579 1 4 | 589 6 589 |
| 1 789 4 | 579 579 6 | 2 3 589 |
|----------------------+----------------+------------------|
| 479 f179-4 e179 | 2 6 579 | 3 5789 a45789 |
| 3479 5 c2379 | 1 8 379 | 6 79 b2479 |
| 8 2679 23679 | 579 4 3579 | 1 579 2579 |
|----------------------+----------------+------------------|
| 459 3 d12 | 6 59 12 | 4589 5789 5789 |
| 5679 16789 156789 | 4 3579 1579 | 59 2 36 |
| 45679 24679 25679 | 8 3579 2579 | 459 1 36 |
*----------------------------------------------------------*
Resolution state after Singles and whips[1]:
+----------------------+----------------------+----------------------+
! 3569 69 3569 ! 359 2 8 ! 7 4 1 !
! 2 789 35789 ! 3579 1 4 ! 589 6 589 !
! 1 789 4 ! 579 579 6 ! 2 3 589 !
+----------------------+----------------------+----------------------+
! 479 1479 179 ! 2 6 579 ! 3 5789 45789 !
! 3479 5 2379 ! 1 8 379 ! 6 79 2479 !
! 8 2679 23679 ! 579 4 3579 ! 1 579 2579 !
+----------------------+----------------------+----------------------+
! 4579 3 125789 ! 6 579 12579 ! 4589 5789 5789 !
! 5679 16789 156789 ! 4 3579 1579 ! 589 2 356789 !
! 45679 24679 25679 ! 8 3579 2579 ! 459 1 35679 !
+----------------------+----------------------+----------------------+
hidden-pairs-in-a-column: c9{n3 n6}{r8 r9} ==> r9c9≠9, r9c9≠7, r9c9≠5, r8c9≠9, r8c9≠8, r8c9≠7, r8c9≠5
whip[1]: b9n7{r7c9 .} ==> r7c1≠7, r7c3≠7, r7c5≠7, r7c6≠7
hidden-pairs-in-a-row: r7{n1 n2}{c3 c6} ==> r7c6≠9, r7c6≠5, r7c3≠9, r7c3≠8, r7c3≠5
whip[1]: r7n8{c9 .} ==> r8c7≠8
biv-chain[3]: c2n4{r9 r4} - b4n1{r4c2 r4c3} - r7c3{n1 n2} ==> r9c2≠2
stte
after singles and intersections:
3569 69 3569 359 2 8 7 4 1
2 789 35789 3579 1 4 589 6 589
1 789 4 579 579 6 2 3 589
479 a-1×479 179 2 6 579 3 5789 45789
h3+479 5 f-2379 1 8 379 6 79 g+2479
8 2679 23679 579 4 3579 1 579 2579
4579 3 e1+25789 6 579 d+12579 4589 5789 5789
5679 b+16789 156789 4 3579 c-1579 589 2 356789
45679 24679 25679 8 3579 2579 459 1 35679
depth: 4 candidate: 4 from start
((1 0) (4 2 4) (1 4 7 9))
((1 0) (8 2 7) (1 6 7 8 9))
((1 1 1) (7 6 8) (1 2 5 7 9))
((2 2 10) (7 3 7) (1 2 5 7 8 9))
((2 3 1) (5 9 6) (2 4 7 9))
((4 4 10) (5 1 4) (3 4 7 9))
singles:
( r2c4b2 n3 r1c2b1 n6 r4c6b5 n5 r1c1b1 n3 r5c3b4 n3
r4c8b6 n8 r5c1b4 n4 r4c9b6 n4 r6c6b5 n3 r5c9b6 n2
r6c3b4 n6 r7c7b9 n4 r6c2b4 n2 r9c2b7 n4 )
3 6 59 59 2 8 7 4 1
2 789 5789 3 1 4 589 6 d5-89
1 789 4 579 579 6 2 3 d5-89
79 179 179 2 6 5 3 8 4
4 5 3 1 8 a-79 6 ×79 2
8 2 6 ×79 4 3 1 579 d-5+7-9
c579 3 125789 6 c5-79 b12*79 4 c579 c-5-7+8-9
5679 1789 15789 4 3579 b1*79 589 2 356789
5679 4 2579 8 3579 b2*79 59 1 35679
depth: 2 candidate: 7 from cells
(((5 8 6) (7 9)) ((6 4 5) (7 9)))
((7 0) (5 6 5) (7 9))
((7 0 2 0) ((7 6 8) (1 2 7 9)) ((8 6 8) (1 7 9)) ((9 6 8) (2 7 9)))
((8 1 161) (7 9 9) (5 7 8 9))
((7 2 112) (6 9 6) (5 7 9))
ste.
+---------------------+----------------+-----------------+
| 3569 69 3569 | 359 2 8 | 7 4 1 |
| 2 789 35789 | 3579 1 4 | 589 6 589 |
| 1 789 4 | 579 579 6 | 2 3 589 |
+---------------------+----------------+-----------------+
| 479 c1479 d179 | 2 6 579 | 3 5789 45789 |
| 3479 5 *379-2 | 1 8 379 | 6 79 2479 |
| 8 a2679 23679 | 579 4 3579 | 1 579 2579 |
+---------------------+----------------+-----------------+
| 459 3 e12 | 6 59 12 | 4589 5789 5789 |
| 5679 16789 156789 | 4 3579 1579 | 59 2 36 |
| 45679 b24679 25679 | 8 3579 2579 | 459 1 36 |
+---------------------+----------------+-----------------+