A096111 -id:A096111 - cp's OEIS frontend

A372471 Irregular triangle read by rows where row n lists the binary indices of the n-th prime number.

2, 1, 2, 1, 3, 1, 2, 3, 1, 2, 4, 1, 3, 4, 1, 5, 1, 2, 5, 1, 2, 3, 5, 1, 3, 4, 5, 1, 2, 3, 4, 5, 1, 3, 6, 1, 4, 6, 1, 2, 4, 6, 1, 2, 3, 4, 6, 1, 3, 5, 6, 1, 2, 4, 5, 6, 1, 3, 4, 5, 6, 1, 2, 7, 1, 2, 3, 7, 1, 4, 7, 1, 2, 3, 4, 7, 1, 2, 5, 7, 1, 4, 5, 7, 1, 6, 7

Offset: 1

Gus Wiseman, May 07 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.

			We have prime(12) = (2^1 + 2^3 + 2^6)/2, so row 12 is (1,3,6).
Each prime followed by its binary indices:
   2: 2
   3: 1 2
   5: 1 3
   7: 1 2 3
  11: 1 2 4
  13: 1 3 4
  17: 1 5
  19: 1 2 5
  23: 1 2 3 5
  29: 1 3 4 5
  31: 1 2 3 4 5
  37: 1 3 6
  41: 1 4 6
  43: 1 2 4 6
  47: 1 2 3 4 6

