Halo around the sun

For fans of Killer Sudoku, Samurai Sudoku and other variants

Halo around the sun

Postby Hajime » Fri Aug 28, 2020 2:39 pm

A halo is a rainbow around the sun, see https://www.bing.com/images/search?q=halo%20sun&qs=n&form=QBIR
Same colors are houses that need 1 to 9. Like a Jigsaw or a SudokuP (disjoint groups)
A. for p&p people
A symmetrical Samurai with 4 rainbow-grids and a normal vanilla middle grid.
The 4 outer grids have normal boxes.
Only pointing/claiming needed, but also with use of the colored houses.
halo_pp.PNG
halo_pp.PNG (35.21 KiB) Viewed 937 times

and the pencil marks are provided here:
Hidden Text: Show
Code: Select all
+-------'--------'-------+-------'-----'------+--------'--------'---------+                     +---------'--------'-------+------'-----'-------+------'--------'------+ 
   | 12458   124589   124589|2456789   3    14578|12456789 12456789  1456789 |                     |  125678   1235678  123567| 2345    9   1234678| 24568   1256    12358| 
   | 124589  1234589  234589| 14589  45689  14578|12456789  1456789  1245678 |                     | 1235789   1256789 1235679| 23457  1268  12356 |124689  2345689  12569| 
   | 124589  245689     7   |1245689 45689  1458 | 145689      3      124589 |                     |  12569       4     12569 |  235   1268  123568|   7    123689  235689| 
   +-------'--------'-------+-------'-----'------+--------'--------'---------+                     +---------'--------'-------+------'-----'-------+------'--------'------+ 
   | 245789   14589   124589|1345678  4568 134578| 1245678  124589   1245789 |                     | 2345679   125679   123579| 24579  1278 1245789|125689   12356  123689| 
   |   6      14578    1458 | 14578    2      9  |    3      14578     4578  |                     |   1279     2579      8   |   6     3    12579 | 1259    1259      4  | 
   |   3     1245789  124589| 145678  4568  1458 | 1245789  2456789   14589  |                     |  12356     12369   234569|  259   128   124589|125689  1235689    7  | 
   +-------'--------'-------+-------'-----'------+--------'--------'---------+------'-------'------+---------'--------'-------+------'-----'-------+------'--------'------+ 
   | 124589  1234589  134589|  458     7      6  |  4589     14589    124589 |134578 2345679 123689|  235689    2356    23679 |   1     4     2379 | 25689  256789   25689| 
   |1245789  1345789  12458 |  4589   4589  3458 |  14589  12456789 123456789|134578 2345679 123689|123456789  1235689   2356 | 2379   267    2679 | 12589 12456789 125689| 
   | 45789    4578      6   | 34589    1      2  |  45789    45789    345789 |134578 2345679 123689|  124679    12679    2469 |   8     5     2679 |   3     1279    1269 | 
   +-------'--------'-------'-------'-----'------+--------'--------'---------+------'-------'------+---------'--------'-------+------'-----'-------'------'--------'------+ 
                                                 |  13459    13459    13459  |   6      8       7  |  23459     23459   23459 |                                             
                                                 |    2      34678    34678  |   9      3       5  |  34678     34678     1   |                                             
                                                 | 356789   356789    356789 |   2      1       4  |  356789   356789   356789|                                             
   +-------'--------'-------+-------'-----'------+--------'--------'---------+------'-------'------+---------'--------'-------+------'-----'-------+------'--------'------+ 
   |  689     1378      4   |  3689    2      5  |  36789    13789    136789 |134578 2345679 123689|  246789    24789    2468 |   1     5     4789 |   3     4789    2469 | 
   | 256789  1235689  12358 |  3689   3689  3468 |  1689    2345789 123456789|134578 2345679 123689|123456789  1234589   2357 | 34789  3489   478  | 15789  1245689 124569| 
   | 25689   235689   235689|  348     1      7  |  34689     289    2345689 |134578 2345679 123689|  134589    3579     3478 |   6     2    34789 | 1589   145789   1459 | 
   +-------'--------'-------+-------'-----'------+--------'--------'---------+------'-------'------+---------'--------'-------+------'-----'-------+------'--------'------+ 
   |   1     2456789  25689 | 234568  358   2368 | 234689    34789     2689  |                     |   235      12348   123458|  458  13489 1345689| 12569  1234569    7  | 
   |   3      2468     268  | 12468    7      9  |    5      1248      1468  |                     |   1346     1345      9   |   2     7    13456 |  156    13456     8  | 
   | 456789   2689    25689 |1234568  3568 123468| 123478    23789   1234689 |                     | 1234578    14578   134578| 34589 13489 1345689| 12569   2359   123469| 
   +-------'--------'-------+-------'-----'------+--------'--------'---------+                     +---------'--------'-------+------'-----'-------+------'--------'------+ 
   | 24589   134589     7   | 23589   3589  1238 | 123489      6       2389  |                     |   1578       6     12358 | 35789  1389  123589|   4    123789   12359| 
   |  2689  12345689  135689| 12689  35689  12368| 1234789  1234589  1234578 |                     | 1345789   1234589 1234578|345789 13489  23579 |126789  1235789   156 | 
   |  258     23689  1235689|1356789   4    2368 | 123789   1235789   123589 |                     | 1234589  12345789 1234578| 34589   6   1234789|125789   1578    1359 | 
   +-------'--------'-------'-------'-----'------'--------'--------'---------+                     +---------'--------'-------'------'-----'-------'------'--------'------+ 
 

