SK and related loops

Advanced methods and approaches for solving Sudoku puzzles

Re: SK and related loops

Postby champagne » Sun Apr 14, 2019 2:29 pm

Exploring the data base of potential hardest to find SK loops, including loops with given, I got this one


..5......67.5.....89....7....78..9.......4.3.....2...1....3184...89..6..........2;10.50;10.50;3.40;GP;13_11gexo;1347553;22;*
(* means SKFR rating)

The program is not yet correct, in this case missing the "6 bi local" in row 4, but the SK loop is "valid" 15 truths, 15 links.
This puzzle has also an exocet


Code: Select all
1234   1234  5     |123467 146789 236789 |1234 12689 34689
6      7     1234  |5      1489   2389   |1234 1289  3489 
8      9     1234  |12346  146    236    |7    1256  3456 
----------------------------------------------------------
12345  12345 7     |8      15     35     |9    256   456     
1259   12568 1269  |167    15679  4      |25   3     78   
3459   34568 3469  |367    2      35679  |45   78    1     
----------------------------------------------------------
2579   256   269   |267    3      1      |8    4     579   
123457 12345 8     |9      457    257    |6    157   357     
134579 13456 13469 |467    45678  5678   |135  1579  2     



exocet base r1c1 r1c2 target r2c7 r3c4
sk loop rows 48 columns 47 given 8r7c7

clearing the SK loop, we can eliminate
5r4c12 1r9c8 57r8c1 5r8c2 4r9c5 6r3c4 67r3c1

The exocet would clear here 6r3c4 also done by the SK loop
After the naked quad in row 1, we end here

Code: Select all
1234   1234  5     |1234   6789   6789   |1234 689   689
6      7     1234  |5      1489   2389   |1234t1289  3489 
8      9     1234  |1234t  146    236    |7    1256  3456 
----------------------------------------------------------
1234   1234  7     |8      15     35     |9    256   456     
1259   12568 1269  |167    15679  4      |25   3     78   
3459   34568 3469  |367    2      35679  |45   78    1     
----------------------------------------------------------
2579   256   269   |267    3      1      |8    4     579   
1234   1234  8     |9      457    257    |6    157   357       
134579 13456 13469 |467    5678  5678    |135  579   2     



In the exocet, we have an abi loop for the pairs 12 14 32 34
So the exocet solution is 13 or 24

We can not have 5r5c5 or 5r6c6 forcing 13r13c4 not possible with the exocet
In the same way, we can not have 57 r8c56, but this is not a direct elimination.

This put us here, but I didn't see here an easy step despite all "or" conditions coming out of the exocet as .

6^7 r79c4
5^7 r8c56 etc

Code: Select all
1234b  1234b 5     |1234   6789   6789   |1234 689   689
6      7     1234  |5      1489   2389   |1234t1289  3489 
8      9     1234  |1234t  146    236    |7    1256  3456 
----------------------------------------------------------
1234   1234  7     |8      15     35     |9    26    46       
1259   12568 1269  |167    1679   4      |25   3     78   
3459   34568 3469  |367    2      3679   |45   78    1     
----------------------------------------------------------
2579   256   269   |267    3      1      |8    4     579   
1234   1234  8     |9      457    257    |6    157   357     
134579 13456 13469 |467    5678  5678    |13   579   2     


may be a skill manual solver can find the missing easy move

BTW, I didn't get many sk loop with given, but the data base of hardest is not the best chance to find them.
Now back home, I'll finish tests on the code and explore my data base of seeds (ratings in the range 10.0 to 10.3 available) and the game data base
champagne
2017 Supporter
 
Posts: 6914
Joined: 02 August 2007
Location: France Brittany

Re: SK and related loops

Postby SpAce » Sun Apr 14, 2019 3:54 pm

champagne wrote:exocet base r1c1 r1c2 target r2c7 r3c4
The exocet would clear here 6r3c4 also done by the SK loop

Hi champagne! Could you help me out with a bit off-topic question about exocets? I'd like to be able to express them as truths and links, and I've sort of figured out how. The devil is in the details, however. How exactly are the rank zones determined? As far as I understand, the base digit eliminations from the targets happen because those cells are Rank 0, but understanding why is not exactly easy. I think I kind of understand it for the 3-digit case like Fata Morgana which I see like this:

