A326031 -id:A326031 - cp's OEIS frontend

A370637 Number of subsets of {1..n} such that it is not possible to choose a different binary index of each element.

0, 0, 0, 1, 2, 8, 25, 67, 134, 309, 709, 1579, 3420, 7240, 15077, 30997, 61994, 125364, 253712, 512411, 1032453, 2075737, 4166469, 8352851, 16731873, 33497422, 67038086, 134130344, 268328977, 536741608, 1073586022, 2147296425, 4294592850, 8589346462, 17179033384

Offset: 0

Gus Wiseman, Mar 08 2024

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.

			The a(0) = 0 through a(5) = 8 subsets:
  .  .  .  {1,2,3}  {1,2,3}    {1,2,3}
                    {1,2,3,4}  {1,4,5}
                               {1,2,3,4}
                               {1,2,3,5}
                               {1,2,4,5}
                               {1,3,4,5}
                               {2,3,4,5}
                               {1,2,3,4,5}

Wikipedia, Axiom of choice.
Gus Wiseman, Statistics, classes, and transformations of standard compositions

Simple graphs not of this type are counted by A133686, covering A367869.
Unlabeled graphs of this type are counted by A140637, complement A134964.
Simple graphs of this type are counted by A367867, covering A367868.
Set systems not of this type are counted by A367902, ranks A367906.
Set systems of this type are counted by A367903, ranks A367907.
Set systems uniquely not of this type are counted by A367904, ranks A367908.
Unlabeled multiset partitions of this type are A368097, complement A368098.
A version for MM-numbers of multisets is A355529, complement A368100.
Factorizations are counted by A368413/A370813, complement A368414/A370814.
The complement for prime indices is A370582, differences A370586.
For prime indices we have A370583, differences A370587.
First differences are A370589.
The complement is counted by A370636, differences A370639.
The case without ones is A370643.
The version for a unique choice is A370638, maxima A370640, diffs A370641.
The minimal case is A370642, without ones A370644.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A058891 counts set-systems, A003465 covering, A323818 connected.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.
Cf. A000612, A072639, A355739, A355740, A367772, A367905, A367909, A367912, A368094, A368095, A368109.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Table[Length[Select[Subsets[Range[n]], Select[Tuples[bpe/@#],UnsameQ@@#&]=={}&]],{n,0,10}]

a(2^n - 1) = A367903(n).

Partial sums of A370589.

a(21)-a(34) from Alois P. Heinz, Mar 09 2024

A372427 Numbers whose binary indices and prime indices have the same sum.

Original entry on oeis.org

19, 33, 34, 69, 74, 82, 130, 133, 305, 412, 428, 436, 533, 721, 755, 808, 917, 978, 1036, 1058, 1062, 1121, 1133, 1143, 1341, 1356, 1630, 1639, 1784, 1807, 1837, 1990, 2057, 2115, 2130, 2133, 2163, 2260, 2324, 2328, 2354, 2358, 2512, 2534, 2627, 2771, 2825

Offset: 1

Gus Wiseman, May 01 2024

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.

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 binary indices of 130 are {2,8}, and the prime indices are {1,3,6}. Both sum to 10, so 130 is in the sequence.
The terms together with their prime indices begin:
   19: {8}
   33: {2,5}
   34: {1,7}
   69: {2,9}
   74: {1,12}
   82: {1,13}
  130: {1,3,6}
  133: {4,8}
  305: {3,18}
  412: {1,1,27}
  428: {1,1,28}
The terms together with their binary expansions and binary indices begin:
   19:      10011 ~ {1,2,5}
   33:     100001 ~ {1,6}
   34:     100010 ~ {2,6}
   69:    1000101 ~ {1,3,7}
   74:    1001010 ~ {2,4,7}
   82:    1010010 ~ {2,5,7}
  130:   10000010 ~ {2,8}
  133:   10000101 ~ {1,3,8}
  305:  100110001 ~ {1,5,6,9}
  412:  110011100 ~ {3,4,5,8,9}
  428:  110101100 ~ {3,4,6,8,9}

John Tyler Rascoe, Table of n, a(n) for n = 1..10000

For length instead of sum we get A071814.
Positions of zeros in A372428.
For maximum instead of sum we have A372436.
A003963 gives product of prime indices.
A019565 gives Heinz number of binary indices, adjoint A048675.
A029837 gives greatest binary index, least A001511.
A048793 lists binary indices, length A000120, reverse A272020, sum A029931.
A061395 gives greatest prime index, least A055396.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A112798 lists prime indices, length A001222, reverse A296150, sum A056239.
A326031 gives weight of the set-system with BII-number n.
Cf. A000720, A001221, A014499, A030101, A066099, A304818, A318283, A355536, A359401, A359402, A372429-A372433, A372441.

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
bix[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[100],Total[prix[#]]==Total[bix[#]]&]

A330099 BII-numbers of brute-force normalized set-systems.

Original entry on oeis.org

0, 1, 3, 4, 5, 7, 11, 15, 19, 20, 21, 23, 31, 33, 37, 51, 52, 53, 55, 63, 64, 65, 67, 68, 69, 71, 75, 79, 83, 84, 85, 87, 95, 97, 101, 115, 116, 117, 119, 127, 139, 143, 159, 191, 203, 207, 223, 255, 267, 271, 275, 276, 277, 279, 287, 307, 308, 309, 311, 319, 331

Offset: 1

Gus Wiseman, Dec 02 2019

First differs from A330100 in having 545 and lacking 179, with corresponding set-systems 545: {{1},{2,3},{2,4}} and 179: {{1},{2},{4},{1,3},{2,3}}.
A set-system is a finite set of finite nonempty sets of positive integers.
We define the brute-force 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 least representative, where the ordering of sets is first by length and then lexicographically.
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}}
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.
There are A055621(n) entries m such that A326702(m) = n, where A326702(k) is the number of covered vertices in the set-system with BII-number k.
There are A283877(n) entries m such that A326031(m) = n, where A326031(k) is the weight of the set-system with BII-number k.

			The sequence of all nonempty brute-force 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}
  15: {1}{2}{3}{12}        67: {1}{2}{123}
  19: {1}{2}{13}           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}    79: {1}{2}{3}{12}{123}
  33: {1}{23}              83: {1}{2}{13}{123}
  37: {1}{12}{23}          84: {12}{13}{123}
  51: {1}{2}{13}{23}       85: {1}{12}{13}{123}

Equals the image/fixed points of the idempotent sequence A330101.
Non-isomorphic multiset partitions are A007716.
Unlabeled spanning set-systems by span are A055621.
Unlabeled spanning set-systems by weight are A283877.
Cf. A000612, A300913, A321405, A330061, A330102, 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).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
brute[m_]:=If[Union@@m!={}&&Union@@m!=Range[Max@@Flatten[m]],brute[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[brute[m,1]]]];
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[#]]==brute[bpe/@bpe[#]]&]

A330100 BII-numbers of VDD-normalized set-systems.

Original entry on oeis.org

0, 1, 3, 4, 5, 7, 11, 15, 19, 20, 21, 23, 31, 33, 37, 51, 52, 53, 55, 63, 64, 65, 67, 68, 69, 71, 75, 79, 83, 84, 85, 87, 95, 97, 101, 115, 116, 117, 119, 127, 139, 143, 159, 179, 180, 181, 183, 191, 203, 207, 211, 212, 213, 215, 223, 225, 229, 243, 244, 245, 247

Offset: 0

Gus Wiseman, Dec 04 2019

First differs from A330099 in lacking 545 and having 179, with corresponding set-systems 545: {{1},{2,3},{2,4}} and 179: {{1},{2},{4},{1,3},{2,3}}.
A set-system is a finite set of finite nonempty sets of positive integers.
We define the VDD (vertex-degrees decreasing) 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, then selecting only the representatives whose vertex-degrees are weakly decreasing, and finally taking the least of these representatives, where the ordering of sets is first by length and then lexicographically.
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 (finite set of finite nonempty sets of positive integers) 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 VDD-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}
  15: {1}{2}{3}{12}        67: {1}{2}{123}
  19: {1}{2}{13}           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}    79: {1}{2}{3}{12}{123}
  33: {1}{23}              83: {1}{2}{13}{123}
  37: {1}{12}{23}          84: {12}{13}{123}
  51: {1}{2}{13}{23}       85: {1}{12}{13}{123}

Equals the image/fixed points of the idempotent sequence A330102.
A subset of A326754.
Non-isomorphic multiset partitions are A007716.
Unlabeled spanning set-systems counted by vertices are A055621.
Unlabeled set-systems counted by weight are A283877.
Cf. A000120, A000612, A048793, A070939, A300913, A319559, A321405, A326031, A330061, A330101.
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];
sysnorm[m_]:=If[Union@@m!={}&&Union@@m!=Range[Max@@Flatten[m]],sysnorm[m/.Rule@@@Table[{(Union@@m)[[i]],i},{i,Length[Union@@m]}]],First[Sort[sysnorm[m,1]]]];
sysnorm[m_,aft_]:=If[Length[Union@@m]<=aft,{m},With[{mx=Table[Count[m,i,{2}],{i,Select[Union@@m,#>=aft&]}]},Union@@(sysnorm[#,aft+1]&/@Union[Table[Map[Sort,m/.{par+aft-1->aft,aft->par+aft-1},{0,1}],{par,First/@Position[mx,Max[mx]]}]])]];
Select[Range[0,100],Sort[bpe/@bpe[#]]==sysnorm[bpe/@bpe[#]]&]

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

Original entry on oeis.org

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).

A330123 BII-numbers of MM-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, 143, 159, 173, 180, 181, 183, 191, 195, 196, 197, 199, 203, 205, 207, 212, 213, 215, 223, 225, 229

Offset: 1

Gus Wiseman, Dec 05 2019

nonn

First differs from A330110 in lacking 141 and having 180, with corresponding set-systems 141: {{1},{3},{4},{1,2}} and 180: {{4},{1,2},{1,3},{2,3}}.
A set-system is a finite set of finite nonempty set of positive integers.
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}}
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.
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}}.

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

A subset of A326754.
Non-isomorphic multiset partitions are A007716.
Unlabeled spanning set-systems counted by vertices are A055621.
Unlabeled set-systems counted by weight are A283877.
MM-weight is A302242.
Cf. A000120, A000612, A048793, A056239, A070939, A112798, A300913, A319559, A320456, A326031, 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];
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]}];
Select[Range[0,100],Sort[bpe/@bpe[#]]==mmnorm[bpe/@bpe[#]]&]

A326782 Numbers whose binary indices are prime numbers.

Original entry on oeis.org

0, 2, 4, 6, 16, 18, 20, 22, 64, 66, 68, 70, 80, 82, 84, 86, 1024, 1026, 1028, 1030, 1040, 1042, 1044, 1046, 1088, 1090, 1092, 1094, 1104, 1106, 1108, 1110, 4096, 4098, 4100, 4102, 4112, 4114, 4116, 4118, 4160, 4162, 4164, 4166, 4176, 4178, 4180, 4182, 5120

Offset: 1

Gus Wiseman, Jul 25 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.

Write n = 2^e_1 + 2^e_2 + 2^e_3 + ..., with e_1>e_2>e_3>... We require that all the numbers e_i + 1 are primes. So 6 = 2^2+2^1 is OK because 2+1 and 1+1 are primes. 0 is OK because there are no e_i. - N. J. A. Sloane, Jul 27 2019

			The sequence of terms together with their binary indices begins:
     0: {}
     2: {2}
     4: {3}
     6: {2,3}
    16: {5}
    18: {2,5}
    20: {3,5}
    22: {2,3,5}
    64: {7}
    66: {2,7}
    68: {3,7}
    70: {2,3,7}
    80: {5,7}
    82: {2,5,7}
    84: {3,5,7}
    86: {2,3,5,7}
  1024: {11}
  1026: {2,11}
  1028: {3,11}
  1030: {2,3,11}

Robert Israel, Table of n, a(n) for n = 1..10000

Cf. A000120, A029931, A048793, A070939, A326031, A326701, A326781, A326788.

f:= proc(n) local L,i;
  L:= convert(n,base,2);
  add(L[i]*2^(ithprime(i)-1),i=1..nops(L))
end proc:
map(f, [$0..100]); # Robert Israel, Jul 26 2019

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[0,100],And@@PrimeQ/@bpe[#]&]

A326853 BII-numbers of set-systems where every two covered vertices appear together in some edge (cointersecting).

Original entry on oeis.org

0, 1, 2, 4, 5, 6, 7, 8, 16, 17, 24, 25, 32, 34, 40, 42, 52, 53, 54, 55, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105

Offset: 1

Gus Wiseman, Aug 18 2019

nonn

A set-system is a finite set of finite nonempty sets. Its elements are sometimes called edges. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. This sequence gives all BII-numbers (defined below) of set-systems that are cointersecting, meaning their dual is pairwise intersecting.

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.

			The sequence of all cointersecting set-systems together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
  16: {{1,3}}
  17: {{1},{1,3}}
  24: {{3},{1,3}}
  25: {{1},{3},{1,3}}
  32: {{2,3}}
  34: {{2},{2,3}}
  40: {{3},{2,3}}
  42: {{2},{3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  53: {{1},{1,2},{1,3},{2,3}}
  54: {{2},{1,2},{1,3},{2,3}}
  55: {{1},{2},{1,2},{1,3},{2,3}}

BII-numbers of pairwise intersecting set-systems are A326910.
Cointersecting set-systems are A327039, with covering version A327040.
The T_0 or costrict case is A327052.
Cf. A029931, A048793, A326031, A327020, A327037, A327041, A327053, A327057.

dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Select[Range[0,100],stableQ[dual[bpe/@bpe[#]],Intersection[#1,#2]=={}&]&]

A372428 Sum of binary indices of n minus sum of prime indices of n.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 2, 1, 1, 2, 2, 3, 2, 4, 5, 1, -1, 2, 0, 3, 3, 4, 2, 4, 4, 4, 6, 6, 3, 8, 4, 1, 0, 0, 2, 3, -2, 2, 4, 4, -2, 5, -1, 6, 7, 5, 1, 5, 4, 6, 5, 6, -1, 9, 9, 8, 6, 6, 1, 11, 1, 8, 13, 1, -1, 1, -9, 1, 0, 4, -7, 4, -9, 0, 6, 4, 6, 7, -5, 5, 5, 0, -8

Offset: 1

Gus Wiseman, May 02 2024

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.

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 binary indices of 65 are {1,7}, and the prime indices are {3,6}, so a(65) = 8 - 9 = -1.

John Tyler Rascoe, Table of n, a(n) for n = 1..10000

Positions of zeros are A372427.
For minimum instead of sum we have A372437.
For length instead of sum we have A372441, zeros A071814.
For maximum instead of sum we have A372442, zeros A372436.
Positions of odd terms are A372586, even A372587.
A003963 gives product of prime indices.
A019565 gives Heinz number of binary indices, adjoint A048675.
A029837 gives greatest binary index, least A001511.
A048793 lists binary indices, length A000120, reverse A272020, sum A029931.
A061395 gives greatest prime index, least A055396.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A112798 lists prime indices, length A001222, reverse A296150, sum A056239.
A326031 gives weight of the set-system with BII-number n.
Cf. A000720, A001221, A014499, A030101, A059893, A066099, A243055, A304818, A359495, A372429-A372432.

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
bix[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Table[Total[bix[n]]-Total[prix[n]],{n,100}]

from itertools import count, islice
from sympy import sieve, factorint
def a_gen():
    for n in count(1):
        b = sum((i+1) for i, x in enumerate(bin(n)[2:][::-1]) if x =='1')
        p = sum(sieve.search(i)[0] for i in factorint(n, multiple=True))
        yield(b-p)
A372428_list = list(islice(a_gen(), 83)) # John Tyler Rascoe, May 04 2024

from sympy import primepi, factorint
def A372428(n): return int(sum(i for i, j in enumerate(bin(n)[:1:-1],1) if j=='1')-sum(primepi(p)*e for p, e in factorint(n).items())) # Chai Wah Wu, Oct 18 2024

a(n) = A029931(n) - A056239(n).

cp's OEIS Frontend

A370637 Number of subsets of {1..n} such that it is not possible to choose a different binary index of each element.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A372427 Numbers whose binary indices and prime indices have the same sum.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A330099 BII-numbers of brute-force normalized set-systems.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A330100 BII-numbers of VDD-normalized set-systems.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

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

A330123 BII-numbers of MM-normalized set-systems.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A326782 Numbers whose binary indices are prime numbers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

A326853 BII-numbers of set-systems where every two covered vertices appear together in some edge (cointersecting).

Views

Author