For solvers:
Hidden Text: Show
Code: Select all
#5//B4,JSB/N4,JSB/H16/B28,JSB/N28,JSB
....3...............7....3..........6...293..3............76..............6.12...
ABCDEFGHIBCDEFGHIACDEFGHIABDEFGHIABCEFGHIABCDFGHIABCDEGHIABCDEFHIABCDEFGIABCDEFGH
....9..............4....7.............863...4........7...14................85.3..
IHGFEDCBAAIHGFEDCBBAIHGFEDCCBAIHGFEDDCBAIHGFEEDCBAIHGFFEDCBAIHGGFEDCBAIHHGFEDCBAI
..............................687...2..9.5..1...214..............................
..4.25................17...1........3...795.............7....6..............4....
IABCDEFGHHIABCDEFGGHIABCDEFFGHIABCDEEFGHIABCDDEFGHIABCCDEFGHIABBCDEFGHIAABCDEFGHI
...15.3..............62............7..927...8..........6....4...............6....
HGFEDCBAIGFEDCBAIHFEDCBAIHGEDCBAIHGFDCBAIHGFECBAIHGFEDBAIHGFEDCAIHGFEDCBIHGFEDCBA

B. for bits and bytes solvers. you need to catch some fishes.
The middle grid is Anti-King and Anti-Knight, the outside grids have no normal boxes.
halo_bb_ANAK.PNG
halo_bb_ANAK.PNG (31.07 KiB) Viewed 937 times

In code:
Hidden Text: Show
Code: Select all
#5//B4,JS/N4,JS/H16,AKAN/B28,JS/N28,JS
.....4......4....51..8.......1.8.....7........4.2..........................7.2...
ABCDEFGHIBCDEFGHIACDEFGHIABDEFGHIABCEFGHIABCDFGHIABCDEGHIABCDEFHIABCDEFGIABCDEFGH
...6..........26.......4..3....6.7........52..5.2.6........................7.1...
IHGFEDCBAAIHGFEDCBBAIHGFEDCCBAIHGFEDDCBAIHGFEEDCBAIHGFFEDCBAIHGGFEDCBAIHHGFEDCBAI
.........................................5.......................................
.....2......................4...6.7..29..........4....1..6.......81....4.....4...
IABCDEFGHHIABCDEFGGHIABCDEFFGHIABCDEEFGHIABCDDEFGHIABCCDEFGHIABBCDEFGHIAABCDEFGHI
...6........................4.1.2.9.......3......1.6.......9...2.....9.....4.....
HGFEDCBAIGFEDCBAIHFEDCBAIHGEDCBAIHGFDCBAIHGFECBAIHGFEDBAIHGFEDCAIHGFEDCBIHGFEDCBA

C. for die-hards
the samurai is crunched and has 4x4 overlapping regions.
The middle grid is a vanilla Sudoku and the outside grids have no normal boxes.
halo_4x4.PNG
halo_4x4.PNG (10.45 KiB) Viewed 937 times

