YZF_Sudoku

Programs which generate, solve, and analyze Sudoku puzzles

Re: YZF_Sudoku

Postby mith » Tue Apr 13, 2021 9:52 pm

Finally updated yesterday, and I'm loving the morph option. Would it be possible to add digit permutation to this? (I tend to do this by hand, and it's prone to error.)
mith
 
Posts: 577
Joined: 14 July 2020

Re: YZF_Sudoku

Postby yzfwsf » Fri Apr 16, 2021 1:00 pm

mith wrote:Finally updated yesterday, and I'm loving the morph option. Would it be possible to add digit permutation to this? (I tend to do this by hand, and it's prone to error.)


This function has been provided, please download the 620V6 version again.
Release 620V6 On my google drive.
yzfwsf
 
Posts: 410
Joined: 16 April 2019

Re: YZF_Sudoku

Postby StrmCkr » Fri Apr 16, 2021 4:35 pm

nice some morphing options added ill have to check that out

i have it in mine
very handy feature add it to mine or testing symmetry techniques
:)
Some do, some teach, the rest look it up.
User avatar
StrmCkr
 
Posts: 1211
Joined: 05 September 2006

Re: YZF_Sudoku

Postby ghfick » Sun Apr 25, 2021 7:31 pm

Regarding the 4 views, I have not found any errors so far. I can note that, for the RN View and the CN View, one continues to have the 1-9 restriction in the rows and columns but the 1-9 restriction in the boxes/blocks is no longer true. So the the bolded lines around the boxes should be removed. For the BN View, the only 1-9 restriction is the rows [which could be bolded]
ghfick
 
Posts: 147
Joined: 06 April 2016

Re: YZF_Sudoku

Postby StrmCkr » Sun Apr 25, 2021 8:05 pm

there is additional optional set of views that can be complimented: i have the 4 spaces +

mini Row
by col
by box

Mini Col
by row
by box

ERI

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

Re: YZF_Sudoku

Postby yzfwsf » Wed Jul 28, 2021 11:41 pm

jco wrote:
Code: Select all
.-----------------------------------------------------.
| 5  6     1  | 3    24     7    |  8     24     9    |
| 2  79    79 | 1    456    8    |  46    45     3    |
| 8  3     4  | 569  2569   2569 |  16    1257   2567 |
|-------------+------------------+--------------------|
| 7  5-9   2  | 569  13569  4    | b169   1358   568  |
| 3  4    a59 | 7    8      1569 |  2    b15    b56   |
| 6  1     8  | 2    359    59   |  49    3457   57   |
|-------------+------------------+--------------------|
| 4  2     6  | 8    7      3    |  5     9      1    |
| 1  58    3  | 4    259    259  |  7     6      28   |
| 9  578   57 | 56   1256   1256 |  3     28     4    |
'-----------------------------------------------------'

(9=5)r5c3 - (5=169)b6p156 => -9 r4c2; ste

http://forum.enjoysudoku.com/leren-s-puzzles-58-t39247.html#p307450
Thanks for sharing this solving step. I found that the program has a bug in processing ALS . When a house has only 2 unsolved cells, the bi-value cell will be ignored. It has been corrected and uploaded to Google Cloud Disk.
yzfwsf
 
Posts: 410
Joined: 16 April 2019

Re: YZF_Sudoku

Postby shye » Fri Sep 17, 2021 7:27 pm

hi yzfwsf :D
wanted to start by saying i really appreciate all the work youve done on this solver, its a very valuable tool to me for creating and analysing puzzles!

i came across something recently that i thought you might want to know of, possibly a bug? i was following this solution for one of my puzzles, and the solver got to this point before getting stuck:

Code: Select all
.-----------.-------------------.---------------.
| 38  4  5  | 268   9    268    | 23   7    1   |
| 2   6  7  | 1     4    3      | 59   59   8   |
| 38  9  1  | 278   5    278    | 6    4    23  |
:-----------+-------------------+---------------:
| 46  1  89 | 5679 #36   4679   | 358  2    367 |
| 7   2  3  | 568  #168 #168    | 4    156  9   |
| 46  5  89 | 2679 #136  124679 | 38   16   367 |
:-----------+-------------------+---------------:
| 5   7  6  | 3     2    89     | 1    89   4   |
| 9   3  2  | 4     168  168    | 7    68   5   |
| 1   8  4  | 69    7    5      | 29   3    26  |
'-----------'-------------------'---------------'

