The New Sudoku Players' Forum

[mith]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . 9 |
| . . 8 | 7 . . | . . . |
| . 6 . | . 5 . | . 4 . |
+-------+-------+-------+
| . . . | . . 3 | . . . |
| . . 2 | 8 . . | 7 . . |
| . 5 . | . 4 . | . 6 . |
+-------+-------+-------+
| . 4 . | . 6 . | . 9 . |
| . . 7 | 3 . . | 8 . . |
| 3 . . | . . . | . . 5 |
+-------+-------+-------+
........9..87......6..5..4......3.....28..7...5..4..6..4..6..9...73..8..3.......5

[rjamil]

Let begin with basics:

1) HT: 456 @ r8c169 in Row 8;
2) HP: 78 @ r1c8 r3c9 in Box 3;
3) HP: 56 @ r4c4 r5c6 in Box 5;
4) HP: 46 @ r8c9 r9c7 in Box 9;

Code: Select all

 +---------------------+---------------------+----------------------+
 | 12457   1237  145-3 | 1246  1238   12468  | 1256-3  78    9      |
 | 12459   1239  8     | 7     1239   12469  | 1256-3  1235  126-3  |
 | 1279    6     1(3)9 | 129   5      1289   | 12(3)   4     78     |
 +---------------------+---------------------+----------------------+
 | 146789  1789  1469  | 56    1279   3      | 12459   1258  1248   |
 | 1469    139   2     | 8     19     56     | 7       135   14-3   |
 | 1789    5     1(3)9 | 129   4      1279   | 12(3)9  6     12(3)8 |
 +---------------------+---------------------+----------------------+
 | 1258    4     15    | 125   6      12578  | 12(3)   9     12(3)7 |
 | 56      129   7     | 3     129    45     | 8       12    46     |
 | 3       1289  169   | 1249  12789  124789 | 46      127   5      |
 +---------------------+---------------------+----------------------+

5) SF: 3 @ r367c379 Row wise;
6) SF: 4 @ r258c169 Row wise;
7) SF: 7 @ r367c169 Row wise;
8) SF: 8 @ r367c169 Row wise;
9) HT: 378 @ r1c258 in Row 1;
10) HT: 378 @ r367c9 in Column 9;
11) HP: 78 @ r4c2 r6c1 in Box 4;
12) HP: 78 @ r7c6 r9c5 in Box 8;
13) ALT: 129 @ r789c4 r36c4 r8c5 r9c6 => -12 @ r1c4;
14) JF: 2 @ r1367c1467 Row wise;
15) HT: 278 @ r9c258 in Row 9;
16) JF: 1 @ r2458c2589 Column wise;
17) NQ: 4569 @ r4c1347 in Row 4;
18) HQ: 1278 @ r1367c1 in Column 1;
19) HP: 35 @ r25c8 in Column 8;
20) HP 45 @ r1c3 r2c1 in Box 1;
21) LC (Type 2 Claiming): 9 @ r456c1;
22) SF: 5 @ r147c347 Row wise; stte

Note: What I see the interesting thing about this puzzle is that first placement occurred after all above mentioned 22 moves.

R. Jamil

[denis_berthier]

Code: Select all

+-------+-------+-------+
| . . . | . . . | . . 9 |
| . . 8 | 7 . . | . . . |
| . 6 . | . 5 . | . 4 . |
+-------+-------+-------+
| . . . | . . 3 | . . . |
| . . 2 | 8 . . | 7 . . |
| . 5 . | . 4 . | . 6 . |
+-------+-------+-------+
| . 4 . | . 6 . | . 9 . |
| . . 7 | 3 . . | 8 . . |
| 3 . . | . . . | . . 5 |
+-------+-------+-------+
........9..87......6..5..4......3.....28..7...5..4..6..4..6..9...73..8..3.......5

One more champion of Subsets and nothing else

Hidden Text: Show

