OFFSET
1,2
COMMENTS
The Heinz number of a partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k). This gives a bijective correspondence between positive integers and integer partitions.
Given a partition, the following are equivalent:
1) The distinct parts are maximally refined.
2) Every strict partition of a part contains a part. In other words, if y is the set of parts and z is any strict partition of any element of y, then z must contain at least one element from y.
3) No part is a sum of distinct non-parts.
EXAMPLE
The terms together with their prime indices begin:
1: {}
2: {1}
4: {1,1}
6: {1,2}
12: {1,1,2}
18: {1,2,2}
24: {1,1,1,2}
30: {1,2,3}
60: {1,1,2,3}
90: {1,2,2,3}
120: {1,1,1,2,3}
150: {1,2,3,3}
180: {1,1,2,2,3}
210: {1,2,3,4}
240: {1,1,1,1,2,3}
420: {1,1,2,3,4}
540: {1,1,2,2,2,3}
630: {1,2,2,3,4}
840: {1,1,1,2,3,4}
MATHEMATICA
prix[n_]:=If[n==1, {}, Flatten[Cases[FactorInteger[n], {p_, k_}:>Table[PrimePi[p], {k}]]]];
conj[y_]:=If[Length[y]==0, y, Table[Length[Select[y, #>=k&]], {k, 1, Max[y]}]];
nonsets[y_]:=If[Length[y]==0, {}, Rest[Subsets[Complement[Range[Max@@y], y]]]];
Select[Range[100], With[{y=conj[prix[#]]}, UnsameQ@@y&&Intersection[y, Total/@nonsets[y]]=={}]&]
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Gus Wiseman, Jun 09 2025
STATUS
approved
