The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| 3 . . | . . 1 | . . . |
| . . 4 | . . . | 1 5 . |
| . . . | . 9 . | . 2 . |
+-------+-------+-------+
| . 6 5 | 3 . . | . . . |
| . . . | . 5 . | . . . |
| . . . | . . 8 | 9 7 . |
+-------+-------+-------+
| . 9 . | . 3 . | . . . |
| . 2 3 | . . . | 8 . . |
| . . . | 4 . . | . . 6 |
+-------+-------+-------+
3....1.....4...15.....9..2..653.........5.........897..9..3.....23...8.....4....6

[denis_berthier]

After singles and whips[1], the resolution state is:

Code: Select all

   3         578       26789     2578      2678      1         467       4689      4789     
   26789     78        4         278       2678      3         1         5         789       
   15678     1578      1678      578       9         4         367       2         378       
   789       6         5         3         127       279       24        148       1248     
   789       4         789       1279      5         279       236       1368      1238     
   12        3         12        6         4         8         9         7         5         
   145678    9         1678      1278      3         2567      2457      14        1247     
   14567     2         3         179       17        5679      8         149       1479     
   1578      1578      178       4         1278      2579      2357      139       6         


Starting from this state:

Code: Select all

hidden-pairs-in-a-row: r8{n5 n6}{c1 c6} ==> r8c6 ≠ 9, r8c6 ≠ 7, r8c1 ≠ 7, r8c1 ≠ 4, r8c1 ≠ 1
hidden-single-in-a-block ==> r7c1 = 4
naked-single ==> r7c8 = 1
whip[1]: b7n1{r9c3 .} ==> r9c5 ≠ 1
hidden-pairs-in-a-column: c4{n1 n9}{r5 r8} ==> r8c4 ≠ 7, r5c4 ≠ 7, r5c4 ≠ 2
hidden-pairs-in-a-block: b1{n2 n9}{r1c3 r2c1} ==> r2c1 ≠ 8, r2c1 ≠ 7, r2c1 ≠ 6, r1c3 ≠ 8, r1c3 ≠ 7, r1c3 ≠ 6
hidden-single-in-a-row ==> r2c5 = 6
whip[1]: r1n6{c8 .} ==> r3c7 ≠ 6
finned-swordfish-in-rows: n9{r4 r9 r2}{c1 c6 c8} ==> r1c8 ≠ 9
whip[1]: c8n9{r9 .} ==> r8c9 ≠ 9
biv-chain[3]: r4c8{n8 n4} - c7n4{r4 r1} - r1n6{c7 c8} ==> r1c8 ≠ 8
whip[1]: c8n8{r5 .} ==> r4c9 ≠ 8, r5c9 ≠ 8
biv-chain[3]: r4n1{c9 c5} - r8c5{n1 n7} - r8c9{n7 n4} ==> r4c9 ≠ 4
biv-chain[4]: r4n9{c1 c6} - b8n9{r9c6 r8c4} - r8c8{n9 n4} - r4c8{n4 n8} ==> r4c1 ≠ 8
singles ==> r4c8 = 8, r4c7 = 4
biv-chain[4]: c8n3{r9 r5} - b6n6{r5c8 r5c7} - r1c7{n6 n7} - r3c7{n7 n3} ==> r9c7 ≠ 3
stte

[pjb]

(8=4)r4c8 - (4)r4c7 = (4-6)r1c7 = (6-8)r1c8 => -8 r1c8
8s at r45c8 only ones in row/column => -8 r45c9 =>

Code: Select all

 3       578     29     | 2578   278    1      | 467    469   4789   
 29      78      4      | 278    6      3      | 1      5      789   
 15678   1578    1678   | 578    9      4      |f37     2     g378   
------------------------+----------------------+---------------------
 789     6       5      | 3     a127    279    | 24     48     24-1   
 789     4       789    | 9-1    5      279    | 236    368   h123   
 12      3       12     | 6      4      8      | 9      7      5     
------------------------+----------------------+---------------------
 4       9       678    | 278    3      2567   |e257    1     d27     
 56      2       3      | 19    b17     56     | 8      49    c479   
 1578    1578    178    | 4      278    2579   |e2357   39     6     


(1)r4c5 = (1-7)r8c5 = (7^)r8c9 - (7=2*)r7c9 - (2|7^=3)r79c7 - (3)r3c7 = (3)r3c9 - (3|2*=1)r5c9 => -1 r4c9, -1 r5c4; stte

Phil

[Cenoman]

Code: Select all

 +------------------------+----------------------+-----------------------+
 |  3       578    29     |  2578   278   1      |  467    4689   4789   |
 |  29      78     4      |  278    6     3      |  1      5      789    |
 |  15678   1578   1678   |  578    9     4      | y37     2     x378    |
 +------------------------+----------------------+-----------------------+
 |  789     6      5      |  3      127   279    |  24    X48     1248   |
 |  789     4      789    | b19     5     279    |  236    368  Aa1238wW |
 |  12      3      12     |  6      4     8      |  9      7      5      |
 +------------------------+----------------------+-----------------------+
 |  4       9      678    |  278    3     2567   | z257    1    zB27     |
 |  56      2      3      | c19    d17    56     |  8     Y49    Z49-7   |
 |  1578    1578   178    |  4      278   2579   | z2357   39     6      |
 +------------------------+----------------------+-----------------------+

Kraken cell (1238)r5c9
(1)r5c9 - r5c4 = r8c4 - (1=7)r8c5
(2)r5c9 - (2=7)r7c9
(3)r5c9 - r3c9 = r3c7 - (3=257)b9p137
(8)r5c9 - (8=4)r4c8 - r8c8 = (4)r8c9
=> -7 r8c9; ste