In code:
Hidden Text: Show
Code: Select all
#5//B4,JS/L4,JS/G14/B24,JS/L24,JS
.....9.5.2...........1....3............8..1.2....3....532.......4.5.....6........
ABCDEFGHIBCDEFGHIACDEFGHIABDEFGHIABCEFGHIABCDFGHIABCDEGHIABCDEFHIABCDEFGIABCDEFGH
..1..........8...9....2.1...............3.8................1................45..7
IHGFEDCBAAIHGFEDCBBAIHGFEDCCBAIHGFEDDCBAIHGFEEDCBAIHGFFEDCBAIHGGFEDCBAIHHGFEDCBAI
.................................................3...............................
.435........8.....9..................8.2....6...........9..........9...1.........
IABCDEFGHHIABCDEFGGHIABCDEFFGHIABCDEEFGHIABCDDEFGHIABCCDEFGHIABBCDEFGHIAABCDEFGHI
....9.....................1........9.......5...3.4.............7........5.....2..
HGFEDCBAIGFEDCBAIHFEDCBAIHGEDCBAIHGFDCBAIHGFECBAIHGFEDBAIHGFEDCAIHGFEDCBIHGFEDCBA

Have fun.
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby creint » Fri Aug 28, 2020 5:48 pm

A: 3 steps with one or more locked singles required (2 with hidden constraints)
B: 3 steps with one or more locked singles required (2 with hidden constraints)
C: 5 steps with one or more locked singles required (4 with hidden constraints)
creint
 
Posts: 393
Joined: 20 January 2018

Re: Halo around the sun

Postby Hajime » Fri Aug 28, 2020 6:52 pm

creint wrote:...locked singles ...

You mean 'locked subset'?
Can you elaborate the 3 steps for B which steps require additional methods and what candidates are eliminated and why.
I need fishes to solve and you don't ...
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby creint » Fri Aug 28, 2020 9:34 pm

Following state, checking only singles/point+claiming in your solver could result in this right before locked singles in my solver:
Hidden Text: Show
Code: Select all
1         67        3         46        2         9         467       5         8                   245689    2345679   1         2345679   5679      23679     234679    234567    234568
2         1         467       9         467       8         467       3         5                   234567    1         234567    34567     8         23467     23567     23467     9
47        5         467       1         467       2         9         8         3                   34567     345679    45689     345679    2         34679     1         35679     3468
47        8         5         3         467       1         2         467       9                   2346789   234567    23456789  24569     5679      34679     2345679   2345679   1
3         67        9         8         5         467       1         467       2                   25679     24679     24567     245679    3         24679     8         1         2456
8         2         1         7         3         46        5         9         46        2467      23467     8         23467     1         5679      2469      2345679   345679    23456
5         3         2         46        9         467       8         1         467       245679    2345679   2345679   235679    234679    567       1         24569     8         3456
9         4         67        5         8         3         67        2         1         8         45679     45679     45679     5679      1         8         2345679   24569     23456
6         9         8         2         1         5         3         47        47        2467      1         69        269       8         4         5         236       2369      7
                                                  1246789   124679    4678      245678    24567     245678    12345679  12345679  2345679
12678     4         3         5         1278      12678     1267      678       9         3         268       24567     12467     24567     9         1345678   1345678   12468     234678
134567    1235679   2567      8         123467    12479     12467     34567     23457     1245679   234689    123467    12456789  234567    135678    123456789 145689    12346789  235678
9         13567     1245678   367       124567    124678    1247      345678    23457     1245679   23468     2345679   245678    345679    235678    245689    346789    236789    1
1234567   123567    145678    134679    235678    124679    124679    34578     234578    1245679   23468     1234567   145678    234567    12568     1234678   135678    234678    9
13457     8         1457      2         13457     3579      14579     13479     6                   123468    1346789   1246789   124689    123678    1236789   346789    5         234678
1234578   123567    124567    13467     1345678   123456789 2356789   1245679   23478               1689      1256789   3         126789    4         256789    1678      126789    25678
1234678   12357     9         13467     12345678  1345678   12345678  235678    2457                1234689   1245689   1246789   12356789  235678    1234678   13456789  1234678   345678
24567     2367      24578     3467      9         2345678   345678    2345678   1                   7         1234689   125689    2345689   12368     12345689  134568    134689    234568
235678    125679    124678    13479     12345678  1234567   12345678  1345678   234578              5         136789    46789     134678    13678     134678    2         1346789   468

After 1 pass of locked singles (something like pointing/box line reduction using a single digit locked in one constraint)
Hidden Text: Show
Code: Select all
1        67       3        46       2        9        467      5        8                 245689   2345679  1        2345679  5679     23679    234679   24567    24568
2        1        467      9        47       8        467      3        5                 24567    1        234567   34567    8        23467    23567    23467    9
47       5        4        1        467      2        9        8        3                 4567     345679   45689    345679   2        34679    1        35679    3468
47       8        5        3        467      1        2        467      9                 246789   234567   23456789 24569    5679     34679    2345679  2345679  1
3        67       9        8        5        7        1        46       2                 25679    24679    24567    245679   3        24679    8        1        2456
8        2        1        7        3        46       5        9        46       27       237      8        237      1        5679     2469     245679   45679    2456
5        3        2        46       9        67       8        1        467      2459     23459    24569    23569    23469    567      1        24569    8        456
9        4        6        5        8        3        7        2        1        8        4579     4567     45679    5679     1        8        267      26       236
6        9        8        2        1        5        3        47       47       26       1        69       269      8        4        5        236      236      7
                                             126789   124679   4678     258      24567    245678   12367    12367    2367
