A330101 -id:A330101 - cp's OEIS frontend

A330218 Least BII-number of a set-system with n distinct representatives obtainable by permuting the vertices.

0, 5, 12, 180, 35636, 13

Offset: 1

Gus Wiseman, Dec 09 2019

nonn

A set-system is a finite set of finite nonempty sets of positive integers.

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.

			The sequence of set-systems together with their BII-numbers begins:
      0: {}
      5: {{1},{1,2}}
     12: {{1,2},{3}}
    180: {{1,2},{1,3},{2,3},{4}}
  35636: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{5}}
     13: {{1},{1,2},{3}}

Positions of first appearances in A330231.
The MM-number version is A330230.
Achiral set-systems are counted by A083323.
BII-numbers of fully chiral set-systems are A330226.
Cf. A000120, A003238, A007716, A016031, A048793, A055621, A070939, A214577, A326031, A326702, A330098, A330101, A330195, A330217, A330229, A330233.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
graprms[m_]:=Union[Table[Sort[Sort/@(m/.Apply[Rule,Table[{p[[i]],i},{i,Length[p]}],{1}])],{p,Permutations[Union@@m]}]];
dv=Table[Length[graprms[bpe/@bpe[n]]],{n,0,1000}];
Table[Position[dv,i][[1,1]]-1,{i,First[Split[Union[dv],#1+1==#2&]]}]

A330195 BII-number of the BII-normalization of the set-system with BII-number n.

Original entry on oeis.org

0, 1, 1, 3, 4, 5, 5, 7, 1, 3, 3, 11, 12, 13, 13, 15, 4, 5, 12, 13, 20, 21, 22, 23, 5, 7, 13, 15, 22, 23, 30, 31, 4, 12, 5, 13, 20, 22, 21, 23, 5, 13, 7, 15, 22, 30, 23, 31, 20, 22, 22, 30, 52, 53, 53, 55, 21, 23, 23, 31, 53, 55, 55, 63, 64, 65, 65, 67, 68, 69

Offset: 0

Gus Wiseman, Dec 05 2019

nonn

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.
We define the BII-normalization of a set-system 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 BII-number.
For example, 156 is the BII-number of {{3},{4},{1,2},{1,3}}, which has the following normalizations, together with their BII-numbers:
  Brute-force:    2067: {{1},{2},{1,3},{3,4}}
  Lexicographic:   165: {{1},{4},{1,2},{2,3}}
  VDD:             525: {{1},{3},{1,2},{2,4}}
  MM:              270: {{2},{3},{1,2},{1,4}}
  BII:             150: {{2},{4},{1,2},{1,3}}

Wikipedia, Idempotence

This sequence is idempotent and its image/fixed points are A330109.
A subset of A326754.
Unlabeled spanning set-systems counted by vertices are A055621.
Unlabeled set-systems counted by weight are A283877.
BII-weight is A326031.
Cf. A000120, A000612, A007716, A048793, A070939, A319559, A330061, A330101, A330102, A330194.
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).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
fbi[q_]:=If[q=={},0,Total[2^q]/2];
biinorm[m_]:=If[Union@@m!={}&&Union@@m!=Range[Max@@Flatten[m]],biinorm[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[SortBy[brute[m,1],fbi[fbi/@#]&]]];
brute[m_,1]:=Table[Sort[Sort/@(m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])],{p,Permutations[Union@@m]}];
Table[fbi[fbi/@biinorm[bpe/@bpe[n]]],{n,0,100}]

a(n) <= n.

cp's OEIS Frontend

A330218 Least BII-number of a set-system with n distinct representatives obtainable by permuting the vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica