The New Sudoku Players' Forum

[yzfwsf]

Missing SDC/AlmostLockedSets exclusions in:

Almost Locked Set XZ-Rule: A=r9c2456 {12678}, B=r12378c4 {256789}, X=6,7 => r7c5<>7, r456c2,r7c1,r9c9<>2, r5c4<>5, r5c4<>9

It looks like it only takes the first exclusions from r4569c56. Compare with Xsudo for all exclusions.

Hidden Text: Show

Code: Select all

019006300072000000006017005100300900000000008608400001060000000001020000903000450

+------------------+-------------------------+-------------------+
| 458   1      9   | 258     45-8     6      | 3     2478   247  |
| 458   7      2   | 589     3459-8   3459-8 | 168   14689  469  |
| 348   348    6   | 289     1        7      | 28    2489   5    |
+------------------+-------------------------+-------------------+
| 1     245    457 | 3       (5678)   (258)  | 9     2467   2467 |
| 2347  23459  457 | 167-59  (5679)   (1259) | 2567  23467  8    |
| 6     2359   8   | 4       (579)    (259)  | 257   237    1    |
+------------------+-------------------------+-------------------+
| 2478  6      457 | 579-8   3459-78  3459-8 | 1278  12789  2379 |
| 478   458    1   | 5679-8  2        3459-8 | 678   6789   3679 |
| 9     2-8    3   | 167-8   (678)    (18)   | 4     5      267  |
+------------------+-------------------------+-------------------+

In Xsudo
.---------------------------------.---------------------------------.---------.
| 123456789          123456789          123456789         | 123456789          123456789  123456789 | 123456789  123456789  123456789 |
| 123456789          123456789          123456789         | 123456789          123456789  123456789 | 123456789  123456789  123456789 |
| 123456789          123456789          123456789         | 123456789          123456789  123456789 | 123456789  123456789  123456789 |
:---------------------------------+---------------------------------+---------:
| 123456789          123456789          123456789         | 123456789  5678       258       | 123456789  123456789  123456789 |
| 123456789          123456789          123456789         | 123456789  5679       1259      | 123456789  123456789  123456789 |
| 123456789          123456789          123456789         | 123456789  579        259       | 123456789  123456789  123456789 |
:---------------------------------+---------------------------------+---------:
| 12346789   123456789  123456789 | 23456789   123456789  23456789  | 123456789  123456789  123456789 |
| 12346789   123456789  123456789 | 123456789  123456789  123456789 | 123456789  123456789  123456789 |
| 123456789  123456789  123456789 | 123456789  678        18        | 123456789  123456789  123456789 |
'---------------------------------'---------------------------------'---------'



-After the message "Puzzle is no solution!" when trying to autosolve an invalid puzzle with, it will stay in the state of "Autosolve is running!". (running your version 2.0.0.553)

I upload a new version,please check,Tks!
https://drive.google.com/open?id=10MpMJIVzjbT6FyyhmEZMGUUp7emALsF-

[yzfwsf]

Enhanced SDC / ALS-XZ (Double Rcc) / ALS-WWING (added Rank0 logic), there are other minor improvements, but new errors may occur!
https://drive.google.com/open?id=1_JG3j-dR0U6EzvGsrthaU9oxv88vTmSf

[StrmCkr]

Als xy rule can have 2rcc,3rcc states as well
http://forum.enjoysudoku.com/do-these-wxyz-wing-patterns-have-special-name-t35833-15.html

[yzfwsf]

Als xy rule can have 2rcc,3rcc states as well
http://forum.enjoysudoku.com/do-these-wxyz-wing-patterns-have-special-name-t35833-15.html

Already implemented triple link ALS-XY-WING

Triple.PNG (118.33 KiB) Viewed 1643 times

[yzfwsf]

Hi,Gordon Fick,
Your good suggestions almost accepted, but i want to keep chain's notation .My solver is not implented the group node(ALS/AHS/UR) in chaining now,
mybe bring into the to do list in the future. The "Almost Locked Pair/Triple" is similar to "Almost Locked Candidates"; the "Check X-Rule"(Discoverer:Borescoper)
is similar to "dual UR threats" in David P Bird's compendium, it is insight the value(Clue/Solved) in four boxes(include the target cross lines).https://tieba.baidu.com/p/5916787916
Fix bug in "BUG+1".
Release version 599https://drive.google.com/open?id=1jb32jSn44yBXxdUdpUTG6EVUf5Xt-dRi

[ghfick]

This is a most worthy project.
I thought I would post my suggestions. Most of my suggestions are typographical but there are a few issues for you.

Change from all UPPER_CASE to Upper case and lower case:

Full House
Naked Single Naked Pair Naked Triple Naked Quadruple
Hidden Single Hidden Pair Hidden Triple Hidden Quadruple
Locked Candidates (Pointing) Locked Candidates (Claiming)

Discontinuous Nice Loop [add Nice and add u]
Continuous Nice Loop [add Nice and add ou]

Finned X Wing [add n]
Finned Swordfish [add n]

Change Exocet to Junior Exocet. You have programmed JE [and not the more general Exocet]
I am not familiar with 'Check X Rule'. Is this described in David P Bird's compendium? Elsewhere?
Base Cells [ s is lower case]
Target Cells [T is upper case]
Locked [ add k]