12678    4        3        5        1278     12678    1267     678      9        3        268      24567    12467    24567    9        13678    13678    1268     23678
134567   1235679  2567     8        123467   1279     12467    34567    235      1245679  24689    123467   12456789 234567   13567    12345679 14569    1234679  23567
9        13567    1245678  367      124567   12678    1247     345678   235      1245679  2468     234679   245678   345679   235678   245689   346789   236789   1
1234567  123567   145678   134679   235678   12679    124679   34578    2358     1245679  246      1234567  145678   234567   12568    1234678  135678   234678   9
13457    8        1457     2        13457    3579     1457     1479     6                 123468   1346789  124679   124689   123678   1236789  346789   5        234678
1234578  123567   124567   13467    1345678  12345678 2356789  124679   2478              1689     1256789  3        126789   4        256789   1678     126789   25678
1234678  12357    9        13467    12345678 1345678  12345678 2678     2457              1234689  1245689  124679   12356789 235678   1234678  13456789 1234678  345678
24567    2367     24578    3467     9        2345678  345678   24678    1                 7        1234689  12569    234689   12368    12345689 134568   134689   234568
235678   125679   124678   13479    12345678 1234567  12345678 14678    24578             5        136789   4679     134678   13678    134678   2        1346789  468

When I compare this for example row 8 puzzle 1.
6 locked in that row both digits seeing 6r3c3 -> exclude 6r3c3
7 locked in that row both digits seeing 7r3c3 -> exclude 7r3c3

Row 9 puzzle 1
4 locked in that row seeing 4r4c5 of center puzzle -> exclude 4r4c5 of center puzzle.
creint
 
Posts: 393
Joined: 20 January 2018

Re: Halo around the sun

Postby Mathimagics » Sat Aug 29, 2020 4:44 am

And all of this emanates from an ExCel spreadsheet? Awesome!! 8-)
User avatar
Mathimagics
2017 Supporter
 
Posts: 1926
Joined: 27 May 2015
Location: Canberra

Re: Halo around the sun

Postby Hajime » Sat Aug 29, 2020 8:12 am

Mathimagics wrote:And all of this emanates from an ExCel spreadsheet? Awesome!! 8-)

No excel anymore. Like you suggested about a year ago, I made an .exe ;) It is about 1000 times faster, and with more functionality.
See http://forum.enjoysudoku.com/sisesuso-simple-serial-sudoku-solver-t35062-15.html bottom of topic.
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby Hajime » Sat Aug 29, 2020 8:17 am

crient, you said: Row 9 puzzle 1.
Puzzle A is indeed locked singles only.
But puzzle B needs fishes imho.
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby Mathimagics » Sat Aug 29, 2020 8:42 am

Hajime wrote:No excel anymore. Like you suggested about a year ago, I made an .exe

You've come a long way, well done 8-)
User avatar
Mathimagics
2017 Supporter
 
Posts: 1926
Joined: 27 May 2015
Location: Canberra

Re: Halo around the sun

Postby Hajime » Sat Aug 29, 2020 1:03 pm

Mathimagics wrote:
Hajime wrote:No excel anymore. Like you suggested about a year ago, I made an .exe

You've come a long way, well done 8-)

Just 2.5 years now. Hajime (in Japanese) = Let's begin (in English).
Lots of learning still to be done. So few moments to make puzzles or extend SiSeSuSo.
And this forum is like a school to me. Many teachers around :D
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby creint » Sat Aug 29, 2020 2:49 pm

My previous example was all from C, (puzzle = grid).

