thanks for the explanations

tarekI'm getting a clearer picture of a generalization for this and related threads

select a target technique (jellyfish here) and divide the solution into three phases, all in batch mode:

(1) the techniques applied before the target technique

(2) the target technique (1 or more batches)

(3) the techniques applied after the first target technique, leading to the solution

puzzles can then be categorized by the technique counts in (1) (2) (3)

as a first stab we can just do a SE-like count of the "hardest" technique applied in (1) (2) (3)

puzzles can be additionally categorized by minimality and symmetry

to experiment with this I updated my solver 2008-01-11 to handle top level constraint (technique) grouping

the grouping is left-to-right: once a group is exhausted it is discarded for the remainder of the solution

along with this is a way to test and extract the counts within the groups after a puzzle is solved

for this thread try these options to experiment:

- Code: Select all
`-BG -q'{FNBTHW2W3}:W4:{FNBTHWXY}'`

: separates the three constraint groups

guessing (G) is disabled

constraints up to swordfish inclusive are applied until there's no progress

then all jellyfish (W4) are exhausted

then the remaining constraints are applied until the puzzle is solved

(XY cover most uniqueness/bug, but no direct correspondence to SE techniques)

here's the format that extracts the group stats, symmetry and minimality info

its a mouthful

- Code: Select all
`-f'%#0v # %2#in %3(score)f | %2(h1)x %2(b1)x %2(i1)x %2(h2)x %2(b2)x %2(i2)x %2(h3)x %2(b3)x %2(i3)x | %(S!=0)x %(C1)[0][2][1]x'`

score is one of the fields in my input data -- it will be null non-annotaed puzzle input

h1 is the highest constraint applied index from group 1, counting from 1 on the left within each group

(-q constraints may expand, use -T0x10 to correlate indices with the expanded groups

the actual correlation is not as important as

higher index =>

harder technique)

b1 is the number of batches in group 1 containing the highest constraint

i1is the total number of instances of the highest constraint in group 1

similarly for groups 2 and 3

the second last column is 0:no-symmetry 1:symmetric

and the last column is 0:minimal 1:symmetric-minimal 2:non-minimal

for the posted puzzle # original-ordinal score

- Code: Select all
`400207080003008506078600040200000610000020000017000004050003460601500200030102008 # 9 6`

700020000001009060080400200006000050900000001030000700002006090040700800000030006 # 1 4.1

050000070200000006000456000007030400006501200009070100000812000900000005010000020 # 5 7

600070000001005030020400600003000010900000002040000700009003050070600900000010003 # 3 8

700060000003001080020700600008000040100000003090000200006008010050200700000070008 # 2 8

100000000020345000005000400060700030080010050010009040007000500000283060000000008 # 10 3

040028071870600020000000000004800260001040900086002400000000000060009043130270090 # 6 7

200003580000020001000405600000904068005010900610802000001508000300040000026300004 # 7 7

010000020340000056000604000005786200000905000007423500000307000960000032050000010 # 15 2

003004009000070050200600800009000004040000030800000700004003002020060000700800600 # 11 8

000000010000809257020000900082901045047080190190403720001000080938105000050000000 # 12 6

010000020340000056000206000007628500000507000006934200000405000560000084070000010 # 13 2

000000063007630480003008001030004105010080030506300070200700300074056200650000000 # 8 4.2

000197000040000070009000300800030002700902004300060001002000400010000090000524000 # 4 7

010000020230000045000502000006374800000906000004258600000407000740000038050000010 # 14 2

here are the stats sorted by cols 3 - 13

- Code: Select all
`# 9 6 | 3 1 1 1 1 2 1 15 15 | 1 0`

# 1 4.1 | 3 1 1 1 1 2 1 15 15 | 1 2

# 5 7 | 3 2 3 1 1 2 2 1 1 | 1 2

# 3 8 | 4 1 1 1 1 1 2 4 4 | 1 2

# 2 8 | 4 1 1 1 1 2 2 2 2 | 1 2

# 10 3 | 4 2 3 1 1 2 2 1 1 | 1 2

# 6 7 | 5 1 1 1 1 1 2 1 1 | 1 1

# 7 7 | 5 1 1 1 1 2 2 2 2 | 1 1

# 15 2 | 5 1 1 1 1 2 15 1 1 | 1 2

# 11 8 | 5 1 1 1 1 3 2 1 1 | 1 1

# 12 6 | 6 1 1 1 1 2 1 14 14 | 1 0

# 13 2 | 6 1 2 1 1 2 15 1 1 | 1 2

# 8 4.2 | 11 1 1 1 1 2 1 7 7 | 1 0

# 4 7 | 12 1 1 1 1 2 2 1 1 | 1 1

# 14 2 | 12 1 2 1 1 2 15 1 1 | 1 2

I hope this makes sense, and I know it doesn't match the scores

but does it capture the nuances you are looking for?