(solve "........9..87......6..5..4......3.....28..7...5..4..6..4..6..9...73..8..3.......5")
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = S
*** Using CLIPS 6.32-r770
***********************************************************************************************
239 candidates, 1736 csp-links and 1736 links. Density = 6.1%
hidden-pairs-in-a-block: b9{r8c9 r9c7}{n4 n6} ==> r9c7 ≠ 2, r9c7 ≠ 1, r8c9 ≠ 2, r8c9 ≠ 1
hidden-pairs-in-a-block: b5{r4c4 r5c6}{n5 n6} ==> r5c6 ≠ 9, r5c6 ≠ 1, r4c4 ≠ 9, r4c4 ≠ 2, r4c4 ≠ 1
hidden-pairs-in-a-block: b3{r1c8 r3c9}{n7 n8} ==> r3c9 ≠ 3, r3c9 ≠ 2, r3c9 ≠ 1, r1c8 ≠ 5, r1c8 ≠ 3, r1c8 ≠ 2, r1c8 ≠ 1
naked-triplets-in-a-row: r8{c2 c5 c8}{n2 n9 n1} ==> r8c6 ≠ 9, r8c6 ≠ 2, r8c6 ≠ 1, r8c1 ≠ 9, r8c1 ≠ 2, r8c1 ≠ 1
swordfish-in-columns: n3{c2 c5 c8}{r5 r1 r2} ==> r5c9 ≠ 3, r2c9 ≠ 3, r2c7 ≠ 3, r1c7 ≠ 3, r1c3 ≠ 3
swordfish-in-columns: n4{c3 c4 c7}{r4 r1 r9} ==> r9c6 ≠ 4, r4c9 ≠ 4, r4c1 ≠ 4, r1c6 ≠ 4, r1c1 ≠ 4
swordfish-in-columns: n8{c2 c5 c8}{r4 r9 r1} ==> r9c6 ≠ 8, r4c9 ≠ 8, r4c1 ≠ 8, r1c6 ≠ 8
hidden-triplets-in-a-column: c9{n3 n7 n8}{r6 r7 r3} ==> r7c9 ≠ 2, r7c9 ≠ 1, r6c9 ≠ 2, r6c9 ≠ 1
swordfish-in-rows: n7{r3 r6 r7}{c9 c1 c6} ==> r9c6 ≠ 7, r4c1 ≠ 7, r1c1 ≠ 7
hidden-pairs-in-a-block: b4{r4c2 r6c1}{n7 n8} ==> r6c1 ≠ 9, r6c1 ≠ 1, r4c2 ≠ 9, r4c2 ≠ 1
hidden-pairs-in-a-block: b8{r7c6 r9c5}{n7 n8} ==> r9c5 ≠ 9, r9c5 ≠ 2, r9c5 ≠ 1, r7c6 ≠ 5, r7c6 ≠ 2, r7c6 ≠ 1
hidden-triplets-in-a-row: r1{n3 n7 n8}{c5 c2 c8} ==> r1c5 ≠ 2, r1c5 ≠ 1, r1c2 ≠ 2, r1c2 ≠ 1
jellyfish-in-columns: n2{c2 c9 c5 c8}{r9 r2 r4 r8} ==> r9c6 ≠ 2, r9c4 ≠ 2, r4c7 ≠ 2, r2c7 ≠ 2, r2c6 ≠ 2, r2c1 ≠ 2
hidden-triplets-in-a-row: r9{n2 n7 n8}{c2 c8 c5} ==> r9c8 ≠ 1, r9c2 ≠ 9, r9c2 ≠ 1
jellyfish-in-columns: n1{c2 c5 c8 c9}{r2 r5 r8 r4} ==> r5c1 ≠ 1, r4c7 ≠ 1, r4c3 ≠ 1, r4c1 ≠ 1, r2c7 ≠ 1, r2c6 ≠ 1, r2c1 ≠ 1
hidden-pairs-in-a-block: b4{r5c2 r6c3}{n1 n3} ==> r6c3 ≠ 9, r5c2 ≠ 9
naked-quads-in-a-column: c1{r2 r8 r4 r5}{n4 n5 n6 n9} ==> r7c1 ≠ 5, r3c1 ≠ 9, r1c1 ≠ 5
hidden-pairs-in-a-block: b1{r1c3 r2c1}{n4 n5} ==> r2c1 ≠ 9, r1c3 ≠ 1
whip[1]: c1n9{r5 .} ==> r4c3 ≠ 9
special-naked-quads-in-a-row: r4{c1 c3 c4 c7}{n6 n9 n4 n5} ==> r4c8 ≠ 5, r4c5 ≠ 9
hidden-pairs-in-a-column: c8{n3 n5}{r2 r5} ==> r5c8 ≠ 1, r2c8 ≠ 2, r2c8 ≠ 1
swordfish-in-columns: n5{c1 c6 c8}{r2 r8 r5} ==> r2c7 ≠ 5
stte

[Cenoman]

In four fish-steps:

Code: Select all

 +-------------------------+--------------------------+------------------------+
 |  1245-7   1237   145-3  |  1246   1238    1246-8   |  1256-3  78     9      |
 |  12459    1239   8      |  7      1239    12469    |  1256-3  1235   126-3  |
 | <1279     6     <139    | <129    5      <1289     | <123     4     <78     | 129
 +-------------------------+--------------------------+------------------------+
 |  1469-78  1789   1469   |  56     1279    3        |  12459   1258   124-8  |
 |  1469     139    2      |  8      19      56       |  7       135    14-3   |
 | <1789     5     <139    | <129    4      <1279     | <1239    6     <1238   | 129
 +-------------------------+--------------------------+------------------------+
 | <1258     4     <15     | <125    6      <12578    | <123     9     <1237   | 125
 |  56       129    7      |  3      129     45       |  8       12     46     |
 |  3        1289   169    |  1249   12789   1249-78  |  46      127    5      |
 +-------------------------+--------------------------+------------------------+
    78              3                        78          3              378