Here is puzzle B (edit this time really B):
Before my solver using locked singles:
Hidden Text: Show
Code: Select all
236789   1235689  235689   13569    135679   4        12356789 1235679  136789                              134589   1234789  12389    6        134589   3789     489      1345789  1245789
236789   23689    236789   4        2369     136789   123679   136789   5                                   134589   134789   135789   13489    13589    2        6        45789    145789
1        23569    35679    8        235679   35679    345679   234679   23679                               6        12789    15789    1589     1289     4        189      1789     3
4        3569     1        3569     8        35679    23679    235679   2369                                24589    13489    123589   134589   6        389      7        134589   1289
35689    7        235689   13569    134569   13689    12345689 2345689  123689                              1389     6        13789    13489    134789   3789     5        2        1489
3569     4        35679    2        13679    1356789  35689    1356789  136789                              13489    5        789      2        134789   6        13489    13489    189
2356789  123569   3456789  1369     12345679 35689    12356789 1356789  369      1235689  1235689  123689   13589    1389     4        589      135789   35789    2        135789   6
235679   135689   2346789  13569    234569   1356789  13589    2359     1389     123589   123589   4        7        1389     6        1389     24589    3589     13489    134589   124589
35689    13689    35689    7        13569    2        3569     135689   4        7        123689   123689   2389     2389     358      7        2389     1        3489     6        4589
                                                      12356789 1235689  135689   123689   123689   12389    12389    4        123578
                                                      123789   123789   1389     12389    4        5        12389    6        12378
                                                      12356789 4        1356789  13689    1236789  123789   12389    12378    123578
4        1356789  1357     35789    13569    2        135789   13568    1356789  135689   13789    123789   4        12578    123578   6        23578    13578    2578     13578    9
356789   1356789  13567    4        356789   1359     3578     1358     2        4        13578    1378     6        13578    9        23578    234578   34578    14578    134578   23578
35678    1356789  123567   235789   1235789  35789    4        35689    135789   135689   135789   123789   1358     123578   123578   23578    9        1345678  14578    235678   124578
3589     4        1235     23589    123589   6        23589    7        3589                                3578     4        35678    1        35678    2        578      9        3578
35678    2        9        3578     135678   13578    13578    4        1356                                1578     125678   245678   9        45678    5678     3        12578    124578
23569    356789   1357     3578     4        135789   12356789 123589   356789                              9        23578    34578    3578     1        4578     6        234578   23578
1        359      4        6        3578     35789    235789   23589    35789                               3578     135678   1345678  23578    24578    9        124578   1235678  12345678
23579    35679    8        1        3579     357      235679   23569    4                                   2        135678   35678    578      3578     134578   9        1345678  345678
2356789  135789   23567    2359     356789   4        135678   1235689  1356789                             13578    9        12578    4        23578    135678   12578    235678   135678

After locked singles:
Hidden Text: Show
Code: Select all
236789   1235689  235689   13569    135679   4        12356789 1235679  136789                              134589   13478    12389    6        134589   3789     489      13489    145789
236789   23689    236789   4        2369     136789   123679   136789   5                                   134589   13478    1389     13489    1389     2        6        5789     15789
1        23569    35679    8        235679   35679    345679   234679   23679                               6        1278     1789     1589     1289     4        189      1789     3
4        3569     1        3569     8        35679    23679    235679   2369                                24589    1348     123589   13489    6        389      7        134589   1289
35689    7        235689   13569    13569    13689    12345689 2345689  123689                              1389     6        13789    13489    134789   3789     5        2        1489
3569     4        35679    2        13679    1356789  35689    135689   136789                              13489    5        789      2        134789   6        13489    13489    189
235689   123569   345689   1369     1234569  35689    12356789 1356789  369      13589    123589   3689     1358     1389     4        589      13789    35789    2        135789   6
235679   135689   2346789  13569    34569    1356789  13589    2359     1389     23589    123589   4        7        1389     6        1389     24589    3589     13489    134589   124589
35689    13689    35689    7        13569    2        3569     135689   4        7        1389     13689    238      389      38       7        389      1        3489     6        4589
                                                      1356789  1235689  135689   2389     123689   138      1389     4        13578
                                                      123789   123789   1389     12389    4        5        1389     6        12378
                                                      1235689  4        3589     1389     1236789  1378     1389     138      12358
4        1356789  1357     35789    13569    2        3589     13568    135789   35689    1389     12389    4        12578    1238     6        23578    13578    2578     13578    9
356789   1356789  3567     4        356789   1359     3578     1358     2        4        1358     138      6        13578    9        23578    234578   34578    14578    134578   23578
35678    1356789  123567   35789    1235789  35789    4        35689    13789    135689   135789   123789   138      123578   2378     23578    9        1345678  14578    235678   124578
3589     4        135      23589    123589   6        23589    7        3589                                3578     4        35678    1        35678    2        578      9        3578
35678    2        9        3578     135678   13578    13578    4        1356                                1578     12678    45678    9        45678    578      3        12578    124578
23569    356789   1357     3578     4        135789   1356789  123589   356789                              9        2378     34578    3578     1        4578     6        234578   23578
1        359      4        6        3578     35789    235789   23589    35789                               3578     13678    1345678  23578    24578    9        124578   1235678  12345678
23579    35679    8        1        3579     357      235679   3569     4                                   2        13678    35678    578      3578     134578   9        1345678  345678
356789   135789   23567    2359     356789   4        135678   23589    1356789                             13578    9        12578    4        23578    135678   12578    23578    135678

