it is a np- complete problem i my self wanted a more robust system that could account for sub-step difficulty then realized in coding it wasn't actually needed as the max length actually resolved all the smaller techniques as well. { ill link my
thread on the idea from 08 when i purposed it}
given how many technique sets overlap each other and how many of them can reduce the puzzle to singular solutions skipping some successive steps directly
blr
hidden subsets {2-4}
naked subsets {2-4}
multiple size 2-4 fish
how so
a singular aic chain length 3
on the same grid can have 37k valid chains
how do you pick the simplest of them with the same length?
or is it more complicated then applying a size 2 fish twice for similar eliminations
or perhaps an als size 3 does the same job for again another 37 k options
funny part of all of this
is that the als chain algorithm will also find the size 3 aic chains
it also finds the size 1-3 fish as they use the same mapping just different translation methods
it also finds the {1-3} naked/hidden subsets
they are all interchangeable increasing size is directly quantitative
just because the puzzle uses multiple steps doesn't make it any harder if the longest step also finds all the smaller steps in successive search runs
looking for 1 step out of 67k thousand examples {as this simplistic example} is harder then actually searching in an incremental pattern
filtering through every possible combination to find the absolute minimal path is Np-complete given the total number of valid paths{order of application} to choose from.
i have personally attempted this on my own solver with some grids producing 37K x 14 pages of different chains from 1 application of a technique set. many of which have the same eliminations just different positions selected same length or slightly longer.
I have played on many grids that involve multiple steps to solve including basics and circumvented all of that with 1 well placed chain.
just cause 1 chain skips lets say 20 sub steps, 20 of which are basics of some form but this doesn't mean everyone can spot the 1 off method i used, when 1 slightly smaller method was needed on top of 20 sub steps. however that size of step also found all the other 20 sub steps.
They were actually harder than the quad to human, but the existing rating systems would rate them below the quad, simply because they are generally simpler to find by a machine.
the size changed to find the max step however the subsets are still included meaning that you would find anything below size 4 with the same logic used to find size 4: they aren't harder, they follow the same logic already required to advance.
more steps doesn't mean harder - indicates more work ie applications of the same difficulty level or lower. ie Tediousness if you know how to do something repetition doesn't mean harder work in fact repetition of the same level makes the task easier to execute.
if really want to be technical Hidden quad is really
ahs size (1-2) and ahs size (2-3) - xz removals: this can be used to find the subset "naked" removals with out actually needing the hidden quad.
also a naked subset is the inversion of a hidden set (9 - x) and these are also just als-xz functions.
but then this raised the question does the solver actually know this?
again ambiguity.
Here are the solution paths on some solvers, at the time of this post:
an inherit issue with many of these is they don't place Hidden subsets ahead of naked:
why -
from a coders point of view naked subsets are easier to as its whats left on directly in the RC space of a grid
a hidden set is RN,CN,BN space or twiddling RC space to whats off. <- slightly harder to code
from a players point of view whats left on is easier to spot directly on a grid as it uses the givens {not the pm's}
very few solvers{coders} realized this and its reflected in the hierarchy
Hodoku can remap its solving order by user preferences and this often drastically changes for better or worse any given grids listed difficulty.
the break points in a fixed solving order a coder first needs to know what can solve what else using the same code structures will also find
{not limited to the following}
BLR is also Naked/hidden singles
naked pair / hidden pair is also a single digit x-wing
Naked/hidden triple is also Finned/sashimi X-wing , sword fish
naked/hidden quads also jelly fish, Finned/sashimi sword fish
subsets Naked are als-xz
subsets Hidden are ahs - xz
subsets are also A.I.C of length x
naked and hidden subsets also form a balance on the sector: ( Given + Naked + Hidden ) = (9 digits + 9 cells)
anyways - long enough post for now.
ps
- Code: Select all
.------------------.-----------------------.---------------------.
| 3568 357 368 | 4678 479 1 | 789 23579 235789 |
| 1568 2 9 | 678 3* 678 | 4 157 1578 |
| 138 137 4 | 5 2* 789 | 1789 6 13789 |
:------------------+-----------------------+---------------------:
| 13458 1345 7 | 123468@ 1459 245689@| 169 159 14569 |
| 145 6* 2* | 147 14579 4579 | 3* 8* 14579 |
| 9 1345 138 | 134678@ 1457 45678@ | 2 157 14567 |
:------------------+-----------------------+---------------------:
| 124 8 1 | 1247 6* 3 | 5 1279 1279 |
| 1236 139 5 | 127 8* 27 | 1679 4 123679 |
| 7 134 136 | 9 145 245 | 168 123 12368 |
'------------------'-----------------------'---------------------'
if you change Hidden sets above naked sets - required # moves ends up lowering but rating is way higher
{hodoku has hidden subsets as "higher" scores then naked"} {flip them} and the scores will be more accurate { at least in my point of view}
ie hidden is easier to find then naked as the latter requires pms to be filled in! { for example it uses the * givens for 4 @ cells left open in the box}
Or if your good you realized the 5 cells in box 5 (or 10 cells from r5, c5 contain an intersecting quintupplet)
as a hidden quad is a naked size 5 set.
.. But I'll digress until you respond...