denis_berthier wrote: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).
FWIW, basics for me would include fish (since fish are just subsets in another dimension). Maybe we need a better term for this, since basics probably means something different to most people.
You're correct that applying non-singles subsets would produce a sukaku, but I don't think this ultimately matters. The important thing is what digits can be determined by applying these rules - if the resulting digit grids are isomorphic, they sukaku obtained by continuing eliminations will also be isomorphic; and if the digit grids aren't isomorphic, no amount of subset/whip eliminations will make the sukaku isomorphic if no new digits are placed.
All that said, for now I will just apply singles for the comparison.