Row lengths are A014499.
Second column is A023506(n) + 1.
Final column is A035100.
Prime-indexed rows of A048793.
Row-sums are A372429, restriction of A029931 (sum of binary 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.
A070939 gives length of binary expansion.
Cf. A000040, A005940, A056239, A071814, A096111, A191232, A230877, A231204, A372427-A372442.

Table[Join@@Position[Reverse[IntegerDigits[Prime[n],2]],1],{n,15}]

A277905 Irregular table: Each row n (n >= 0) lists in ascending order all A018819(n) numbers k for which A048675(k) = n.

Original entry on oeis.org

1, 2, 3, 4, 6, 8, 5, 9, 12, 16, 10, 18, 24, 32, 15, 20, 27, 36, 48, 64, 30, 40, 54, 72, 96, 128, 7, 25, 45, 60, 80, 81, 108, 144, 192, 256, 14, 50, 90, 120, 160, 162, 216, 288, 384, 512, 21, 28, 75, 100, 135, 180, 240, 243, 320, 324, 432, 576, 768, 1024, 42, 56, 150, 200, 270, 360, 480, 486, 640, 648, 864, 1152, 1536, 2048, 35, 63, 84, 112, 125, 225, 300, 400

Offset: 1

Antti Karttunen, Nov 14 2016

Each row beginning with an odd number (rows with even index) is followed by a row of the same length, with the same terms, but multiplied by 2. See also comments in the Formula section of A018819.
Note that although the indexing of rows start from zero, the indexing of this sequence starts from 1, with a(1) = 1.
Also Heinz numbers of integer partitions whose binary rank is n, where the binary rank of a partition y is given by Sum_i 2^(y_i-1). For example, row n = 6 is 15, 20, 27, 36, 48, 64, corresponding to the partitions (3,2), (3,1,1), (2,2,2), (2,2,1,1), (2,1,1,1,1), (1,1,1,1,1,1). - Gus Wiseman, May 25 2024
Also, row n lists in ascending order all A018819(n) numbers k for which A097248(k) = A019565(n). - Flávio V. Fernandes, Jul 19 2025

			The irregular table begins as:
  row terms
   0   1;
   1   2;
   2   3,  4;
   3   6,  8;
   4   5,  9,  12,  16;
   5  10, 18,  24,  32;
   6  15, 20,  27,  36,  48,  64;
   7  30, 40,  54,  72,  96, 128;
   8   7, 25,  45,  60,  80,  81, 108, 144, 192, 256;
   9  14, 50,  90, 120, 160, 162, 216, 288, 384, 512;
  10  21, 28,  75, 100, 135, 180, 240, 243, 320, 324, 432,  576,  768, 1024;
  11  42, 56, 150, 200, 270, 360, 480, 486, 640, 648, 864, 1152, 1536, 2048;
...

Antti Karttunen, Table of n, a(n) for n = 1..166
Index entries for sequences that are permutations of the natural numbers

Cf. A019565 (the left edge, the only terms that are squarefree).
Cf. A000079 (the trailing edge).
Cf. A048675, A260443, A277886, A277896, A277903, A277904.
Row lengths are A018819 (number of partitions of binary rank n).
A000009 counts strict partitions, ranks A005117.
A029837 stc_sum or A070939 bin_len, opposite A070940 binexp_lastpos_1.
A048675 gives binary rank of prime indices, distinct A087207.
A048793 lists binary indices, product A096111, reverse A272020.
A061395 gives greatest prime index, least A055396.
A112798 lists prime indices, cf. A001222, A003963, A056239, A296150.
A372890 adds up binary ranks of partitions, strict A372888.
Cf. A000040, A000041, A001511, A005940, A118462, A215366, A225620, A246868.
Cf. A097248, A048675.

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n], {p_,k_}:>Table[PrimePi[p],{k}]]]];
Table[Select[Range[0,2^k],Total[2^(prix[#]-1)]==k&],{k,0,10}] (* Gus Wiseman, May 25 2024 *)

(definec (A277905 n) (A277905bi (A277903 n) (A277904 n)))
(define (A277905bi row col) (let outloop ((k (A019565 row)) (col col)) (if (zero? col) k (let inloop ((j (+ 1 k))) (if (= (A048675 j) row) (outloop j (- col 1)) (inloop (+ 1 j))))))) ;; Very slow implementation.
;; Implementation based on a naive recurrence:
(definec (A277905 n) (if (= 1 n) n (let ((maybe_next (A277896 (A277905 (- n 1))))) (if (not (zero? maybe_next)) maybe_next (A019565 (A277903 n))))))

a(1) = 1; for n > 1, if A277896(a(n-1)) > 0, then a(n) = A277896(a(n-1)), otherwise a(n) = A019565(A277903(n)). [A naive recurrence for a one-dimensional version.]
Other identities. For all n >= 1:
A048675(a(n)) = A277903(n).

A253317 Indices in A261283 where records occur.

Original entry on oeis.org

0, 1, 2, 3, 8, 9, 10, 11, 128, 129, 130, 131, 136, 137, 138, 139, 32768, 32769, 32770, 32771, 32776, 32777, 32778, 32779, 32896, 32897, 32898, 32899, 32904, 32905, 32906, 32907, 2147483648, 2147483649, 2147483650, 2147483651, 2147483656, 2147483657

Offset: 1

Philippe Beaudoin, Dec 30 2014

From Gus Wiseman, Dec 29 2023: (Start)
These are numbers whose binary indices are all powers of 2, where a binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. For example, the terms together with their binary expansions and binary indices begin:
       0 ~ {}
       1 ~ {1}
      10 ~ {2}
      11 ~ {1,2}
    1000 ~ {4}
    1001 ~ {1,4}
    1010 ~ {2,4}
    1011 ~ {1,2,4}
10000000 ~ {8}
10000001 ~ {1,8}
10000010 ~ {2,8}
10000011 ~ {1,2,8}
10001000 ~ {4,8}
10001001 ~ {1,4,8}
10001010 ~ {2,4,8}
10001011 ~ {1,2,4,8}
For powers of 3 we have A368531.
(End)

Michael De Vlieger, Table of n, a(n) for n = 1..4096
Lorenzo Sauras-Altuzarra, Some arithmetical problems that are obtained by analyzing proofs and infinite graphs, arXiv:2002.03075 [math.NT], 2020.

Cf. A053644 (most significant bit).
A048793 lists binary indices, length A000120, sum A029931.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
Cf. A058891, A062050, A072639, A326031, A326675, A326702, A367771, A367912, A368183, A368109, A368531.

a := proc(n) local k, A:
A := [seq(0,i=1..n)]: A[1]:=0:
for k from 1 to n-1 do
   A[k+1] := A[k-2^ilog2(k)+1]+2^(2^ilog2(k)-1): od:
return A[n]: end proc: # Lorenzo Sauras Altuzarra, Dec 18 2019
# second Maple program:
a:= n-> (l-> add(l[i+1]*2^(2^i-1), i=0..nops(l)-1))(Bits[Split](n-1)):
seq(a(n), n=1..38);  # Alois P. Heinz, Dec 13 2023

Nest[Append[#1, #1[[-#2]] + 2^(#2 - 1)] & @@ {#, 2^(IntegerLength[Length[#], 2] - 1)} &, {0, 1}, 36] (* Michael De Vlieger, May 08 2020 *)

a(n)={if(n<=1, 0, my(t=1<Andrew Howroyd, Dec 20 2019

a(1) = 0 and a(n) = a(n-A053644(n-1)) + 2^(A053644(n-1)-1). - Lorenzo Sauras Altuzarra, Dec 18 2019
a(n) = A358126(n-1) / 2. - Tilman Piesk, Dec 18 2022
a(2^n+1) = 2^(2^n-1) = A058891(n+1). - Gus Wiseman, Dec 29 2023
a(2^n) = A072639(n). - Gus Wiseman, Dec 29 2023
G.f.: 1/(1-x) * Sum_{k>=0} (2^(-1+2^k))*x^2^k/(1+x^2^k). - John Tyler Rascoe, May 22 2024

Corrected reference in name from A253315 to A261283. - Tilman Piesk, Dec 18 2022

A370638 Number of subsets of {1..n} such that a unique set can be obtained by choosing a different binary index of each element.

Original entry on oeis.org

1, 2, 4, 6, 12, 19, 30, 45, 90, 147, 230, 343, 504, 716, 994, 1352, 2704, 4349, 6469, 9162, 12585, 16862, 22122, 28617, 36653, 46431, 58075, 72097, 88456, 107966, 130742, 157647, 315294, 494967, 704753, 950080, 1234301, 1565165, 1945681, 2387060, 2890368, 3470798

Offset: 0

Gus Wiseman, Mar 09 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 set {3,4} has binary indices {{1,2},{3}}, with two choices {1,3}, {2,3}, so is not counted under a(4).
The a(0) = 1 through a(5) = 19 subsets:
  {}  {}   {}     {}     {}       {}
      {1}  {1}    {1}    {1}      {1}
           {2}    {2}    {2}      {2}
           {1,2}  {1,2}  {4}      {4}
                  {1,3}  {1,2}    {1,2}
                  {2,3}  {1,3}    {1,3}
                         {1,4}    {1,4}
                         {2,3}    {1,5}
                         {2,4}    {2,3}
                         {1,2,4}  {2,4}
                         {1,3,4}  {4,5}
                         {2,3,4}  {1,2,4}
                                  {1,2,5}
                                  {1,3,4}
                                  {1,3,5}
                                  {2,3,4}
                                  {2,3,5}
                                  {2,4,5}
                                  {3,4,5}

Wikipedia, Axiom of choice.

Set systems of this type are counted by A367904, ranks A367908.
A version for MM-numbers of multisets is A368101.
For prime indices we have A370584.
This is the unique version of A370636, complement A370637.
The maximal case is A370640, differences A370641.
Factorizations of this type are counted by A370645.
The case A370818 is the restriction to A000225.
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.
Cf. A133686, A134964, A326031, A326702, A367772, A367867, A367905, A367909, A367912, A368109.

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

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

More terms from Jinyuan Wang, Mar 28 2025

A371452 Number of connected components of the prime indices of the binary indices of n.

Original entry on oeis.org

1, 1, 2, 1, 2, 2, 3, 1, 2, 1, 2, 2, 3, 2, 3, 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 2, 3, 3, 4, 3, 4, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 2, 3, 3, 4, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5

Offset: 1

Gus Wiseman, Apr 01 2024

nonn

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.

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 prime indices of binary indices of 281492156579880 are {{1,1},{1,2},{3,4},{4,4}}, with 2 connected components {{1,1},{1,2}} and {{3,4},{4,4}}, so a(281492156579880) = 2.

Positions of first appearances are A080355, opposite A325782.
For prime indices of prime indices we have A305079, ones A305078.
For binary indices of binary indices we have A326753, ones A326749.
Positions of ones are A371291.
For binary indices of prime indices we have A371451, ones A325118.
A001187 counts connected graphs.
A007718 counts non-isomorphic connected multiset partitions.
A048143 counts connected antichains of sets.
A048793 lists binary indices, reverse A272020, length A000120, sum A029931.
A070939 gives length of binary expansion.
A112798 lists prime indices, reverse A296150, length A001222, sum A056239.
A326964 counts connected set-systems, covering A323818.
Cf. A000720, A019565, A087086, A096111, A325097, A326782, A368109, A371292, A371294, A371445, A371447.

csm[s_]:=With[{c=Select[Subsets[Range[Length[s]],{2}], Length[Intersection@@s[[#]]]>0&]},If[c=={},s, csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
bix[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n], {p_,k_}:>Table[PrimePi[p],{k}]]]];
Table[Length[csm[prix/@bix[n]]],{n,100}]

A367909 Numbers n such that there is more than one way to choose a different binary index of each binary index of n.

Original entry on oeis.org

4, 12, 16, 18, 20, 32, 33, 36, 48, 52, 64, 65, 66, 68, 72, 76, 80, 82, 84, 96, 97, 100, 112, 132, 140, 144, 146, 148, 160, 161, 164, 176, 180, 192, 193, 194, 196, 200, 204, 208, 210, 212, 224, 225, 228, 240, 256, 258, 260, 264, 266, 268, 272, 274, 276, 288

Offset: 1

Gus Wiseman, Dec 11 2023

nonn

Also BII-numbers of set-systems (sets of nonempty sets) satisfying a strict version of the axiom of choice in more than one way.
A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. A set-system is a finite set of finite nonempty sets. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets has a different BII-number. For example, 18 has reversed binary digits (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 axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			The set-system {{1},{1,2},{1,3}} with BII-number 21 satisfies the axiom in only one way (1,2,3), so 21 is not in the sequence.
The terms together with the corresponding set-systems begin:
   4: {{1,2}}
  12: {{1,2},{3}}
  16: {{1,3}}
  18: {{2},{1,3}}
  20: {{1,2},{1,3}}
  32: {{2,3}}
  33: {{1},{2,3}}
  36: {{1,2},{2,3}}
  48: {{1,3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  64: {{1,2,3}}
  65: {{1},{1,2,3}}
  66: {{2},{1,2,3}}
  68: {{1,2},{1,2,3}}
  72: {{3},{1,2,3}}

Wikipedia, Axiom of choice.

These set-systems are counted by A367772.
Positions of terms > 1 in A367905, firsts A367910, sorted firsts A367911.
If there is at least one choice we get A367906, counted by A367902.
If there are no choices we get A367907, counted by A367903.
If there is one unique choice we get A367908, counted by A367904.
A048793 lists binary indices, length A000120, reverse A272020, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.
A368098 counts unlabeled multiset partitions per axiom, complement A368097.
Cf. A000612, A055621, A072639, A309326, A326702, A326753, A355529, A368100.
BII-numbers: A309314 (hyperforests), A326701 (set partitions), A326703 (chains), A326704 (antichains), A326749 (connected), A326750 (clutters), A326751 (blobs), A326752 (hypertrees), A326754 (covers), A326783 (uniform), A326784 (regular), A326788 (simple), A330217 (achiral).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[100], Length[Select[Tuples[bpe/@bpe[#]], UnsameQ@@#&]]>1&]

A367907 U A367908 U A367909 = A000027.

A367911 Sorted positions of first appearances in A367905.

Original entry on oeis.org

1, 4, 7, 20, 68, 320, 352, 1088, 3136, 5184, 13376, 16704, 17472, 70720, 82240, 83008, 90112, 90176

Offset: 1

Gus Wiseman, Dec 16 2023

A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. For example, 18 has reversed binary expansion (0,1,0,0,1) and binary indices {2,5}.

			The terms together with the corresponding set-systems begin:
      1: {{1}}
      4: {{1,2}}
      7: {{1},{2},{1,2}}
     20: {{1,2},{1,3}}
     68: {{1,2},{1,2,3}}
    320: {{1,2,3},{1,4}}
    352: {{2,3},{1,2,3},{1,4}}
   1088: {{1,2,3},{1,2,4}}
   3136: {{1,2,3},{1,2,4},{3,4}}
   5184: {{1,2,3},{1,2,4},{1,3,4}}
  13376: {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
  16704: {{1,2,3},{1,4},{1,2,3,4}}
  17472: {{1,2,3},{1,2,4},{1,2,3,4}}
  70720: {{1,2,3},{1,2,4},{1,3,4},{1,5}}
  82240: {{1,2,3},{1,4},{1,2,3,4},{1,5}}

Sorted positions of first appearances in A367905.
The unsorted version is A367910.
Multisets without distinctness are A367915, unsorted A367913.
Without distinctness we have A368112, unsorted A368111.
For sets instead of sequences we have A368185, unsorted A368184.
A048793 lists binary indices, length A000120, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
Cf. A072639, A309326, A326031, A326702, A326753, A367902, A367906, A367907, A367912, A368109, A368183.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
c=Table[Length[Select[Tuples[bpe/@bpe[n]],UnsameQ@@#&]],{n,1000}];
Select[Range[Length[c]],FreeQ[Take[c,#-1],c[[#]]]&]

A335405 Number of integer compositions of n with product n.

Original entry on oeis.org

0, 1, 1, 1, 2, 1, 7, 1, 23, 11, 21, 1, 241, 1, 43, 73, 1092, 1, 1041, 1, 1339, 157, 111, 1, 23023, 137, 157, 1603, 3945, 1, 11599, 1, 153446, 421, 273, 601, 204586, 1, 343, 601, 206351, 1, 34789, 1, 16273, 25179, 507, 1, 5992730, 667, 33913, 1057, 27291, 1

Offset: 0

Gus Wiseman, Jun 06 2020

nonn

A composition of n is a finite sequence of positive integers summing to n.

			The compositions for n = 1, 4, 6, 8, 9, 10:
  (1)  (4)   (6)    (8)      (9)      (10)
       (22)  (123)  (1124)   (11133)  (11125)
             (132)  (1142)   (11313)  (11152)
             (213)  (1214)   (11331)  (11215)
             (231)  (1241)   (13113)  (11251)
             (312)  (1412)   (13131)  (11512)
             (321)  (1421)   (13311)  (11521)
                    (2114)   (31113)  (12115)
                    (2141)   (31131)  (12151)
                    (2411)   (31311)  (12511)
                    (4112)   (33111)  (15112)
                    (4121)            (15121)
                    (4211)            (15211)
                    (11222)           (21115)
                    (12122)           (21151)
                    (12212)           (21511)
                    (12221)           (25111)
                    (21122)           (51112)
                    (21212)           (51121)
                    (21221)           (51211)
                    (22112)           (52111)
                    (22121)
                    (22211)

Seiichi Manyama, Table of n, a(n) for n = 0..10000

The case of partitions is A001055.
Compositions are counted by A011782.
These compositions are ranked by A335404.
Cf. A003963, A096111, A124767, A233249, A272919, A301987, A301988, A333219, A333220, A331579.

Table[Length[Join@@Permutations/@Select[IntegerPartitions[n],Times@@#==n&]],{n,0,30}]

A367910 Least number k such that there are exactly n ways to choose a different binary index of each binary index of k.

Original entry on oeis.org

7, 1, 4, 20, 68, 320, 352, 1088, 3136, 13376, 16704, 5184, 82240, 70720, 17472

Offset: 0

Gus Wiseman, Dec 16 2023

A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. For example, 18 has reversed binary expansion (0,1,0,0,1) and binary indices {2,5}.

			The terms together with the corresponding set-systems begin:
      7: {{1},{2},{1,2}}
      1: {{1}}
      4: {{1,2}}
     20: {{1,2},{1,3}}
     68: {{1,2},{1,2,3}}
    320: {{1,2,3},{1,4}}
    352: {{2,3},{1,2,3},{1,4}}
   1088: {{1,2,3},{1,2,4}}
   3136: {{1,2,3},{1,2,4},{3,4}}
  13376: {{1,2,3},{1,2,4},{1,3,4},{2,3,4}}
  16704: {{1,2,3},{1,4},{1,2,3,4}}
   5184: {{1,2,3},{1,2,4},{1,3,4}}
  82240: {{1,2,3},{1,4},{1,2,3,4},{1,5}}
  70720: {{1,2,3},{1,2,4},{1,3,4},{1,5}}

Wikipedia, Axiom of choice.

Positions of first appearances in A367905.
The sorted version is A367911.
For multisets w/o distinctness: A367913, firsts of A367912, sorted A367915.
Not requiring distinctness gives A368111, firsts of A368109, sorted A368112.
For multisets of indices we have A368184, firsts of A368183, sorted A368185.
A048793 lists binary indices, length A000120, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
Cf. A072639, A309326, A326031, A326702, A326753, A367771, A367906, A367907, A367908, A367909.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
c=Table[Length[Select[Tuples[bpe/@bpe[n]],UnsameQ@@#&]],{n,1000}];
spnm[y_]:=Max@@NestWhile[Most,y,Union[#]!=Range[0,Max@@#]&];
Table[Position[c,n][[1,1]],{n,0,spnm[c]}]

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

Original entry on oeis.org

1, 1, 1, 3, 3, 8, 17, 32, 32, 77, 144, 242, 383, 580, 843, 1201, 1201, 2694, 4614, 7096, 10219, 14186, 19070, 25207, 32791, 42160, 53329, 66993, 82811, 101963, 124381, 151286, 151286, 324695, 526866, 764438, 1038089, 1358129, 1725921, 2154668, 2640365, 3202985

Offset: 0

Gus Wiseman, Mar 10 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.

Also choices of A070939(n) elements of {1..n} such that it is possible to choose a different binary index of each.

			The a(0) = 1 through a(6) = 17 subsets:
  {}  {1}  {1,2}  {1,2}  {1,2,4}  {1,2,4}  {1,2,4}
                  {1,3}  {1,3,4}  {1,2,5}  {1,2,5}
                  {2,3}  {2,3,4}  {1,3,4}  {1,2,6}
                                  {1,3,5}  {1,3,4}
                                  {2,3,4}  {1,3,5}
                                  {2,3,5}  {1,3,6}
                                  {2,4,5}  {1,4,6}
                                  {3,4,5}  {1,5,6}
                                           {2,3,4}
                                           {2,3,5}
                                           {2,3,6}
                                           {2,4,5}
                                           {2,5,6}
                                           {3,4,5}
                                           {3,4,6}
                                           {3,5,6}
                                           {4,5,6}
The a(0) = 1 through a(6) = 17 set-systems:
    {1}  {1}{2}  {1}{2}   {1}{2}{3}   {1}{2}{3}    {1}{2}{3}
                 {1}{12}  {1}{12}{3}  {1}{12}{3}   {1}{12}{3}
                 {2}{12}  {2}{12}{3}  {1}{2}{13}   {1}{2}{13}
                                      {2}{12}{3}   {1}{2}{23}
                                      {2}{3}{13}   {1}{3}{23}
                                      {1}{12}{13}  {2}{12}{3}
                                      {12}{3}{13}  {2}{3}{13}
                                      {2}{12}{13}  {1}{12}{13}
                                                   {1}{12}{23}
                                                   {1}{13}{23}
                                                   {12}{3}{13}
                                                   {12}{3}{23}
                                                   {2}{12}{13}
                                                   {2}{12}{23}
                                                   {2}{13}{23}
                                                   {3}{13}{23}
                                                   {12}{13}{23}

Dominated by A357812.
The version for set-systems is A368601, max of A367902 (complement A367903).
For prime indices we have A370585, with n A370590, see also A370591.
This is the maximal case of A370636 (complement A370637).
The case of a unique choice is A370638.
The case containing n is A370641, non-maximal A370639.
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.
A307984 counts Q-bases of logarithms of positive integers.
A355741 counts choices of a prime factor of each prime index.
Cf. A133686, A326031, A326702, A367905, A367909, A367912, A368109, A368110, A370592, A370642.

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

lista(nn) = my(b, m=Map(Mat([[[]], 1])), t, u, v, w, z); for(n=0, nn, t=Mat(m)~; b=Vecrev(binary(n)); u=select(i->b[i], [1..#b]); for(i=1, #t, v=t[1, i]; w=List([]); for(j=1, #v, for(k=1, #u, if(!setsearch(v[j], u[k]), listput(w, setunion(v[j], [u[k]]))))); w=Set(w); if(#w, z=0; mapisdefined(m, w, &z); mapput(m, w, z+t[2, i]))); print1(mapget(m, [[1..#b]]), ", ")); \\ Jinyuan Wang, Mar 28 2025

More terms from Jinyuan Wang, Mar 28 2025

cp's OEIS Frontend

A372471 Irregular triangle read by rows where row n lists the binary indices of the n-th prime number.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A277905 Irregular table: Each row n (n >= 0) lists in ascending order all A018819(n) numbers k for which A048675(k) = n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Scheme

Formula

A253317 Indices in A261283 where records occur.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A370638 Number of subsets of {1..n} such that a unique set can be obtained by choosing a different binary index of each element.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A371452 Number of connected components of the prime indices of the binary indices of n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A367909 Numbers n such that there is more than one way to choose a different binary index of each binary index of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A367911 Sorted positions of first appearances in A367905.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A335405 Number of integer compositions of n with product n.

Views

Author

Keywords