Alien 11-Fish (Mixed Rank [3]/1/0): {5N46 136C258} \ {136r5b5 16r1 3r2 6r8 13r9 / 4n2 6n8} => -24 r4c2

It has 11 truths and 14 links, thus the base rank is 3. However, since the base digits have double links (r5, b5), i.e. link triplets, and two of them are always occupied (because the base cells must have two different digits), it lowers the overall rank to 1. Also, one of them is always unoccupied which lowers the left-over digit's minor branch by one. All three paths connect at r4c2 and r6c8, which apparently puts them in Rank 0 zone. Or something like that. It's pretty much how I thought about it myself, and Allan himself seems to agree here. That doesn't mean I fully understand it.

Assuming that's about correct, how does the same work with the 4-digit case like your example? That one I see like this:

Alien 14-Fish (Mixed Rank [4]/2/0) {1N12 1234C3 1234C4 1234C7} \ {1234r1b1 12r5 34r6 2r7 134r9 / 2n7 3n4} => -6 r3c4

It has 14 truths and 18 links, thus base rank 4. Again the base digits have link triplets, and two of them are always occupied, so I guess it lowers the overall rank by 2 -- but it's then 2 (unlike the previous case). Is it now because there are two left-over links that are unoccupied, which gives us the further drop of 2 for the two target cells where all four paths connect?

Of course this is all pretty academic because it's easy to see in both cases that two base digits must occupy those target cells. I'm just interested because isn't this kind of how the Exocet property was originally found? Plus I kind of prefer the elegance of the original idea to the complexity of the zillion JExocet rules (while helpful, I think most of them are probably unnecessary -- i.e. easily derivable -- if one understands the fundamentals well enough).
SpAce
 
Posts: 1287
Joined: 22 May 2017

Re: SK and related loops

Postby SpAce » Mon Apr 15, 2019 12:29 pm

champagne wrote:clearing the SK loop, we can eliminate
5r4c12 1r9c8 57r8c1 5r8c2 4r9c5 6r3c4 67r3c1

I think you missed: -1 r5c5, -3 r6c6 (and a typo in 67r3c1)? This is what I got:

Alien 15-Fish (Rank 0) {48N5689 4579N4 569N7} \ {56r4 57r8 67c4 5c7 13b5 24b6 24b8 13b9}
=> -67 r1c4, [-6 r3c4], -5 r4c12, -1 r5c5, -3 r6c6, -57 r8c1, -5 r8c2, -4 r9c5, -1 r9c8 (12 elims, or 11 if exocet first)

In the exocet, we have an abi loop for the pairs 12 14 32 34
So the exocet solution is 13 or 24

Agreed.

We can not have 5r5c5 or 5r6c6 forcing 13r13c4 not possible with the exocet
In the same way, we can not have 57 r8c56, but this is not a direct elimination.

Clever! I would have missed those. I guess they should be kind of standard things to check with exocets.

Anyway, with the missed SK-eliminations added I think we're here:

Code: Select all
.----------------------.------------------.------------------.
| 1234    1234   5     | 1234  6789  6789 | 1234  689   689  |
| 6       7      1234  | 5     1489  2389 | 1234  1289  3489 |
| 8       9      1234  | 1234  146   236  | 7     1256  3456 |
:----------------------+------------------+------------------:
| 1234    1234   7     | 8     15    35   | 9     26    46   |
| 1259    12568  1269  | 167   679   4    | 25    3     78   |
| 3459    34568  3469  | 367   2     679  | 45    78    1    |
:----------------------+------------------+------------------:
| 2579    256    269   | 267   3     1    | 8     4     579  |
| 1234    1234   8     | 9     457   257  | 6     157   357  |
| 134579  13456  13469 | 467   5678  5678 | 13    579   2    |
'----------------------'------------------'------------------'

I don't see any obvious openings, but my skills at these levels are quite limited anyway. Perhaps there are some more exocet inferences available, maybe with some chains or something. (Missing them, the exocet is pretty easy to crack open with simple T&E even manually. Finding out which base pair is correct requires easy techniques only, after which the puzzle is solvable normally (but requires several forcing chains). It's also easy to find out which way the digits are in the targets, which makes the rest trivial. I guess that's one way to use an exocet, though a pretty boring one.)
SpAce
 
Posts: 1287
Joined: 22 May 2017

Re: SK and related loops