1. Three swordfishes (3)r367\c379, (78)r367\c169, presented as a MSLS:
18 cell truths: r367 c134679
18 links: 78c1, 3c3, 78c6, 3c7, 378c9, 129r3, 129c6, 125c7
11 eliminations; -3r1c37, r2c79, r5c9; -7r1c1, -8 r1c6, r4c9, -78 r4c1, r9c6
Basics: HP(78) b4 & b8; HT(378) r1c258 & r367c9

Code: Select all

 +------------------------+------------------------+-----------------------+
 |  1245*   37     145    |  1246*  38     1246*   |  1256*   78     9     |
 |  1459-2  1239   8      |  7      1239   1469-2  |  156-2   1235   126   |
 |  1279*   6      139    |  129*   5      1289*   |  123*    4      78    |
 +------------------------+------------------------+-----------------------+
 |  1469    78     1469   |  56     1279   3       |  1459-2  1258   124   |
 |  1469    139    2      |  8      19     56      |  7       135    14    |
 |  78      5      139    |  129*   4      1279*   |  1239*   6      38    |
 +------------------------+------------------------+-----------------------+
 |  1258*   4      15     |  125*   6      78      |  123*    9      37    |
 |  56      129    7      |  3      129    45      |  8       12     46    |
 |  3       1289   169    |  149-2  78     149-2   |  46      127    5     |
 +------------------------+------------------------+-----------------------+

2. Jellyfish (2) r1367\c1467 => -2 r2c167, r4c7, r9c46
Basics: HT(278)r9c258

Code: Select all

 +-----------------------+-----------------------+-----------------------+
 |  1245   37     145    |  1246   38     1246   |  1256    78     9     |
 |  459-1  1239*  8      |  7      1239*  469-1  |  56-1    1235*  126*  |
 |  1279   6      139    |  129    5      1289   |  123     4      78    |
 +-----------------------+-----------------------+-----------------------+
 |  469-1  78     469-1  |  56     1279*  3      |  459-1   1258*  124*  |
 |  469-1  139*   2      |  8      19*    56     |  7       135*   14*   |
 |  78     5      139    |  129    4      1279   |  1239    6      38    |
 +-----------------------+-----------------------+-----------------------+
 |  1258   4      15     |  125    6      78     |  123     9      37    |
 |  56     129*   7      |  3      129*   45     |  8       12*    46    |
 |  3      28     169    |  149    78     149    |  46      27     5     |
 +-----------------------+-----------------------+-----------------------+

3. Jellyfish (1)c2589\r2458 => -1 r2c167, r4c137, r5c1
Basics NQ(4569) r4c1347 & r2458c1; HP (13)b4p59, (35)r25c8, (45)b1p34; locked (9)r45c1

Code: Select all

 +---------------------+-----------------------+---------------------+
 |  12    37     45*   |  1246   38     1246   |  1256*  78    9     |
 |  45    1239   8     |  7      1239   469    |  6-5    35    126   |
 |  127   6      139   |  129    5      1289   |  123    4     78    |
 +---------------------+-----------------------+---------------------+
 |  469   78     46    |  56*    127    3      |  459*   128   12    |
 |  469   13     2     |  8      19     56     |  7      35    14    |
 |  78    5      13    |  129    4      1279   |  1239   6     38    |
 +---------------------+-----------------------+---------------------+
 |  128   4      15*   |  125*   6      78     |  123    9     37    |
 |  56    129    7     |  3      129    45     |  8      12    46    |
 |  3     28     169   |  149    78     149    |  46     27    5     |
 +---------------------+-----------------------+---------------------+

4. Swordfish (5)r147c367 =>-5r2c7; singles to the end

[pjb]

Three MSS's with various locked sets between:

16 cell Truths: r2458 c2589
16 links: 23r2, 278r4, 3r5, 2r8, 19c2, 19c5, 15c8, 146c9
16 eliminations: -2 r2c167; -3 r2c7; -78 r4c1; -2 r4c7; -1 r19c2; -9 r9c2; -1 r1c5; -19 r9c5; -1 r9c8; -1 r6c9; -1 r7c9

16 cell Truths: c2589 r2458
16 links: 9c2, 9c5, 5c8, 46c9, 123r2, 1278r4, 13r5, 12r8
7 eliminations: -1 r2c16; -1 r2c7; -1 r4c137; -1 r5c1

24 cell Truths: r13467 c13467
24 links: 146r1, 19r3, 469r4, 19r6, 1r7, 278c1, 35c3, 25c4, 278c6, 235c7
1 eliminations: -5 r2c7; stte

Phil