A330195 -id:A330195 - cp's OEIS frontend

A330109 BII-numbers of BII-normalized set-systems.

0, 1, 3, 4, 5, 7, 11, 12, 13, 15, 20, 21, 22, 23, 30, 31, 52, 53, 55, 63, 64, 65, 67, 68, 69, 71, 75, 76, 77, 79, 84, 85, 86, 87, 94, 95, 116, 117, 119, 127, 139, 140, 141, 143, 148, 149, 150, 151, 158, 159, 180, 181, 183, 191, 192, 193, 195, 196, 197, 199, 203

Offset: 1

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}}

			The sequence of all nonempty BII-normalized set-systems together with their BII-numbers begins:
   1: {1}                  52: {12}{13}{23}
   3: {1}{2}               53: {1}{12}{13}{23}
   4: {12}                 55: {1}{2}{12}{13}{23}
   5: {1}{12}              63: {1}{2}{3}{12}{13}{23}
   7: {1}{2}{12}           64: {123}
  11: {1}{2}{3}            65: {1}{123}
  12: {3}{12}              67: {1}{2}{123}
  13: {1}{3}{12}           68: {12}{123}
  15: {1}{2}{3}{12}        69: {1}{12}{123}
  20: {12}{13}             71: {1}{2}{12}{123}
  21: {1}{12}{13}          75: {1}{2}{3}{123}
  22: {2}{12}{13}          76: {3}{12}{123}
  23: {1}{2}{12}{13}       77: {1}{3}{12}{123}
  30: {2}{3}{12}{13}       79: {1}{2}{3}{12}{123}
  31: {1}{2}{3}{12}{13}    84: {12}{13}{123}

Equals the image/fixed points of the idempotent sequence A330195.
A subset of A326754.
Unlabeled covering set-systems counted by vertices are A055621.
Unlabeled set-systems counted by weight are A283877.
BII-weight is A326031.
Cf. A000120, A000612, A048793, A070939, A300913, A319559, A321405, A330101, A330102.
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]}];
Select[Range[0,100],Sort[bpe/@bpe[#]]==biinorm[bpe/@bpe[#]]&]

A330110 BII-numbers of lexicographically normalized set-systems.

Original entry on oeis.org

0, 1, 3, 4, 5, 7, 11, 13, 15, 20, 21, 23, 31, 33, 37, 45, 52, 53, 55, 63, 64, 65, 67, 68, 69, 71, 75, 77, 79, 84, 85, 87, 95, 97, 101, 109, 116, 117, 119, 127, 139, 141, 143, 149, 151, 159, 165, 173, 181, 183, 191, 193, 195, 197, 199, 203, 205, 207, 213, 215

Offset: 1

Gus Wiseman, Dec 05 2019

nonn

First differs from A330099 in having 13 and lacking 19.
First differs from A330123 in having 141 and lacking 180, with corresponding set-systems 141: {{1},{3},{4},{1,2}} and 180: {{4},{1,2},{1,3},{2,3}}.
We define the lexicographic 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 lexicographically least of these representatives.
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.
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}}

			The sequence of all nonempty lexicographically normalized set-systems together with their BII-numbers begins:
   1: {1}                  52: {12}{13}{23}
   3: {1}{2}               53: {1}{12}{13}{23}
   4: {12}                 55: {1}{2}{12}{13}{23}
   5: {1}{12}              63: {1}{2}{3}{12}{13}{23}
   7: {1}{2}{12}           64: {123}
  11: {1}{2}{3}            65: {1}{123}
  13: {1}{3}{12}           67: {1}{2}{123}
  15: {1}{2}{3}{12}        68: {12}{123}
  20: {12}{13}             69: {1}{12}{123}
  21: {1}{12}{13}          71: {1}{2}{12}{123}
  23: {1}{2}{12}{13}       75: {1}{2}{3}{123}
  31: {1}{2}{3}{12}{13}    77: {1}{3}{12}{123}
  33: {1}{23}              79: {1}{2}{3}{12}{123}
  37: {1}{12}{23}          84: {12}{13}{123}
  45: {1}{3}{12}{23}       85: {1}{12}{13}{123}

A subset of A326754.
Unlabeled covering set-systems counted by vertices are A055621.
Unlabeled set-systems counted by weight are A283877.
BII-weight is A326031.
Cf. A000120, A000612, A048793, A070939, A300913, A319559, A330101, A330102, A330194, A330195.
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).

A330231 Number of distinct set-systems that can be obtained by permuting the vertices of the set-system with BII-number n.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 3, 6, 6, 3, 1, 2, 3, 6, 3, 3, 6, 6, 2, 1, 6, 3, 6, 6, 3, 3, 1, 3, 2, 6, 3, 6, 3, 6, 2, 6, 1, 3, 6, 3, 6, 3, 3, 6, 6, 3, 1, 3, 3, 3, 3, 6, 6, 3, 3, 3, 3, 1, 1, 3, 3, 3, 3, 6, 6, 3, 3, 3, 3, 1, 3, 6, 6, 3, 3, 6, 3, 6, 3, 3, 6

Offset: 0

Gus Wiseman, Dec 09 2019

nonn

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

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.

			30 is the MM-number of {{2},{3},{1,2},{1,3}}, with vertex permutations
  {{1},{2},{1,3},{2,3}}
  {{1},{3},{1,2},{2,3}}
  {{2},{3},{1,2},{1,3}}
so a(30) = 3.

Positions of 1's are A330217.
Positions of first appearances are A330218.
The version for MM-numbers is A330098.
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, A330101, A330195, A330229, A330230, A330233.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
graprms[m_]:=Union[Table[Sort[Sort/@(m/.Rule@@@Table[{p[[i]],i},{i,Length[p]}])],{p,Permutations[Union@@m]}]];
Table[Length[graprms[bpe/@bpe[n]]],{n,0,100}]

a(n) is a divisor of A326702(n)!.

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

Original entry on oeis.org

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.

			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&]]}]

cp's OEIS Frontend

A330109 BII-numbers of BII-normalized set-systems.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A330110 BII-numbers of lexicographically normalized set-systems.

Views

Author

Keywords

Comments

Examples

Crossrefs

A330231 Number of distinct set-systems that can be obtained by permuting the vertices of the set-system with BII-number n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

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