Take grid 1: 4r7c24 -> -4r5c5 or 4r35c7 -> -4r5c5 or diagonal 4r5c7|4r7c5 -> -4r5c5 and more.
Last edited by creint on Sun Aug 30, 2020 10:07 am, edited 2 times in total.
creint
 
Posts: 393
Joined: 20 January 2018

Re: Halo around the sun

Postby Hajime » Sun Aug 30, 2020 9:59 am

Thanks creint. I discovered a bug in my Generalized Intersection method dealing with JigSaw, for puzzle C.
creint wrote:My previous example was all from C, (puzzle = grid).
Here is puzzle B:
Before my solver using locked singles:
Code: Select all
12458    124589   124589   245789   3        14578    1245789  6        145789   .....   

Take grid 1: 4r7c24 -> -4r5c5 or 4r35c7 -> -4r5c5 or diagonal 4r5c7|4r7c5 -> -4r5c5 and more.

This is not puzzle B but A, with a given 3 in r1c5. But I saw your point. Thanks again.
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby Hajime » Sun Sep 06, 2020 10:33 am

I implemented the Jigsaw type for Generalized Intersections (locked singles) in a prototype of SiSeSuSo.
Still I need a X-Wing to solve the puzzle C; puzzle B can be solved with Generalized intersections indeed.
It may be part of the omission that (W)XY(Z)-Wings methods are still not implemented yet.

Here a puzzle D (layout same as puzzle C, with 4x4 overlapping areas) where I need even an XY-Chain (next to Jigsaw Generalized Intersections and bigger fishes)
Code: Select all
   +--'--'--'--'--'--'--'--'--+  +--'--'--'--'--'--'--'--'--+ 
   |    5              1      |  |                          | 
   |                         8|  |       2                  | 
   |    8           3        6|  |                          | 
   |                   3      |  |       4                  | 
   | 6                        |  |          8           7   | 
   |              +--'--'--+--+--+--+--'--'--+              + 
   | 4  3         |        |  |  |  |        |              | 
   |    6         |        |  |  |  |        |              | 
   |       2      |        |  |  |  |        |              | 
   |              +--'--'--+--+--+--+--'--'--+              + 
   | 2     4      |        |  |  |  |        |             5| 
   +--'--'--'--'--+--'--'--+--+  +--+--'--'--+--'--'--'--'--+ 
                  |    9   |        |        |                 
   +--'--'--'--'--+--'--'--+--+  +--+--'--'--+--'--'--'--'--+ 
   |    1         |        |  |  |  |        | 9  4  2     6| 
   |              +--'--'--+--+--+--+--'--'--+              + 
   | 5            |        |  | 9|  |        |             8| 
   | 9     4      |        |  |  |  |        |          5   | 
   |       1  7   |        |  |  |  |        |              | 
   |              +--'--'--'--+--+--'--'--'--+              + 
   |                          |  |          3              1| 
   |                      3  4|  |                          | 
   |                   8      |  |                          | 
   |                   4      |  |                         4| 
   |                          |  |                1         | 
   +--'--'--'--'--'--'--'--'--+  +--'--'--'--'--'--'--'--'--+ 
                                                               
#5//B4,JS/L4,JS/G14/B24,JS/L24,JS
.5....1..........8.8...3..6......3..6........43........6.........2......2.4......
ABCDEFGHIBCDEFGHIACDEFGHIABDEFGHIABCEFGHIABCDFGHIABCDEGHIABCDEFHIABCDEFGIABCDEFGH
...........2.................4.........8...7....................................5
IHGFEDCBAAIHGFEDCBBAIHGFEDCCBAIHGFEDDCBAIHGFEEDCBAIHGFFEDCBAIHGGFEDCBAIHHGFEDCBAI
.....................................9....................9......................
.1.......5........9.4........17.....................34......8........4...........
IABCDEFGHHIABCDEFGGHIABCDEFFGHIABCDEEFGHIABCDDEFGHIABCCDEFGHIABBCDEFGHIAABCDEFGHI
....942.6........8.......5.............3....1..........................4.....1...
HGFEDCBAIGFEDCBAIHFEDCBAIHGEDCBAIHGFDCBAIHGFECBAIHGFEDBAIHGFEDCAIHGFEDCBIHGFEDCBA
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby creint » Sun Sep 06, 2020 7:44 pm

