The hardest sudokus (new thread)

Everything about Sudoku that doesn't fit in one of the other sections

Re: The hardest sudokus (new thread)

Postby 999_Springs » Tue Mar 01, 2022 5:48 pm

mith wrote:
denis_berthier wrote:
mith wrote:Indeed, these are two of the minimals from the 30c morph-dependent 11.9. The singles only get them to 29c though, whereas the other two minimals get back to 30c (and this is presumably why they are in T&E(2) - that 30th digit in the others takes at least two 11.8 steps, it's not trivial!)

Applying isomorphisms or Singles can't change the T&E(n) classification of a puzzle.


I understand that. The point is that the two puzzles you mentioned are morphs of each other after singles, but the other two puzzles *aren't* - they have an extra digit. All four are minimals of the same 30c puzzle, but the first two only get to 29c with singles - that 30th digit is the difference.

All four can be made 11.9 with the right morph, but only the first two are not in T&E(2).

denis_berthier's pencilmark grids indicate that the sticking point after t&e(2) has 31 clues, not 29 or 30. the extra 2 clues are 3r1c1, which mith you indicated is the 30th clue in your pencilmark grid in an earlier post, and an extra clue 6r5c9. in particular, this means that the 30th digit is included before the t&e(2) sticking point, which means i now have no idea why two of the puzzles would be in t&e(2) and two aren't

the 31st digit, 6r5c9, also raises another point: adding it to the puzzle gives a completed 6,8 UR in r45c59. if you were to swap the 6,8 UR around, you would get a puzzle that is NOT isomorphic to the original puzzle, but the pencilmark grids (ignoring the clues) are isomorphic, so any technique that removes a candidate from one puzzle will always remove the same candidate from the other puzzle (except for reverse bug-lites that rely on knowing what the original givens were, but they don't apply here).

here is the 31-clue state of the 11.9, that denis_berthier claims is not in t&e(2), in one-line format:
3.......1.....2.......3..458.6.......71.8...623..67..8.827.61..61..23...7.381.6..
that has to mean that this puzzle is not isomorphic, and would also not be in t&e(2) - can someone check this?
3.......1.....2.......3..458.6.......71.6...823..87..6.827.61..61..23...7.381.6..

is the second puzzle, or any of its minimal versions, in one or both of mith's lists of 11.8's? also what's its SE rating? i checked with skfr that the additional clue 6r5c9 reduces its skfr from 11.7 to 11.6 so it's unlikely that it is SE 11.9 but i don't have time to check it right now

edit: as champagne noted, adding the trivalue oddagon reduces the difficulty to human-solvable, so i'll try to find a manual solution and will post it as a puzzle in the puzzles forum if i do
999_Springs
 
Posts: 591
Joined: 27 January 2007
Location: In the toilet, flushing down springs, one by one.

Re: The hardest sudokus (new thread)

Postby mith » Tue Mar 01, 2022 5:56 pm

I've actually already found a manual solve; I'll throw the puzzle in the Puzzles forum to see what others come up with.

I hadn't noticed the pencilmark grids have another digit, nor that the "sticking point" digit is there. This warrants further investigation.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Tue Mar 01, 2022 6:02 pm

The 31c with swapped 6 and 8 has 12 minimals (all 17c), none of which had been found by my scripts yet. I'll rate them now.

Code: Select all
........1.....2.......3..45..1.23....267.81..73.61.8...17.....6.8.......2.3.67..8  ED=11.7/1.2/1.2
........1.....2.......3..45..6.......71.....823..87..6.827.61..6...23...7.381.6..  ED=11.7/1.2/1.2
........1.....2.......3..45..6.......71.6...823..87..6.827..1..6...23...7.381.6..  ED=11.7/1.2/1.2
........1.....2.......3..45..1.23....267.81..73.61.8...17.....62.3..7..868.......  ED=11.7/1.2/1.2
........1.....2.......3..45..6.23....3781.6..82.7.61...68......3.2..7..671......8  ED=11.7/1.2/1.2
........1.....2.......3..45..6.23....3781.6..82.7..1...68......3.2..7..671..6...8  ED=11.7/1.2/1.2
........1.....2.34.23..156......46....5.......6..78....56....4.24.1..3..3.14...25  ED=11.6/1.2/1.2
........1.....2.34.23..156......46....5.......6..78....56...1..24.1..3..3.14...25  ED=11.6/1.2/1.2
........1....23....24....35....46....4273...8.6.8..7...7.26..8..86..4...2.3..7...  ED=11.7/1.2/1.2
........1....23....24....35....46......73...8.6.8.27...863.4...2.3..7...47..6..8.  ED=11.7/1.2/1.2
........1....23....24....35....46......73...8.6.8.27...86..4...2.3..7...47.26..8.  ED=11.7/1.2/1.2
........1....23....24....35....46.....273...8.6.8..7...86..4...2.3..7...47.26..8.  ED=11.7/1.2/1.2


[edit]Ratings added, all 11.6-11.7[/edit]

This might be a new script to add at some point, though - look for completed rectangles (maybe larger unavoidables?) in a singles-expanded grid, and try minimizing both the original and with the rectangles flipped.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby 999_Springs » Tue Mar 01, 2022 6:47 pm

very nice, we found a batch of new 11.6's-11.7's with the smallest possible amount of effort, mainly just by me eyeballing the pencilmark grid :D
mith wrote:This might be a new script to add at some point, though - look for completed rectangles (maybe larger unavoidables?) in a singles-expanded grid, and try minimizing both the original and with the rectangles flipped.

no need to limit the search to just completed UR's. the general way of finding all equivalent puzzles that share the same pencilmark grid ignoring the clues is as follows. i'll demonstrate on your puzzle:

start with the puzzle you want
3.......1.....2.......3..458.6.......71.8...623..67..8.827.61..61..23...7.381.6..
find the solution
354978261168542973927631845896354712471269358235187496582796134619423587743815629
find the complement (subtract them as 81-digit numbers with 0's for blanks)
.5497826.16854.9739276.18...9.3547124..2.935...51..49.5...9..34..94..587.4...5.29 (*)
find all solutions of this
354978261168542973927631845896354712471269358235187496582796134619423587743815629
354978261168542973927631845896354712471289356235167498582796134619423587743815629
find the complement of each one wrt (*)
3.......1.....2.......3..458.6.......71.6...823..87..6.827.61..61..23...7.381.6..
3.......1.....2.......3..458.6.......71.8...623..67..8.827.61..61..23...7.381.6..
and you get all possible puzzles. in this case there were only these two available, the original and the 6/8 flipped one.

this is exactly the same method that i used to manipulate the puzzles in the "maximum clues for each se rating" thread for the ratings 10.5-11.1 and 5.3. the 10.5-11.1's came from dobrichev's 48's and the 5.3 came from a 4.9 patterns game puzzle by champagne. naturally, this method for puzzle generation works best when the seeds have lots of clues, so you're more likely to get lots of possible solutions to the complements. it would be delightful if this same method could be used for hardest puzzle generation - i'd previously thought that this method would be fruitless because your starting seeds wouldn't have enough clues in them... until now :)
Last edited by 999_Springs on Tue Mar 01, 2022 6:50 pm, edited 1 time in total.
999_Springs
 
Posts: 591
Joined: 27 January 2007
Location: In the toilet, flushing down springs, one by one.

Re: The hardest sudokus (new thread)

Postby mith » Tue Mar 01, 2022 6:49 pm

Very nice, a lot simpler than anything I was going to come up with. Shouldn't be hard at all to script. :) I'll call that script springs.sh or something
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby denis_berthier » Tue Mar 01, 2022 6:55 pm

999_Springs wrote:that has to mean that this puzzle is not isomorphic, and would also not be in t&e(2) - can someone check this?
3.......1.....2.......3..458.6.......71.6...823..87..6.827.61..61..23...7.381.6..

Right; not in T&E(2)
denis_berthier
2010 Supporter
 
Posts: 4238
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby mith » Tue Mar 01, 2022 6:56 pm

In that case, the other two minimals from the first pencilmark grid should also not be?

That would give 16 minimal examples in total, from two (very closely related) 31c puzzles.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Tue Mar 01, 2022 8:18 pm

Today's update, leaving the noteworthy ratings unhidden (11.8s plus the new 11.7 31c minimals):
Code: Select all
........1......23......4.56....43..5.3752..8.5.47.8.2...8......34..87...7.235....  ED=11.8/1.2/1.2
........1......23.....14.56..7..6....86.5...741..78.....864..7..54..1...76..85...  ED=11.8/1.2/1.2
........1......23......4.56.....3..5.3725..8.5.4.78.2...8.4....34.8.7...7.253....  ED=11.8/1.2/1.2
........1......23.....14.56..6.75....458.1....7.64..8..67.5...8.8...6...4.1..7...  ED=11.8/1.2/1.2
........1.......2......3..4..2.356...3.72.8..75.6.82...8.5.....3.5.86.7.62..7....  ED=11.8/1.2/1.2
........1.......2......3..4..325.6...57.8.2...6.3.78....6.7.....825.....73.6.8.5.  ED=11.8/1.2/1.2

Code: Select all
.......12......345.....3..6..768.....69..1...83.7.9....163.7...3.896.1..79..186..  ED=11.7/1.2/1.2
........1......234.....2.56.17..8...5.2.19...98.72.....91..75..7.589.1..82..51...  ED=11.7/1.2/1.2
.......12......345.....3..6..768.....69..1...83.7.9....163.7...39..186..7.896.1..  ED=11.7/1.2/1.2
........1......234.....2.56.17..8...5.2.19...98.72.....918.75..7.5.9.1..82..51...  ED=11.7/1.2/1.2
.......12......345....13.....6.78....381.9...79.36..8..197.68..3.7.9....68..31...  ED=11.7/1.2/1.2
.......12......345.....3..6..768.....69.31...83.7.9....16..7...39..186..7.896.1..  ED=11.7/1.2/1.2

Hidden Text: Show
Code: Select all
........1......234.....2.56..2.7.....18.295..79.5.81...2789....85.2.1...9.1..7...  ED=11.7/1.2/1.2
.......12......345.....3..6..7.3.....8369.1..19.8.76...7..68...36.1.9...9.837....  ED=11.7/1.2/1.2
........1....23......145.....6...78..79.....281..7.6.9.27...1.61.82..97.69.....28  ED=11.7/1.2/1.2
...............123.....1.45.14.67...68...9...9.781..6..4897....1.9.46...76...84..  ED=11.7/1.2/1.2
........1....23......145.....6...78..79.....281..7.6.9.27...1.619.....286.82..97.  ED=11.7/1.2/1.2
...............123.....1.45.14.67...68...9...9.781..6..48.7....1.9.46...76.9.84..  ED=11.7/1.2/1.2
........1....23......145.....6...78..79....1281..7.6.9.27.....619.....286.82..97.  ED=11.7/1.2/1.2
........1....23.....1.45.....6...78..79....1481..7.6.9.47.....619.....486.84..97.  ED=11.7/1.2/1.2
.......12......345....13.....6..7....381.9...79.36..8..197.68..3.789....6...31...  ED=11.7/1.2/1.2
.......12......345....13.....6.31....7389....19.7.68...6..7....38.1.9...9.736..8.  ED=11.7/1.2/1.2
........1....23......145.....2....16.672..8.981.9...7..91.8..676.....98.7.8.....2  ED=11.7/1.2/1.2
...............123.....1.45..167.....68.194..79.4.8....1789..6.84.1.6...9....7...  ED=11.7/1.2/1.2
.......12....134.5..54.236.....45..6...23.1...2.1.6.342...5....7.....6..896......  ED=11.7/1.2/1.2
........1....23......145.....2....16.67...8.981.9..27..91.8..676.....98.7.8.....2  ED=11.7/1.2/1.2
...............123.....1.45.14.67...68...9...9.781..6..6897....1.9.4....74...68..  ED=11.7/1.2/1.2
........1....23......145.....6.....7.18....2979..8.61..29....761.72..98.68....1..  ED=11.7/1.2/1.2
.......12.....3..4.35.........67....68..395..9.75.86...69..7...37.89..6.5.83.....  ED=11.7/1.2/1.2
...............123.....1.45..6..78...91.4....78.96.4...6981..7.14..76...8.7..9...  ED=11.7/1.2/1.2
...............123.....1.45..1.6.....78.194..69.4.87...1689..7.84.1.7...9....6...  ED=11.7/1.2/1.2
........1....23......145.....6.....7.18....2979..8.61..298...761.72..98.6.....1..  ED=11.7/1.2/1.2
........1....23.....1.45.....6...78..79.....481..7.6.9..84..97..47...1.669.....48  ED=11.7/1.2/1.2
........1....23.....1.45.....6...78..79.....481..7.6.9.47...1.6.9.....486.84..97.  ED=11.7/1.2/1.2
........1....23.....1.45.....6...78..79.....481..7.6.9..78..9...4....1.669.4...78  ED=11.7/1.2/1.2
........1.......23....45..6..4..7....8769.5..59.8.46...4..68...76.5.9...9.8.7....  ED=11.7/1.2/1.2
........1.......23....45..6..4.67....865.9...79..8.....597.4...46...8...8.769.5..  ED=11.7/1.2/1.2
........1.......23....45..6..4..7....865.9...79..8..6..597.4...46...8...8.769.5..  ED=11.7/1.2/1.2
........1....23.....1.45.....6...78..79.....481..7.6.9..78..94..4....1.669.....78  ED=11.7/1.2/1.2
........1.......23....45.....4..6....7689.5..59.7.48...4...7...68.5.9...9.7.6..8.  ED=11.7/1.2/1.2
........1.......2......3..4..2.356...3.72.8.57..6.82...8.5.....3.5.86.7.62..7....  ED=11.7/1.2/1.2
........1.......2......3..4..2.3.5...3.62.7.868.5.72...7.8.....3.8.75.6.52..6....  ED=11.7/1.2/1.2
........1.......2......3..4..2.356...3.72.8.57..6.82...875.....3.5.86...62..7....  ED=11.7/1.2/1.2
........1.......2......3..4..2.3.5.6.3.62.7.8.8.5.72...768.....3.8.75...52..6....  ED=11.7/1.2/1.2
........1.......2......3..4..2.3.5...3.62.7.868.5.72...768.....3.8.75...52..6....  ED=11.7/1.2/1.2
........1.......2......3..4..2.35..6.3.7.82...5762.8...86....5.3.5.87...72..6....  ED=11.7/1.2/1.2
........1.......2......3..4..2.35..6.3.7.82...5762.8...86....5.3...87...72.56....  ED=11.7/1.2/1.2
........1.......2......3..4..2..5..6.3..782...5726.8...86.3..5.3.58.7...72.6.....  ED=11.7/1.2/1.2
........1.......2......3..4..2..5..6.3..782...5726.8...86.3..5.3..8.7...72.65....  ED=11.7/1.2/1.2
........1.......2......3..4..2.35..6.3.7.8..5.5762.8...86....5.3.5.87...72..6....  ED=11.7/1.2/1.2
........1.......2......3..4..2..5..6.3..78..5.5726.8...86.3..5.3.58.7...72.6.....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5...6.5627.8..82.3.6..7.78....6.36.8.5...5.27.....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5...6.5627.8..82...6..7.78.3..6.36.8.5...5.27.....  ED=11.7/1.2/1.2
........1.......2......3..4..2.35..6.5.7.82..73.62.8...27.6....3.5.87...68.....5.  ED=11.7/1.2/1.2
........1.......2......3..4..2.35..6.5.7.82..73.62.8...2756....3...87...68.....5.  ED=11.7/1.2/1.2
........1.......2......3..4..2.3...5.6.7.82..73.52.8.6.2765....3...87...58.....6.  ED=11.7/1.2/1.2
........1.......2......3..4..325.6.7.5..8.2...6.3.78...825.....5.6.7....73.6.8...  ED=11.7/1.2/1.2
........1.......2......3..4..325.6.7.5..8.2...6.3.78....6.7.....825.....73.6.8.5.  ED=11.7/1.2/1.2
........1.......2......3..4..325.6.7..7.8.2...6.3..8.5.825.....5.6.7....73.6.8...  ED=11.7/1.2/1.2
........1.......2......3..4..325.6.7.57.8.2...6.3..8...825.....5.6.7....73.6.8...  ED=11.7/1.2/1.2
........1.......2......3..4..325.6.7.57.8.2...6.3..8....6.7.....825.....73.6.8.5.  ED=11.7/1.2/1.2
........1.......2......3..4..3.5.2...5627.8..8..3.6..7.78....6.36.8.5...5.27.....  ED=11.7/1.2/1.2
........1.......2......3..4..2.3...5.3.6.7..8.8652.7...75....8.3...76...62.85....  ED=11.7/1.2/1.2
........1.......2......3..4..2.....5.3..67..8.8625.7...75.3..8.3..7.6...62.58....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5.2.6.5627.8..8..3....7.78....6.3..8.5...5.276....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5.2.6.5627.8..8.......7.78.3..6.3..8.5...5.276....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5.2...5627.8..8..3.6..7.78....6.3..8.5...5.276....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5.2...5627.8..8....6..7.78.3..6.36.8.5...5.27.....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5.2...5627.8..8....6..7.78.3..6.3..8.5...5.276....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5...6.5627.8..82.3....7.78....6.3..8.5...5.276....  ED=11.7/1.2/1.2
........1.......2......3..4..3.5...6.5627.8..82......7.78.3..6.3..8.5...5.276....  ED=11.7/1.2/1.2
........1.......2......3..4..5.36..7.3872.5...6.8..2...57....6.6.3.58...82..7....  ED=11.7/1.2/1.2
........1.......2......3..4..3.56....57....8.62.87......5.38..7.3672.5...8.6..2..  ED=11.7/1.2/1.2
........1.......2......3..4..3.56....57....8.62.87......5.3...7.3672.5.8.8.6..2..  ED=11.7/1.2/1.2

Hidden Text: Show
Code: Select all
.......12......345.....4..6..1..7....89.42...74.19.2...17.89...82.4.1...9.472....  ED=11.6/1.2/1.2
........1......234.....25.6..567.....68..9...72.5.8.6..962.5...2.798....58..67...  ED=11.6/1.2/1.2
.......12......345....13.....678.....89..1...73..69.8..18.36...3.789....69...78..  ED=11.6/1.2/1.2
........1......234.....25....567.....68..9...72.5.8.6..962.5...2.7.8.6..58...79..  ED=11.6/1.2/1.2
........1......234.....4.5...6..7..8.7.16...941..98....94.86...16.74.8..8.7..1...  ED=11.6/1.2/1.2
.......12......345.....4..6..7..8....8.17..9.41..92....94.27...17.84.2..2.8..1...  ED=11.6/1.2/1.2
........1......234.....25.6..7.5.....2689....59.2.7.6..8957....2.56.8...76...9...  ED=11.6/1.2/1.2
........1......234....256.7..8..6....275.9...69.28..7..596.8...2.67.....87..9....  ED=11.6/1.2/1.2
........1......234.....4.5...617.....41.89...78...6..9.1764.9..4.8.97...69...1...  ED=11.6/1.2/1.2
........1......234.....4.5...1..6....78.49...64.18.9...16.78..979.4.1...8.46.....  ED=11.6/1.2/1.2
........1......234.....25.6..567.....68..9...72.5.8.6..962.5...2.7.8....58...79..  ED=11.6/1.2/1.2
........1......234.....25.6..567.....68..9...72.5.8....962.5...2.798.6..58...7...  ED=11.6/1.2/1.2
........1......234.....25.6..567.....68..9...72.5.8....962.5...2.7.8.6..58...79..  ED=11.6/1.2/1.2
........1......234.....25....567.....68..9...72.5.8.6..962.5...2.798.6..58...7...  ED=11.6/1.2/1.2
........1...234.....2..5.....6....78.7..8.9.68.9...12..278....91.8...6.296.1..7..  ED=11.6/1.2/1.2
........1......234....25..6..25.7....8..69...9.728..6..759.8...29.67.5..8.6......  ED=11.6/1.2/1.2
........1....23.....1.45.....6.....7.18....4979..8.61..49....761.74..98.68....1..  ED=11.6/1.2/1.2
........1...234.....2..5.....6....78.2....1.989..7.26..197..8.62.81..79.67.......  ED=11.6/1.2/1.2
........1......234....25.....25.6....7..89...9.627..8..659.78..29.86.5..7.8......  ED=11.6/1.2/1.2
........1....23.....1.45.....6.....7.18....4979..8.61..498...761.74..98.6.....1..  ED=11.6/1.2/1.2
.......12......345....13.....6.7.....819.....73.6.8.91.93.8....6..3.7...8.719.6..  ED=11.6/1.2/1.2
........1...234.....2.15.....6...27..786..1.992......8..7.9168..6......781....9.2  ED=11.6/1.2/1.2
........1.......23....45..6..7..8....45.96...98..7...5..9.876..4.8.5....76.9.45..  ED=11.6/1.2/1.2
........1....23.....2145.....6...78..7.....968.9...1...2....6..19.2..8.76.78...29  ED=11.6/1.2/1.2
........1....23.....2145..........6..678..2.991.2...87..6...87..89....1.72....9.6  ED=11.6/1.2/1.2
........1....23.....2145.....6...78..7.....968.9...1...28...6..19.2....76.78...29  ED=11.6/1.2/1.2
.......12.....3..4..3...5.6..7.68....5893..6.96...5.....958.7...35.76...8....9...  ED=11.6/1.2/1.2
........1......234.....25....6..7....52.89...97.65.8...6.5.....28.79....7.5.26.8.  ED=11.6/1.2/1.2
........1......234....256....7..6....285.9...69.27..8..596.78..2.68.....7...9....  ED=11.6/1.2/1.2
.......12.....3..4..3...5....6.7.....89.35...75.9.68...3765..8.5....7...69.3.8...  ED=11.6/1.2/1.2
.......12.....3..4..3...5....6.78....5893..7.97...5.....958.6...35.67...8....97..  ED=11.6/1.2/1.2
........1.......23....45.....4.56....678.94..85..7.9...95.67.8.6..98....7.8..4...  ED=11.6/1.2/1.2
........1...234.....2.15.....6...27..786..1.99.......8.6......72.7.9168.81....9..  ED=11.6/1.2/1.2
........1..2.34.....3.56.....7.8..19.9....2..13....8.7..98...7..21.....378.3..9.2  ED=11.6/1.2/1.2
........1..2.34.....3.56.....7.8..19.98...2..13......7..98...7..21....837..3..9.2  ED=11.6/1.2/1.2
.......12......345....13.....6..7....7819.6..93..8......76.8.91.6..7....81.93....  ED=11.6/1.2/1.2
........1....23.....4..5.....6....78.89...14.74..8.9.6..87....9.1....6.469.1..78.  ED=11.6/1.2/1.2
........1.......23....45..6..7..8....45.96...98.47......9.876..4.8.5....76.9..5..  ED=11.6/1.2/1.2
........1.......23....45..6..4.76....78.9...59..5.8....967.45..7...896..84.......  ED=11.6/1.2/1.2
........1.......23....45..6..4.76....7849...59..5.8....967..5..7...896..84.......  ED=11.6/1.2/1.2
........1.......23....45..6..7.896...48......69.7..5....95.8...4.5.76...87.49....  ED=11.6/1.2/1.2
........1.......23....45..6..7.896...48......69.7.45....95.8...4.5.76...87..9....  ED=11.6/1.2/1.2
........1.......2.....34..5...6.7..3..2.4....36.82.7...43.76.8.2.6.8....78.3...4.  ED=11.6/1.2/1.2
........1.......2.....34..5...6..2.3..7.4.....3682.7...783...4.3.4.76.8.62..8....  ED=11.6/1.2/1.2
........1.......2.....34..5...6....3.27.4....3.682.7...34.76.8.26..8....7.83...4.  ED=11.6/1.2/1.2
........1.....2.3..24.....5.3.67..8..86.24...2.78.3....42..67.3.6.....4.7.8......  ED=11.6/1.2/1.2
........1.....2.3..24.....5..6..3....78.24...43.86..7..42.786.3.8.....4.6.7......  ED=11.6/1.2/1.2
........1.....2.3..24.....5..6.73....782.4...43.68..7..42..86.3.8.....4.6.7......  ED=11.6/1.2/1.2
........1.......2.....34..5...6.7.....3.8..4.78..436.2.2...6...34..78...6.842..7.  ED=11.6/1.2/1.2
........1.......2.....34..5...6.7.....3.8..4..8..436.2.27..6...34..78...6.842..7.  ED=11.6/1.2/1.2
........1.....2.3..24.....5.3.67..8..86.24...2.7..3....42.867.3.6.....4.7.8......  ED=11.6/1.2/1.2
........1.......2.....34..5...6....3..672.8...28.43....34.86.7.26..7....8.7....4.  ED=11.6/1.2/1.2
........1.......2.....34..5...6.7..3..2.43....6.82.7...43.76.8.2.6.8....78.....4.  ED=11.6/1.2/1.2
........1.......2.....34..5...6..2.3..672.8....8.43....34.86.7.26..7....8.7....4.  ED=11.6/1.2/1.2
........1.....2.3..24.....5.3.67..8..86..4...2.78.3....4...67.3.6.2...4.7.8......  ED=11.6/1.2/1.2
........1.....2.3..24.....5.3.67..8..86..4...2.7..3....4..867.3.6.2...4.7.8......  ED=11.6/1.2/1.2
........1.......2.....34..5...6.7.....3.8..4.78..4.6.2.2.3.6...34..78...6.8.2..7.  ED=11.6/1.2/1.2
........1.......2.....34..5...6.7.....3.8..4..8..4.6.2.273.6...34..78...6.8.2..7.  ED=11.6/1.2/1.2
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby denis_berthier » Wed Mar 02, 2022 3:05 am

mith wrote:In that case, the other two minimals from the first pencilmark grid should also not be?.

Yes. No calculations are needed.
If PM1 is included in PM2, then PM1 is harder than PM2 for any of my ratings and classifications. In particular, if PM2 is not in T&E(2), then PM1 can't be.
denis_berthier
2010 Supporter
 
Posts: 4238
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby denis_berthier » Wed Mar 02, 2022 3:09 am

mith wrote:Here are the 11.8s so far, 146 of them (25c-28c); expecting more, my scripts are going to have to play catch up again.

I have a problem with this list. Before it, I had noticed only 32 new ones. I may have missed a few posts, but probably not so many. Are there any morphs in the 146 list?

Actually, I have two more problems:
- I can't find the 32 ones in the 146 list; have you changed the minlex form?
- the lack of a name in your puzzles.
denis_berthier
2010 Supporter
 
Posts: 4238
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby denis_berthier » Wed Mar 02, 2022 3:43 am

.
I think we have a more general problem with the hardest list. (I'm speaking of the 11+ part, the rest is totally arbitrary.)

It appears that:
- morphs with different ratings are much more frequent than we thought;
- the minlex form is not necessarily the one that gives the desired rating (whichever we consider as desired, highest or lowest);
- non isomorphic puzzles may be fundamentally identical after Singles have been applied (let's say they are quasi-isomorphic).
The three cases raise the same question: should we keep several isomorphic or quasi-isomorphic puzzles in the collection?

My view is, every puzzle should have a short, unique and non-mutable name. Each creator could choose his own naming scheme, but I suggest merely using the order of finding (e.g. mith#007... ). This is already the case in the current collection. But not in mith's new puzzles.
The collection should accept morphs and quasi-morphs that have different ratings, not necessarily in their minlex form (putting all the puzzles in minlex form would hide their original visible aspect).
In case there are several morphs or quasi-morphs, the collection should include the minlex form of the quasi-morph after Singles, with its own unique name.
Each of the puzzles should refer to the name of this unique quasi-morph obtained after Singles, in its minlex form. Example: instead of writing mith007, write mith007->mith012
denis_berthier
2010 Supporter
 
Posts: 4238
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby mith » Wed Mar 02, 2022 3:47 am

I wasn’t clear I guess - that was 146 new ones generated after finding the 11.9 and updating the database (I only update SER to the database once a day or so, as it locks the database and interferes with the other scripts). The “so far” was because I am expecting more (including the 6 posted today), not to imply it is a complete list of all 11.8s ever found.

I’ll post a full list of the 11.8+ in my databases tomorrow; I can name mine by clue count and rowid for now, I haven’t been naming them since there are so many. (I can’t do purely on order found - I have multiple scripts running constantly and adding to a separate database by clue count, to keep the size of each manageable and avoid collisions.)
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby mith » Wed Mar 02, 2022 3:55 am

As for “quasi-morphs” as you call them, I have been planning for some time to track the expanded form (after singles) per puzzle. I do think it’s worth grouping puzzles with the same expanded form together in some way, but will continue storing all minimals.

There is then the question of what to do about puzzles which are the same after *basics* but not after just singles. I don’t have any stats on how frequently this is the case among the hard puzzles, but when we’re talking about 11.x puzzles a cutoff at basics makes as much sense as a cutoff at singles to me.
mith
 
Posts: 996
Joined: 14 July 2020

Re: The hardest sudokus (new thread)

Postby denis_berthier » Wed Mar 02, 2022 4:53 am

mith wrote:There is then the question of what to do about puzzles which are the same after *basics* but not after just singles. I don’t have any stats on how frequently this is the case among the hard puzzles, but when we’re talking about 11.x puzzles a cutoff at basics makes as much sense as a cutoff at singles to me.

Statistically, it will not make much difference. But sorry, definitely no; "basics" doesn't make any sense. "Basics" are not even closed under rule isomorphisms (they include Pairs but not X-Wings).
What could make sense is Singles+Whips[1]. However, there's a major difference. Applying Singles directly translates into a Sudoku puzzle. Adding whips[1] produces a sukaku (unless you forget part of the result of applying them).

Note that wrt to the lower SER ratings, nothing really makes sense.
Code: Select all
1.0: Last value in block, row or column
1.2: Hidden Single in block
1.5: Hidden Single in row or column
1.7: Direct Pointing
1.9: Direct Claiming
2.0: Direct Hidden Pair
2.3: Naked Single
2.5: Direct Hidden Triplet
2.6: Pointing
2.8: Claiming
3.0, 3.2, 3.4: Naked Pair, X-Wing, Hidden Pair
3.6, 3.8, 4.0: Naked Triplet, Swordfish, Hidden Triplet
denis_berthier
2010 Supporter
 
Posts: 4238
Joined: 19 June 2007
Location: Paris

Re: The hardest sudokus (new thread)

Postby denis_berthier » Wed Mar 02, 2022 6:53 am

.
I just checked. All the 146+6 new 11.8s have a lot of Singles at the start. The question now is, how many really different puzzles does that make after Singles have been applied?
.
denis_berthier
2010 Supporter
 
Posts: 4238
Joined: 19 June 2007
Location: Paris

PreviousNext

Return to General