A330194 MM-number of the MM-normalization of the multiset of multisets with MM-number n.

1, 2, 3, 4, 3, 6, 7, 8, 9, 6, 3, 12, 13, 14, 15, 16, 3, 18, 19, 12, 21, 6, 7, 24, 9, 26, 27, 28, 13, 30, 3, 32, 15, 6, 35, 36, 37, 38, 39, 24, 3, 42, 13, 12, 45, 14, 13, 48, 49, 18, 15, 52, 53, 54, 15, 56, 57, 26, 3, 60, 37, 6, 63, 64, 39, 30, 3, 12, 35, 70

Offset

1,2

Comments

First differs from A330105 at a(35) = 35, A330105(35) = 69.

First differs from A330061 at a(175) = 175, A330061(175) = 207.

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. The multiset of multisets with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. For example, the prime indices of 78 are {1,2,6}, so the multiset of multisets with MM-number 78 is {{},{1},{1,2}}.

We define the MM-normalization of a multiset of multisets to be obtained by first normalizing so that the vertices cover an initial interval of positive integers, then applying all permutations to the vertex set, and finally taking the representative with the smallest MM-number.

For example, 15301 is the MM-number of {{3},{1,2},{1,1,4}}, which has the following normalizations together with their MM-numbers:

Brute-force: 43287: {{1},{2,3},{2,2,4}}

Lexicographic: 43143: {{1},{2,4},{2,2,3}}

VDD: 15515: {{2},{1,3},{1,1,4}}

MM: 15265: {{2},{1,4},{1,1,3}}

Links

Table of n, a(n) for n=1..70.

Wikipedia, Idempotence

Formula

a(n) <= n.

Mathematica

primeMS[n_]:=If[n==1, {}, Flatten[Cases[FactorInteger[n], {p_, k_}:>Table[PrimePi[p], {k}]]]];
mmnorm[m_]:=If[Union@@m!={}&&Union@@m!=Range[Max@@Flatten[m]], mmnorm[m/.Rule@@@Table[{(Union@@m)[[i]], i}, {i, Length[Union@@m]}]], First[SortBy[brute[m, 1], Map[Times@@Prime/@#&, #, {0, 1}]&]]];
brute[m_, 1]:=Table[Sort[Sort/@(m/.Rule@@@Table[{i, p[[i]]}, {i, Length[p]}])], {p, Permutations[Union@@m]}];
Table[Map[Times@@Prime/@#&, mmnorm[primeMS/@primeMS[n]], {0, 1}], {n, 100}]

Crossrefs

This sequence is idempotent and its image/fixed points are A330108.

Non-isomorphic multiset partitions are A007716.

MM-weight is A302242.

Cf. A056239, A112798, A317533, A320456, A330061, A330098, A330105.

Other fixed points:

- Brute-force: A330104 (multisets of multisets), A330107 (multiset partitions), A330099 (set-systems).

- Lexicographic: A330120 (multisets of multisets), A330121 (multiset partitions), A330110 (set-systems).

- VDD: A330060 (multisets of multisets), A330097 (multiset partitions), A330100 (set-systems).

- MM: A330108 (multisets of multisets), A330122 (multiset partitions), A330123 (set-systems).

- BII: A330109 (set-systems).

Sequence in context: A283165 A116991 A330061 * A330105 A103634 A255046

Adjacent sequences: A330191 A330192 A330193 * A330195 A330196 A330197

Keyword

nonn

Author

Gus Wiseman, Dec 05 2019

Status

approved