For puzzle C, when you release your version I can compare the results to determine which things you are missing.
Puzzle D: 6 steps of locked singles then one step with fishes (only one x-wing required) then 7 steps of locked singles and last one step of locked sets.
X-Wing and some larger can be found using X-Cycles. Generalized fish can be found in this puzzle.
creint
 
Posts: 393
Joined: 20 January 2018

Re: Halo around the sun

Postby Hajime » Tue Sep 08, 2020 2:02 pm

creint wrote:For puzzle C, when you release your version I can compare the results to determine which things you are missing.

The first 156 cells are solved with Naked Subsets, Pointing Claiming and Generalized Intersections.
The state of the puzzle is at that moment:
Hidden Text: Show
Code: Select all
+-------'-------'-------'------'--------'--------'--------'-------'------+   +----'------'-----'-----'------'------'------'-------'------+ 
   |   1       7       3       6       2        9        4       5       8  |   |  8     7     1     3      6      2      9      5       4  | 
   |   2       1       7       9       4        8        6       3       5  |   |  2     1     6     7      8      4      5      3       9  | 
   |   7       5       4       1       6        2        9       8       3  |   |  6     3     5     4      2      7      1      9       8  | 
   |   4       8       5       3       7        1        2       6       9  |   |  4     2     8     9      5      3      6      7       1  | 
   |   3       6       9       8       5        7        1       4       2  |   |  7     6     4     5      3      9      8      1       2  | 
   |                                       +--------'--------'-------+------+---+----+------'-----'-----+                                   + 
   |   8       2       1       7       3   |    4        5       9   |   6  | 2 |  3 |   8     7     1  |   9      6      2      4       5  | 
   |   5       3       2       4       9   |    6        8       1   |   7  | 4 |  9 |   5     3     2  |   7      1      4      8       6  | 
   |   9       4       6       5       8   |    3        7       2   |   1  | 8 |  5 |   4     9     6  |   1      8      7      2       3  | 
   |                                       +--------'--------'-------+------+---+----+------'-----'-----+                                   + 
   |   6       9       8       2       1   |    5        3       7   |   4  | 6 |  1 |   9     2     8  |   4      5      3      6       7  | 
   +-------'-------'-------'------'--------+--------'--------'-------+------+   +----+------'-----'-----+------'------'------'-------'------+ 
                                           |   289      249      48  |  28    5    7 |  16     16    3  |                                     
   +-------'-------'-------'------'--------+--------'--------'-------+------+   +----+------'-----'-----+------'------'------'-------'------+ 
   | 12678     4       3       5     1278  |   128      126      68  |   9  | 3 | 28 |   7     4     5  |   9     368   1368    1268   2368 | 
   |                                       +--------'--------'-------+------+---+----+------'-----'-----+                                   + 
   | 134567 1235679   2567     8    123467 |  1279      126     356  |  235 |179|2468| 1236   168    47 | 35678  12368    9   1234678  23568| 
   |   9     13567  1245678   367   124567 |  1278      124    34568 |  235 | 17| 268|  236   568    9  |235678  24568  3468   23678     1  | 
   |1234567  123567  145678 134679  235678 |  1279     1269     358  | 2358 |179|2468|  126   568    47 | 1268  123678 135678   2368     9  | 
   |                                       +--------'--------'-------'------+---+----'------'-----'-----+                                   + 
   | 13457     8      1457     2     1345     3579     1457    13479     6  |   |  3    468  12678  1268  1268     9     468     5     24678| 
   | 123458  123567  124567  13467  135678  12345678  2356789 1245679  23478|   |  1   2568    3    268     4    2568    678     9     2678 | 
   | 123678  12357     9     13467 12345678  1345678 12345678  235678  2457 |   |  9  124568 12678 12368  23568 123678  13468  124678  3678 | 
   | 24567    2367   24578   3467      9     2345678  345678  2345678    1  |   |  7     9    1268  2368  12368 123468  14568   3468  234568| 
   | 235678  125679  124678  13479 12345678  1234567 12345678 1345678 234578|   |  5   1368    9    1368  13678  14678    2     3468    468 | 
   +-------'-------'-------'------'--------'--------'--------'-------'------+   +----'------'-----'-----'------'------'------'-------'------+ 
                                                                                                                                               