Open Puzzle File [add l in puzzle]
Load External Puzzle [add r in External]

I would recommend using the Eureka notation for all chains. I am not familiar with your notation for chains.

Show a Forcing Chain step only if there are no AICs or DNLs [grouped or ungrouped] that could be the next step.

For 'Almost Locked Pair' or 'Almost Locked Triple', is there another more common naming?

Switching to Complex Fish does not show in the solution path.

[StrmCkr]

needs to add all these

[yzfwsf]

Switching to Complex Fish does not show in the solution path.

Tks, already fix.
https://drive.google.com/open?id=1SfDybzPyjHxn5lYHfT8K-guVV2PCQxsV

[yzfwsf]

601 Release.
Fix some minor bugs, provide external multi-language menu files for easy interface language modification
https://drive.google.com/open?id=1VaNw0oPo50PxZrz8KXcgLddxAgb8tQxE

[yzfwsf]

NAKED SINGLE : Naked Single
NAKED PAIR : Naked Pair
NAKED TRIPLE : Naked Triple
NAKED QUAD : Naked Quad

On the Tool tab : External : External
Unique : Uniqueness

On the Help Tab: Jelley : Jelly
Fined : Finned
Quard : Quad
BrutForce : Brute Force
scraper : Skyscraper
The Tab : All Possible Step : All Possible Steps [plural]

It would be helpful to list the steps by type and count rather than just one long list.
It would be nice to be able to advance a puzzle to a particular step [like HoDoKu] instead of one step at a time.
I am not familiar with an ALS W Wing. Reference? When different from an ALS XZ ?

Menu text, you can modify "default.lang" by yourself, one long list- I gave a combox for filter.
In solution path list, you can leftclick individual item to apply specify step hint backcolor, if you rightclick the item then apply all the before eliminations and sets
Hot key "F12", find next possible hint and execute current hint(if have)
When board have focus, hot key "Ctrl+Shift+ b" can generate specify technique puzzle(input 1-42) or multi techniques(input>42)
When board have focus, hot key "Ctrl+Shift+ m" can make external puzzle database, input file one puzzle/one 81 chars line
ALS W Winghttp://forum.enjoysudoku.com/als-w-wing-example-t6492.html
602 Release https://drive.google.com/open?id=1l7dY-2ZyxKY4NityYW3qAXwSBk4V7KSO
Release YZF_Sudoku603 ,Enhance JE technique, non detailed testing, may introduce bugs, and now can logically solve Unsolvable # 379
https://drive.google.com/open?id=1nmDFaG_CROA8QLsLn2zCnuheNOAFSzbh

[ghfick]

Excellent advances with your project.
May I suggest that you add the Double Junior Exocet? With 603, one obtains the 2 component JEs but not all of the exclusions one can obtain from the Double JE.
Champagne has a large file of puzzles with Double JEs in ph_1409_exocets.zip as 03 ED exo double.txt

[yzfwsf]

Excellent advances with your project.
May I suggest that you add the Double Junior Exocet? With 603, one obtains the 2 component JEs but not all of the exclusions one can obtain from the Double JE.
Champagne has a large file of puzzles with Double JEs in ph_1409_exocets.zip as 03 ED exo double.txt

Double JE may implement in future, as an alternative, I already partially implemented the Senior Exocet technique.
Release 604https://drive.google.com/open?id=1R7Vf26i3fN54gn7-3kSpQ8eWcgJ8JWuk

[yzfwsf]

Excellent advances with your project.
May I suggest that you add the Double Junior Exocet? With 603, one obtains the 2 component JEs but not all of the exclusions one can obtain from the Double JE.
Champagne has a large file of puzzles with Double JEs in ph_1409_exocets.zip as 03 ED exo double.txt

Double JExocet has been partially implemented, with the option to display the final solution. Click the solution display area can enlarge it.
Fix some bug,pls download again
Release 605https://drive.google.com/open?id=1vyfLWsGvyIrTxjgri9OwztSJTj9gZPdz

[ghfick]

605 works great! I have tried blue's puzzle that contains the Senior Exocet. 605 finds the same 2 exclusions as listed in DPB's compendium. 605 also mentions a mirror check. Although the mirror cells can be defined here, I am unsure if there would ever be further exclusions based on the mirrors here. Maybe you have a reference to this advance?
I have also tried a couple of puzzles from champagne's Double JE list, 605 gets 'all' the exclusions! Impressive!
I will continue exploring 605 with other JE's in the compendium.

[yzfwsf]

605 works great! I have tried blue's puzzle that contains the Senior Exocet. 605 finds the same 2 exclusions as listed in DPB's compendium. 605 also mentions a mirror check. Although the mirror cells can be defined here, I am unsure if there would ever be further exclusions based on the mirrors here. Maybe you have a reference to this advance?
I have also tried a couple of puzzles from champagne's Double JE list, 605 gets 'all' the exclusions! Impressive!
I will continue exploring 605 with other JE's in the compendium.

Thank you for your perfect test. The code of the mirror check has been corrected. Please download again