there is a naked quad in b5 in the #ed cells, but it doesnt pick it up
User avatar
shye
 
Posts: 91
Joined: 12 June 2021

Re: YZF_Sudoku

Postby yzfwsf » Sat Sep 18, 2021 4:59 am

Hi shye,thanks.
Originally, I wanted to write the various zero-rank logic shared by shye and marek stefanik into a technique, and then release the 621 version. It’s a pity that I didn’t know how to organize the algorithm for a while, and shye reported a bug that the naked subset could not be found, so version 621 was released in advance. Please go to my Google cloud disk to download. The new version is also fixed the bug that you can’t search for CRFC when you disable complex squirmbagFish. The new version adds UR external guardian series techniques.
Code: Select all
.-----------------.-------------.-------------.
| 27   1     3    | 6    5   9  | 27  8    4  |
| 8    27    5    | 3    4   17 | 6   19   29 |
| 9    6     4    | 17   2   8  | 17  3    5  |
:-----------------+-------------+-------------:
| 3    5     7    | 8    6   4  | 9   2    1  |
| 124  24    128  | 9    3   5  | 48  6    7  |
| 6    #89-4 89   | 27   1   27 | 48  5    3  |
:-----------------+-------------+-------------:
| 124  3     129  | 124  7   6  | 5   49   8  |
| 5    *48   1289 | 24   *89 3  | 12  7    6  |
| 47   *4789 6    | 5    *89 12 | 3   149  29 |
'-----------------'-------------'-------------'

Uniqueness External Test 1: 89r89c25 => r6c2<>4
Code: Select all
.-----------------.----------------.---------------.
| 9    248   48   | 7     148  5   | 6  #123- #23  |
| 236  1     368  | 2469  468  249 | 48  5     7   |
| 7    2468  5    | 1246  3    124 | 48 *19-2 *29  |
:-----------------+----------------+---------------:
| 5    9     146  | 3     147  147 | 2   67    8   |
| 16   46    2    | 8     9    147 | 3   67    5   |
| 8    37    37   | 5     2    6   | 9   4     1   |
:-----------------+----------------+---------------:
| 4    2678  3678 | 26    5    237 | 1  *39   *239 |
| 13   237   9    | 124   147  8   | 5   #23   6   |
| 23   5     136  | 1269  16   239 | 7   8     4   |
'-----------------'----------------'---------------'

Uniqueness External Test 2/4: 29 in r37c89 => r3c8<>2
Code: Select all
.-------------------.-----------------.------------------.
| @29   #239   1    | 36-9  7     5   | 368-9  4    #89  |
| 349   5      34   | 369   8     2   | 1      36    7   |
| 6     7      8    | 19    134   349 | 39     2     5   |
:-------------------+-----------------+------------------:
| 1     8      2    | 5     9     6   | 4      7     3   |
| 5     346    346  | 138   13    7   | 2      9     68  |
| 7     36     9    | 4     2     38  | 5      18    168 |
:-------------------+-----------------+------------------:
| 8    *23469  3467 | 379   3456  349 | 3679   1356  *129|
| 39    1      367  | 2     356   389 | 3679   3568  4   |
| 2349 *23469  5    | 3789  346   1   | 36789  368   *289|
'-------------------'-----------------'------------------'

Uniqueness External Test 3: 29 in r79c29 => r1c4<>9,r1c7<>9
Code: Select all
.---------------.--------------.-----------------.
| 137  14    2  | 5    9    6  | 37    347   8   |
| 5    9     8  | *23  *234 7  | 1     6     24  |
| 367  @46   3-6| 1    8    #24| 2357  3457  9   |
:---------------+--------------+-----------------:
| 238  28    4  | 6    1    9  | 2357  3578  235 |
| 9    128-6 @36| 7    #23  5  | 4     138   123 |
| 13   7     5  | *234 *234 8  | 239   139   6   |
:---------------+--------------+-----------------:
| 268  2568  9  | 24   7    3  | 568   15    145 |
| 4    58    7  | 9    6    1  | 38    2     35  |
| 26   3     1  | 8    5    24 | 69    49    7   |
'---------------'--------------'-----------------'

