The New Sudoku Players' Forum

[mith]

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.)

[yzfwsf]

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.

[StrmCkr]

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

[ghfick]

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]

[StrmCkr]

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

[yzfwsf]

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.

[shye]

hi yzfwsf
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

[yzfwsf]

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

[jco]

(...)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!

[yzfwsf]

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

[jco]

Hi yzfwsf,

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).

[ghfick]

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.

[yzfwsf]

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::

[ghfick]

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

[baea808]

hi! just dropping by to thank you for this awesome solver! nice job!