YZF_Sudoku

Programs which generate, solve, and analyze Sudoku puzzles

Re: YZF_Sudoku

Postby yzfwsf » Tue Nov 12, 2019 7:58 am

creint wrote: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
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby yzfwsf » Fri Nov 15, 2019 1:22 pm

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
Last edited by yzfwsf on Fri Nov 15, 2019 3:14 pm, edited 1 time in total.
yzfwsf
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby StrmCkr » Fri Nov 15, 2019 1:28 pm

Some do, some teach, the rest look it up.
User avatar
StrmCkr
 
Posts: 1134
Joined: 05 September 2006

Re: YZF_Sudoku

Postby yzfwsf » Sat Nov 16, 2019 4:02 am


Already implemented triple link ALS-XY-WING
Triple.PNG
Triple.PNG (118.33 KiB) Viewed 339 times
yzfwsf
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby yzfwsf » Sat Nov 23, 2019 6:28 am

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
yzfwsf
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby ghfick » Sun Nov 24, 2019 6:57 pm

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.
ghfick
 
Posts: 74
Joined: 06 April 2016

Re: YZF_Sudoku

Postby StrmCkr » Sun Nov 24, 2019 10:10 pm

Some do, some teach, the rest look it up.
User avatar
StrmCkr
 
Posts: 1134
Joined: 05 September 2006

Re: YZF_Sudoku

Postby yzfwsf » Thu Nov 28, 2019 12:59 pm

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

Tks, already fix.
https://drive.google.com/open?id=1SfDybzPyjHxn5lYHfT8K-guVV2PCQxsV
yzfwsf
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby yzfwsf » Sat Dec 14, 2019 2:45 pm

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
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby yzfwsf » Tue Dec 24, 2019 12:46 pm

Gordon Fick wrote: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
yzfwsf
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby ghfick » Sat Dec 28, 2019 6:42 pm

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
ghfick
 
Posts: 74
Joined: 06 April 2016

Re: YZF_Sudoku

Postby yzfwsf » Sun Dec 29, 2019 4:31 am

ghfick wrote: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
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby yzfwsf » Mon Dec 30, 2019 4:30 pm

ghfick wrote: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
Last edited by yzfwsf on Tue Dec 31, 2019 7:58 am, edited 2 times in total.
yzfwsf
 
Posts: 162
Joined: 16 April 2019

Re: YZF_Sudoku

Postby ghfick » Mon Dec 30, 2019 6:27 pm

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.
ghfick
 
Posts: 74
Joined: 06 April 2016

Re: YZF_Sudoku

Postby yzfwsf » Tue Dec 31, 2019 1:07 am

ghfick wrote: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
yzfwsf
 
Posts: 162
Joined: 16 April 2019

PreviousNext

Return to Software