Uniqueness External Test + XY-Wing: 34 in r26c45 => r3c3,r5c2<>6
yzfwsf
 
Posts: 410
Joined: 16 April 2019

Re: YZF_Sudoku

Postby jco » Sat Sep 18, 2021 1:58 pm

yzfwsf wrote:(...)The new version adds UR external guardian series techniques.

I enjoyed analysing these UR patterns. As patterns, I did not know about 3 of them.
I comment them below because I suspect there are other ways to reason that I'd like to know about
(@yzfwsf please let me know in case there is a thread discussing more ideas like these)
Example #1:
Code: Select all
.-----------------.-------------.-------------.
| 27   1     3    | 6    5   9  | 27  8    4  |
| 8    27    5    | 3    4   17 | 6   19   29 |
| 9    6     4    | 17   2   8  | 17  3    5  |
:-----------------+-------------+-------------:
| 3    5     7    | 8    6   4  | 9   2    1  |
| 124  24    128  | 9    3   5  | 48  6    7  |
| 6    #89-4 89   | 27   1   27 | 48  5    3  |
:-----------------+-------------+-------------:
| 124  3     129  | 124  7   6  | 5   49   8  |
| 5    *48   1289 | 24   *89 3  | 12  7    6  |
| 47   *4789 6    | 5    *89 12 | 3   149  29 |
'-----------------'-------------'-------------'
Uniqueness External Test 1: 89r89c25 => r6c2<>4

The way I see the elimination: (4=89)r8c25 -# (4)r6c2
# UR(89)r89c25
(in words: if r8c2 is not 4, we have (8)r8c2, (9)r8c5 already forming half of the UR pattern.
One of the external guardian 8,9 in r6c2 must be true. So, in any case -4 r6c2.)
Example #2:
Code: Select all
.-----------------.----------------.---------------.
| 9    248   48   | 7     148  5   | 6  #123- #23  |
| 236  1     368  | 2469  468  249 | 48  5     7   |
| 7    2468  5    | 1246  3    124 | 48 *19-2 *29  |
:-----------------+----------------+---------------:
| 5    9     146  | 3     147  147 | 2   67    8   |
| 16   46    2    | 8     9    147 | 3   67    5   |
| 8    37    37   | 5     2    6   | 9   4     1   |
:-----------------+----------------+---------------:
| 4    2678  3678 | 26    5    237 | 1  *39   *239 |
| 13   237   9    | 124   147  8   | 5   #23   6   |
| 23   5     136  | 1269  16   239 | 7   8     4   |
'-----------------'----------------'---------------'
Uniqueness External Test 2/4: 29 in r37c89 => r3c8<>2

I see this as: (2)r8c8 = (29)r7c89 -# (1&3=2)r1c89
#AUR (29)r37c89 using external (2)r23c1
Is there a reason for that minus after 3 at r1c8?
Example #3:
Code: Select all
.-------------------.-----------------.------------------.
| @29   #239   1    | 36-9  7     5   | 368-9  4    #89  |
| 349   5      34   | 369   8     2   | 1      36    7   |
| 6     7      8    | 19    134   349 | 39     2     5   |
:-------------------+-----------------+------------------:
| 1     8      2    | 5     9     6   | 4      7     3   |
| 5     346    346  | 138   13    7   | 2      9     68  |
| 7     36     9    | 4     2     38  | 5      18    168 |
:-------------------+-----------------+------------------:
| 8    *23469  3467 | 379   3456  349 | 3679   1356  *129|
| 39    1      367  | 2     356   389 | 3679   3568  4   |
| 2349 *23469  5    | 3789  346   1   | 36789  368   *289|
'-------------------'-----------------'------------------'
Uniqueness External Test 3: 29 in r79c29 => r1c4<>9,r1c7<>9

