The New Sudoku Players' Forum

[yzfwsf]

[shye]

love the new uniqueness deductions! really looking forward to the rank0 logic, and the oddagon chains look super exciting too

[yzfwsf]

Has been updated to version 622, please go to my Google Cloud Disk to download。
Change the AIC algorithm and add als node support. At the same time, the high dpi adaptive adjustment is made to the text output part, but the obtained dpi may be deviated, and the magnification ratio can be manually modified. Activate the puzzle board and press the keyboard combination ctrl+shift+R to bring up the adjustment dialog box.To speed up, please close Death blosoom, complex fishes.
YZF

[yzfwsf]

Has been updated to version 623, please go to my Google Cloud Disk to download。
1. Add Firework related techniques, FW triple, FW quadruple, Dual FW ALP, FW Exocet, FW W-wing. However, the probability
of such techniques appearing in random puzzles is very low, the value is limited, and generally only FW triple, FW w-wing
will appear. It is estimated that other types of techniques can be found only through artificial puzzles.
2. Added Weak Exocet technique, confirmed by the newly added batch puzzle-solving module, there are more than 3 million puzzles
in the hardest ph_1910, this technique can reduce the difficulty of more than 50 of them to no need to use DFC, and more than 4000
of them to no need to use Brute Force.
3. The ALS related techniques are implemented by using the new chain algorithm. Death blosom no longer supports the complex
version. If necessary, you can reactivate the complex type by select the option "old AICalgorithm".
4. The UI part basically realizes high DPI adaptation. If the automatic adaptation fails, you can manually enter the magnification
ratio. Just activate the puzzle board and press the shortcut key "Ctrl + Shift + R".
5.Batch problem solving module, the first step specifies the input file, which should be a text file, each line contains a puzzle, only the
first 81 characters are read, the second step specifies the output file, which is also a text file, if the file already exists , Will be overwritten.
The output results include puzzles and software scores and a list of techniques used in solving the puzzles. If there are errors in the process of
elimination in technique, a file called "mistake.txt" will be automatically generated to write the wrong puzzles.

[shye]

just noticed and downloaded the new update, super exciting stuff!!! (especially for me )

[shye]

been playing around with the new update, got a few things to mention/suggest


first a bug with the new GSP pairs (unsure when the advanced GSP deductions were added but very happy to see it!)
puzzle:
......56....1....7..9..2..8.2..1.3...8..9..5...1.3..4.5..4..9..6....3....78......



second, there seems to be instances where the solver cannot detect the new firework tuples, at least on my end. heres some puzzles where they dont show up but are there

triple (fireworks on 123 in r9c1b7)
.765..48.4...6..155.......7..24.3...8......7..13..5..4...3.1..9...2....6....9.75.

quad (fireworks on 12 in r9c1b7 and 45 in r1c9b3)
.98......7...65...6..4..3....28...4....1.4....1...65....3..1..8...28...9......67.

unsure why these puzzles fly under the radar but very similar ones get noticed

lastly, heres a suggestion for a FW technique that i suspect will be more common (at least, closer to the commonality of the F-triple and DF w-wing than everything else)
its related to the FExocet but much simpler

Code: Select all

skfr 7.7
..5..237.1...5...42..3....13..9....64......5..1...89..........5...8.........4621.

.-------------------------.--------------------.-------------------.
|x689   4689     5        | 146   1689   2     | 3     7     #89   |
| 1     36789    36789    | 67    5      79    | 68    2      4    |
| 2     46789    46789    | 3     6789   479   | 5     689    1    |
:-------------------------+--------------------+-------------------:
| 3     2578     278      | 9     127    45    | 1478  48     6    |
| 4     26789    26789    | 1267  12367  137   | 178   5      2378 |
| 567   1        267      | 45    2367   8     | 9     34     237  |
:-------------------------+--------------------+-------------------:
| 6789  2346789  12346789 | 127   12379  1379  | 4678  34689  5    |
| 5679  2345679  1234679  | 8     12379  13579 | 467   3469   379  |
|x89-57 35789    3789     | 57    4      6     | 2     1     x3789 |
'-------------------------'--------------------'-------------------'

Dual Firework S-Ring

fireworks on 89 in r9c1b7
8r9c1 = 8r1c1&8r9c9 - (8=9)r1c9 - 9r1c1&9r9c9 = 9r9c9
=> -57r9c1
(solves with a turbot fish)

[yzfwsf]

Release 623V2

Thank you for your feedback. In fact, the bugs in GSP Pair have been found and fixed through the
program's automatic problem solving function. I am waiting to report other bugs, so that they can
be fixed together and release a revised version.Sure enough, my understanding of FW related techniues
is biased. I thought that FW Triple=2* has no missing corners + 1* has missing corners, but it is not.
Thanks for providing the example, the bug has been fixed, please test.But there may be new bugs