#5//B4,JS/L4,JS/G14/B24,JS/L24,JS
173629458217948635754162983485371269369857142821734596532496817946583721698215374
ABCDEFGHIBCDEFGHIACDEFGHIABDEFGHIABCEFGHIABCDFGHIABCDEGHIABCDEFHIABCDEFGIABCDEFGH
871362954216784539635427198428953671764539812387196245953271486549618723192845367
IHGFEDCBAAIHGFEDCBBAIHGFEDCCBAIHGFEDDCBAIHGFEEDCBAIHGFFEDCBAIHGGFEDCBAIHHGFEDCBAI
459623871681749532372185496537461928....57..3...93.745.................9.........
.435....9...8.....9..................8.2....6...........9..........9...1.........
IABCDEFGHHIABCDEFGGHIABCDEFFGHIABCDEEFGHIABCDDEFGHIABCCDEFGHIABBCDEFGHIAABCDEFGHI
.7459..........9.....9....1........93....9.5.1.3.4..9.9........79.......5.9...2..
HGFEDCBAIGFEDCBAIHFEDCBAIHGEDCBAIHGFDCBAIHGFECBAIHGFEDBAIHGFEDCAIHGFEDCBIHGFEDCBA

Then the next methods are used:
Hidden/Naked subsets | NSS (16)g3r5c78 => (-1)g3r5c1 (-16)g3r5c2 (-6)g3r5c3 | NSS (47)g5c4r24 => (-4)g5r5c4 (-7)g5r6c4 (-7)g5r7c4 (-4)g5r8c4 (-7)g5r9c4
Pointing/Claiming | C (4)3r8b7 => (-4)g3r7c2 (-4)g3r7c3 (-4)g3r9c2 (-4)g3r9c3
Generalized Intersection | [3](7)r1c1J4 => (-7)g4r6c1 | [3](7)r1c5J9 => (-7)g4r5c5 | [3](4)r2c1J3 => (-4)g4r7c1 | [3](4)r2c5J8 => (-4)g4r6c5 | [3](9)r2c6J9 => (-9)g4r6c6 | [3](9)J1r5c7 => (-9)g4r5c7 | [3](1)r1c8J2 => (-1)g5r9c8 | [3](4)c4r2J2 => (-4)g5r2c6 | [3](7)c4r2J2 => (-7)g5r2c6 | [3](7)J3r2c9 => (-7)g5r2c9 | [3](4)r3c6J9 => (-4)g5r4c6 | [3](7)J8r3c7 => (-7)g5r3c7 | [3](7)r3c8J2 => (-7)g5r9c8 | [3](4)c1r4J7 => (-4)g5r4c8 | [3](7)c3r5J9 => (-7)g5r5c5 | [3](4)c2r7J3 => (-4)g5r7c9 | [3](7)J6r7c7 => (-7)g5r7c7 | [3](5)c7r8J8 => (-5)g5r8c3 | [3](5)r8c9J4 => (-5)g5r6c9
Generalized Intersection | [3](5)r6c6J2 => (-5)g5r2c6
Generalized Intersection | [3](5)r2c9J3 => (-5)g5r7c9 | [3](5)J3r4c5 => (-5)g5r4c5
X-Wing or Fishes | X-Wing (4)g5c14r24 => (-4)g5r2c8

Generalize Intersection notation [3](7)r1c1J4 => (-7)g4r6c1 means: 3 houses, candidate 7 is locked in r1 with intersections with c1 and Jigsaw house 4 => candidate 7 to be erased in r6c1 in grid 4.

All above methods and eliminations are needed to solve the next cell.

So I need an X-Wing in columns 14 and row 24 to eliminate candidate 4 in r2c8 (all in grid 5).
In total 13 cells can be solved (naked/hidden Singles) before a next method is needed...

After that it is again various Naked Subsets, Pointing/Claiming and Generalized Intersections to solve the rest of the puzzle.
Hope you can help.
User avatar
Hajime
 
Posts: 1350
Joined: 20 April 2018
Location: Fryslân

Re: Halo around the sun

Postby creint » Tue Sep 08, 2020 5:01 pm

Grid 3, locked singles 1r6c12 -> -1r5c12,-1r7c1 and in grid 4 -1r1c15,-1r9c6.
Looks like your are missing all the locked singles from grid 3.
Most of them exclude in other grids.

'Generalized Intersection' but not yet in code.
creint
 
Posts: 393
Joined: 20 January 2018

Next

Return to Sudoku variants