No comment on the #3.
Example #4:
Code: Select all
.---------------.--------------.-----------------.
| 137  14    2  | 5    9    6  | 37    347   8   |
| 5    9     8  | *23  *234 7  | 1     6     24  |
| 367  @46   3-6| 1    8    #24| 2357  3457  9   |
:---------------+--------------+-----------------:
| 238  28    4  | 6    1    9  | 2357  3578  235 |
| 9    128-6 @36| 7    #23  5  | 4     138   123 |
| 13   7     5  | *234 *234 8  | 239   139   6   |
:---------------+--------------+-----------------:
| 268  2568  9  | 24   7    3  | 568   15    145 |
| 4    58    7  | 9    6    1  | 38    2     35  |
| 26   3     1  | 8    5    24 | 69    49    7   |
'---------------'--------------'-----------------'
Uniqueness External Test + XY-Wing: 34 in r26c45 => r3c3,r5c2<>6

I see this as:
(6=4)r3c2 - (4=2)r3c6 - (2=34)r2c45 -# (2=3)r5c5 - (3=6)r5c3 => -6 r3c3,r5c2
# UR(34)r26c45

@yzfwsf thank you for showing these examples!
JCO
jco
 
Posts: 280
Joined: 09 June 2020

Re: YZF_Sudoku

Postby yzfwsf » Sat Sep 18, 2021 2:33 pm

Hi JCO:
All external guardians cannot fake at the same time. They have a strong relationship. You can directly use this strong relationship without transition.
Example #4:
(6=4)r3c2 - (4=3)r3c6,r5c5 - (3=6)r5c3 => -6 r3c3,r5c2
yzfwsf
 
Posts: 410
Joined: 16 April 2019

Re: YZF_Sudoku

Postby jco » Sat Sep 18, 2021 3:43 pm

Hi yzfwsf,

yzfwsf wrote:Hi JCO:
All external guardians cannot fake at the same time. They have a strong relationship. You can directly use this strong relationship without transition.
Example #4:
(6=4)r3c2 - (4=3)r3c6,r5c5 - (3=6)r5c3 => -6 r3c3,r5c2


Nice, thanks! I don't recall seeing UR patterns missing one UR digit in a UR cell,
so at first I was a bit concerned that the role of guardians would change because
of the missing digit (I used that chains to check).
JCO
jco
 
Posts: 280
Joined: 09 June 2020

Re: YZF_Sudoku

Postby ghfick » Sat Sep 18, 2021 11:12 pm

I tried the 4 example puzzles in 621. The 2nd, 3rd and 4th examples all display uniqueness external but the first example displays as uniqueness test 3 and not uniqueness external 1.
ghfick
 
Posts: 147
Joined: 06 April 2016

Re: YZF_Sudoku

Postby yzfwsf » Sun Sep 19, 2021 12:33 am

Try it please.
Code: Select all
:0000:x:.1+3+6+5+9.+848.+53+4.6..+9+64.+28.+3+5+3+57+8+6492+1...9+3+5.+6+76...1..5+3.+3..76+5.85....3.7+6..65..3..:852 262 263 178 282 982 184 487 191 291 292::
yzfwsf
 
Posts: 410
Joined: 16 April 2019

Re: YZF_Sudoku

Postby ghfick » Sun Sep 19, 2021 5:44 pm

I pasted into 621 :
Code: Select all
.-----------------.-------------.-------------.
| 27   1     3    | 6    5   9  | 27  8    4  |
| 8    27    5    | 3    4   17 | 6   19   29 |
| 9    6     4    | 17   2   8  | 17  3    5  |
:-----------------+-------------+-------------:
| 3    5     7    | 8    6   4  | 9   2    1  |
| 124  24    128  | 9    3   5  | 48  6    7  |
| 6    489   89   | 27   1   27 | 48  5    3  |
:-----------------+-------------+-------------:
| 124  3     129  | 124  7   6  | 5   49   8  |
| 5    48    1289 | 24   89 3   | 12  7    6  |
| 47   4789  6    | 5    89 12  | 3   149  29 |
'-----------------'-------------'-------------'

...and the first step is:
Uniqueness Test 3: 89 in r89c25 => r6c2 <> 4
ghfick
 
Posts: 147
Joined: 06 April 2016

Re: YZF_Sudoku

Postby baea808 » Tue Sep 21, 2021 3:56 pm

hi! just dropping by to thank you for this awesome solver! nice job!
baea808
 
Posts: 10
Joined: 23 April 2021

PreviousNext

Return to Software