[kirara0048]

This ALS XZ pattern should also be the WXYZ-Wing, but not detected as latter.

Hidden Text: Show

Code: Select all

.----------------.-----------.------------------.
| 6    2     189 | 4  79  3  | 5     789   1789 |
| 14   349   5   | 2  79  8  | 1347  379   6    |
| 7    3489  389 | 1  5   6  | 2348  2389  2489 |
:----------------+-----------+------------------:
| 12   5     127 | 9  3   14 | 4678  678   478  |
| 134  3479  6   | 8  2   14 | 347   379   5    |
| 8    349   39  | 5  6   7  | 234   1     249  |
:----------------+-----------+------------------:
| 25   68    4   | 7  1   9  | 268   2568  3    |
| 35   1     378 | 6  4   2  | 9     578   78   |
| 9    67    27  | 3  8   5  | 1267  4     17   |
'----------------'-----------'------------------'


[yzfwsf]

This ALS XZ pattern should also be the WXYZ-Wing, but not detected as latter.
[/code][/hidden]

Since r6c3 does not have a z candidate 4, this structure cannot be identified as wxyz-wing.

[StrmCkr]

wxyz wings
Many people use my version of wxyz over the narrow search window version of the original idea.

Which allows extended eliminations as it's an als - xz structure having the same applicable eliminations of the als xz class.

4 digits 4 cells the "hinge sector" is always a box.
1 RC.
1+ nRC
(if more more then 1 restricted common it's a dual link)

[StrmCkr]

Code: Select all

.-----------------------.---------------------.--------------.
| 3       1568   568    | 16     18     9     | 7     4   2  |
| 2479    1279   247    | 5      1347   1247  | 6     8   39 |
| 246789  26789  24678  | 23467  3478   24678 | 39    1   5  |
:-----------------------+---------------------+--------------:
| 2478    23578  234578 | 2479   4579   247   | 2389  6   1  |
| 1       2357   9      | 8      6      247   | 23    57  34 |
| 24678   25678  245678 | 12479  14579  3     | 289   57  49 |
:-----------------------+---------------------+--------------:
| 789     789    1      | 479    2      478   | 5     3   6  |
| 268     4      2368   | 36     38     5     | 1     9   7  |
| 5       3679   367    | 13679  1379   167   | 4     2   8  |
'-----------------------'---------------------'--------------'

Code: Select all

Sue de Coq(Cannibalized): r23c6 - {124678} (r1c45 - {168}, r457c6 -{2478}) =>  r2c5<>1 r3c4<>6 r9c6<>7 r1c2<>8 r1c3<>8 r3c5<>8 r3c6<>8 r7c1<>8 r7c2<>8 r8c5<>8

missing the 3 internal eliminations. caused by the cannibalize

Code: Select all

+-----------------------+--------------------------+--------------+
| 3       156-8  56-8   | (16)    (+8-1)  9        | 7     4   2  |
| 2479    1279   247    | 5       347-1   (1247)   | 6     8   39 |
| 246789  26789  24678  | 2347-6  347-8   (2467-8) | 39    1   5  |
+-----------------------+--------------------------+--------------+
| 2478    23578  234578 | 2479    4579    (247)    | 2389  6   1  |
| 1       2357   9      | 8       6       (247)    | 23    57  34 |
| 24678   25678  245678 | 12479   14579   3        | 289   57  49 |
+-----------------------+--------------------------+--------------+
| 79-8    79-8   1      | 479     2       (+8-47)  | 5     3   6  |
| 268     4      2368   | 36      3-8     5        | 1     9   7  |
| 5       3679   367    | 13679   1379    16-7     | 4     2   8  |
+-----------------------+--------------------------+--------------+

not really a big deal as they are found as singles post clean up.

[StrmCkr]

http://forum.enjoysudoku.com/almost-locked-rules-for-now-t2510-15.html some stuff to add if you have time

Code: Select all

2 ALS 2 restricted common rule
------------------------------
If A have degrees of freedom of 2
and B and C are ALS
with
x restricted common to A and B
y restricted common to A and C
and z common to A B C
then you cant have z in a cell that can see all the z candidates in A B C

doubly linked rule : {see 2nd example}
with
 w,x  restricted common to A & B
 y,z   restricted common to A & C
all Restricted commons cannot be in A  as it can only occupy 2 of the 4 thus B,C must contain  at least 1 of each of the RC's
digits w x of  A & B are restricted to A & B
digits y z of A & C are restricted to A & C
Digis not equal to wxyz  of ABC are restricted to  ABC 


Code: Select all

 
        +-----------------+---------+--------------+
        | .     .      .  | .  .  . | .     .   .  |
        | .     (123)  .  | .  .  . | (14)  -2  -2 |
        | (34)  -2     -2 | .  .  . | (24)  .   .  |
        +-----------------+---------+--------------+
        | .     .      .  | .  .  . | .     .   .  |
        | .     .      .  | .  .  . | .     .   .  |
        | .     .      .  | .  .  . | .     .   .  |
        +-----------------+---------+--------------+
        | .     .      .  | .  .  . | .     .   .  |
        | .     .      .  | .  .  . | .     .   .  |
        | .     .      .  | .  .  . | .     .   .  |
        +-----------------+---------+--------------+

AaLS - 2RC

Set a) [123] @ R2C2
Set b) [234] @ R3C17
Set C) [124] @ R23C7
X:3,Y:1
Z:2 => R2C89, R3C23 <> 2