Postby champagne » Mon Apr 15, 2019 2:43 pm

SpAce wrote:
champagne wrote:exocet base r1c1 r1c2 target r2c7 r3c4
The exocet would clear here 6r3c4 also done by the SK loop

Hi champagne! Could you help me out with a bit off-topic question about exocets? .....

Hi SpAce,

The first "Exocet" proof has clearly been Allan Barkers's Xsudo Truths/Links construction.

It has been done for "fata morgana" and "trompe l'oeil" puzzles at the same moment.

I long discussed this with Allan when he produced the solution. Although Allan had some clear views on how a rank >0 truths/links could have some areas of lower rank, he was not quite comfortable with the "complexity" of this rank 3 group.

This is why I looked for another explanation, and, somehow rewording what he wrote came to the exocet view: Each of the digits had to occupy one of the target, consequently, the digits occupying the base had to occupy the target.

The same rule works with four digits, so we did not try to explain why a rank 4 group could produce a rank 0 area.

It appeared later that nearly all known exocets were in fact JExocets or very close to Jexocets (same band as a minimum).

Such exocets have always a truths/links group having as truths the base, the target and crossing rows/columns and as links the columns/rows plus the base box sets, with triple points in the 2 cells of the base.

Note : For platinum blonde and similar exocets, the locked digit(s) has to be added as link. With platinum blonde, only one link is added, blue said somewhere that he found examples of 2 locked digits (one more cell in box needed), but I don't remember having seen an example of such a puzzle.

All this to say that if your expectation is in explanations on how you can cut a truths/links of rank >0 in sub areas of lower rank, I can't help you.

Reversely, there is room for discussion around the exocet property.
champagne
2017 Supporter
 
Posts: 6914
Joined: 02 August 2007
Location: France Brittany

Re: SK and related loops

Postby champagne » Mon Apr 15, 2019 2:56 pm

SpAce wrote:...

Anyway, with the missed SK-eliminations added I think we're here:

Code: Select all
.----------------------.------------------.------------------.
| 1234    1234   5     | 1234  6789  6789 | 1234  689   689  |
| 6       7      1234  | 5     1489  2389 | 1234  1289  3489 |
| 8       9      1234  | 1234  146   236  | 7     1256  3456 |
:----------------------+------------------+------------------:
| 1234    1234   7     | 8     15    35   | 9     26    46   |
| 1259    12568  1269  | 167   679   4    | 25    3     78   |
| 3459    34568  3469  | 367   2     679  | 45    78    1    |
:----------------------+------------------+------------------:
| 2579    256    269   | 267   3     1    | 8     4     579  |
| 1234    1234   8     | 9     457   257  | 6     157   357  |
| 134579  13456  13469 | 467   5678  5678 | 13    579   2    |
'----------------------'------------------'------------------'

I don't see any obvious openings, but my skills at these levels are quite limited anyway. Perhaps there are some more exocet inferences available, maybe with some chains or something. (Missing them, the exocet is pretty easy to crack open with simple T&E even manually. Finding out which base pair is correct requires easy techniques only, after which the puzzle is solvable normally (but requires several forcing chains). It's also easy to find out which way the digits are in the targets, which makes the rest trivial. I guess that's one way to use an exocet, though a pretty boring one.)


We have the same position.

When nothing easy comes out, I prefer, with an exocet, to work on the sub grids, here assuming 24 (false) in base and seeing what happens. Having appied the exocet properties with 24 in base, it is easy to clear 5 r8c5 and 5r8c6.

I have still to work on it, but it seems that the only "easy way" to kill r1c12 is to push to the 2 options in targets.

This would confirm that no easy move is available.

I'll give my final preferred solution later
champagne
2017 Supporter
 
Posts: 6914
Joined: 02 August 2007
Location: France Brittany

Re: SK and related loops

Postby SpAce » Mon Apr 15, 2019 3:18 pm

Ok, thanks a lot, champagne! Glad to know I'm not the only one with difficulties understanding the rank 0 explanation for JExocets. That part excluded, I think the truths/links construction helps to understand them better. With that, all the various S-Cell rules and stuff make more sense (and can be safely forgotten, I think).

champagne wrote:I'll give my final preferred solution later

Looking forward to that!
SpAce
 
Posts: 1287
Joined: 22 May 2017

Previous

Return to Advanced solving techniques