another more complicated example:

Code: Select all

+----------------------+------------------------+----------------------+
| 12789  3      1489-7 | 5         (278)  (78)  | 6       147    1248  |
| 1278   128    6      | (2378)    4      9     | 1237    5      1238  |
| 5      28     478    | (2367-8)  1      36-78 | 2347    347    9     |
+----------------------+------------------------+----------------------+
| 169    7      159    | 29-36     2356   356   | 123459  8      12345 |
| 1689   1589   2      | 4         35678  35678 | 13579   1379   135   |
| 3      4      589    | 2789      2578   1     | 2579    79     6     |
+----------------------+------------------------+----------------------+
| 4      (159)  (1579) | (367)     356-7  2     | 8       136-9  135   |
| 278-9  28-59  3      | 1         5678   45678 | 459     469    45    |
| (18)   6      (158)  | (38)      9      345-8 | 1345    2      7     |
+----------------------+------------------------+----------------------+

Code: Select all

Aals -2rc
a) 3 6 7 8 @ 57 75
b) 2 3 6 7 8 @ 4 5 12 21
c) 1 5 7 8 9 @ 55 56 72 74
rc: 3 6 7 8
z: 1 2 3 5 6 7 8 9

potential eliminations:
 54 63 64 65 73 <> 1,5
3 13 14 22 23 <> 2
3 30 39 48 66 <> 3,6
54 58 59 60 61 62 <> 7
73 76 77 78 79 80 <> 8
54 58 59 60 61 62 63 64 65 73 <> 9

Code: Select all

n ALS n restricted common rule
-----------------------------
If A have degrees of freedom of n
and we have a collection S of n  disjoint ALS (that are also disjoint with A)
each of the ALS has different restricted common with A
and z common to A and all the members of S
then we cant have z in a cell that can see all the z candidates in A and all the members of S.

Code: Select all

 
+--------------------+--------------------+---------------------+
| 39-1  (1379)  2579 | (17)  1247   8     | 1459  123459  6     |
| (16)  4       257  | 3     1267   9     | 8     125     12    |
| 8     (1369)  29   | 5     1246   46    | 7     12349   1234  |
+--------------------+--------------------+---------------------+
| 39    58      1    | 679   34679  34567 | 2     4679    478   |
| 7     (39)    4    | 2     8      36    | 169   169     5     |
| 2     58      6    | 179   1479   457   | 3     479     478   |
+--------------------+--------------------+---------------------+
| 4     267     3    | 8     567    1     | 56    2567    9     |
| 169   1679    79   | 4     35679  2     | 156   8       137   |
| 5     12679   8    | 679   3679   367   | 146   123467  12347 |
+--------------------+--------------------+---------------------+
A={R1C2,R3C2,R5C2}
B={R2C1}
C={R1C4}
X=6
Y=7
Z=1
Elimination: R1C1 <> 1

[yzfwsf]

http://forum.enjoysudoku.com/almost-locked-rules-for-now-t2510-15.html some stuff to add if you have time

Already implemented in my solver, please enable Death blossom and check "AIC Olgorithm" option in options menu, you can find them using Complex Death Bolossom.

[StrmCkr]

Yes. they can also be found as those... Was wanting the als versions coded as well as the DDS

[yzfwsf]

Reply to forum friends' questions about how I programmed MSLS：
Cyclic detection of the cross cells (X Cells) structure formed by each m rows * n columns
1. If there are too many fixed cells, skip the structure (x+2 or 1<m*n), and enter the next structure detection
2. Find the minimum coverset for each kind of candidate so that it can cover all these candidates in the structure
3. If coverset(links)=X then we find MSLS
4. If the condition in 3 is not met, set a condition such as links-X<2 or 3, and cache the structure as AMSLS (Almost MSLS)
5. Loop through the AMSLS collection, pre-delete by the links, and then find an locked set with Rank < 0. If there is, include it in the structure, which will reduce the Rank of the structure.
Rank drops to 0, then we find MSLS