A355150 -id:A355150 - cp's OEIS frontend

A354169 a(0) = 0, a(1) = 1, a(2) = 2; for k >= 2, given a(k), the sequence is extended by adjoining two terms: a(2k-1) = smallest m >= 0 not among a(0) .. a(k) such that {m, a(k), a(k+1), ..., a(2k-2)} are pairwise disjoint in binary, and a(2k) = smallest m >= 0 not among a(0) .. a(k) such that {m, a(k), ..., a(2k-1)} are pairwise disjoint in binary.

0, 1, 2, 4, 8, 3, 16, 32, 64, 12, 128, 256, 512, 17, 1024, 34, 2048, 4096, 8192, 68, 16384, 136, 32768, 65536, 131072, 768, 262144, 524288, 1048576, 1025, 2097152, 18, 4194304, 2080, 8388608, 16777216, 33554432, 12288, 67108864, 134217728, 268435456, 16388

Offset: 0

N. J. A. Sloane, Jun 05 2022

The paper by De Vlieger et al. (2022) calls this the "binary two-up sequence".
"Pairwise disjoint in binary" means no common 1-bits in their binary representations.
This is a set-theory analog of A090252. It bears the same relation to A090252 as A252867 does to A098550, A353708 to A121216, A353712 to A347113, etc.
A consequence of the definition, and also an equivalent definition, is that this is the lexicographically earliest infinite sequence of distinct nonnegative numbers with the property that the binary representation of a(n) is disjoint from (has no common 1's with) the binary representations of the following n terms.
An equivalent definition is that a(n) is the smallest nonnegative number that is disjoint (in its binary representation) from each of the previous floor(n/2) terms.
For the subsequence 0, 3, 12, 17, 34, ... of the terms that are not powers of 2 see A354680 and A354798.
All terms are the sum of at most two powers of 2 (see De Vlieger et al., 2022). - N. J. A. Sloane, Aug 29 2022

			After a(2) = 2 = 10_2, a(3) must equal ?0?_2, and the smallest such number we have not seen is a(3) = 100_2 = 4, and a(4) must equal ?00?_2, and the smallest such number we have not seen is a(4) = 1000_2 = 8.

Rémy Sigrist, Table of n, a(n) for n = 0..4941
Michael De Vlieger, Thomas Scheuerle, Rémy Sigrist, N. J. A. Sloane, and Walter Trump, The Binary Two-Up Sequence, arXiv:2209.04108 [math.CO], Sep 11 2022.
Rémy Sigrist, PARI program
N. J. A. Sloane, Construction of terms a(0) through a(18)
N. J. A. Sloane, Table showing first 190 terms (pdf file of scan of large table)
N. J. A. Sloane, Left-hand portion of rows 97-135 of preceding table, showing columns 67-96, rotated counter-clockwise by 90 degrees. The red line in this table should be aligned with the red line between rows 135 and 136 in the preceding table. [This portion of the table was too wide to fit through the scanner.]
N. J. A. Sloane, Blog post about the Two-Up sequence, June 13 2022. Mentions this sequence.
N. J. A. Sloane, "A Handbook of Integer Sequences" Fifty Years Later, arXiv:2301.03149 [math.NT], 2023, p. 16.

A355889 is a more efficient way to present this sequence.
Cf. A000120, A090252, A098550, A121216, A252867, A347113, A353708, A353712, A354680, A354767, A354798, A355150.
See also A354773, A354774, A354775, A354780, A354781, A354783.

nn = 42; c[] = r = 0; m = 1; Array[Set[{a[#], c[#]}, {#, #}] &, 2, 0]; Do[k = SelectFirst[Union@ Map[Total, Rest@ Subsets[2^Reverse[Length[#] - Position[#, 1][[All, 1]]] &@ IntegerDigits[2^(r + 2) - m - 1, 2]]], c[#] == 0 &]; Set[{a[n], c[k]}, {k, n}]; m += a[n]; If[And[IntegerQ[#], # > 0], m -= a[#]] &[n/2]; If[And[EvenQ[k], PrimePowerQ[k], k > 2^r], r++], {n, 2, nn}]; Table[a[n], {n, 0, nn}] (* _Michael De Vlieger, Jul 13 2022 *)

PARI
```
See Links section.
```

from itertools import count, islice
from collections import deque
from functools import reduce
from operator import or_
def A354169_gen(): # generator of terms
    aset, aqueue, b, f = {0,1,2}, deque([2]), 2, False
    yield from (0,1,2)
    while True:
        for k in count(1):
            m, j, j2, r, s = 0, 0, 1, b, k
            while r > 0:
                r, q = divmod(r,2)
                if not q:
                    s, y = divmod(s,2)
                    m += y*j2
                j += 1
                j2 *= 2
            if s > 0:
                m += s*2**b.bit_length()
            if m not in aset:
                yield m
                aset.add(m)
                aqueue.append(m)
                if f: aqueue.popleft()
                b = reduce(or_,aqueue)
                f = not f
                break
A354169_list = list(islice(A354169_gen(),40)) # Chai Wah Wu, Jun 06 2022

More terms from Rémy Sigrist, Jun 06 2022

A354780 a(n) is the bitwise OR of (the binary expansions of) b(n+1) to b(2*n), where b is A354169.

Original entry on oeis.org

2, 12, 27, 115, 252, 1004, 2013, 4031, 16307, 32631, 65279, 261375, 524270, 2096110, 4194253, 8386527, 16773119, 67096575, 134217659, 536854459, 1073741623, 2147450751, 4294901759, 17179672575, 34359737599, 137438690559, 274877382143, 549754765311, 2199022205950, 4398044412927, 8796093022189, 35184367894509, 70368744175567

Offset: 1

N. J. A. Sloane, Jul 05 2022

If the binary expansion of a(n) has a 1 in the 2^i's bit (for any i >= 0) then A354169(2*n+1) must have a 0 in that bit.
A354169(2*n+1) is the smallest number not yet in A354169 which satisfies that condition (this follows at once from the definition of A354169).
This sequence bears the same relation to A354169 as A355057 does to A090252.

			Consider n=6. Then b(7) to b(12) are 32, 64, 12, 128, 256, 512. The bitwise OR of those 6 numbers is 1111101100_2 = 1004_10 = a(6). The bitwise complement of 1004_10 is 10011_2 = 19_10 = A354781(6), and A354169(6) = 17_10 = 10001_2.
On the other hand, for n=5, b(6) to b(10) are 16, 32, 64, 12, 128, whose bitwise OR is 11111100_2 = 252_10 = a(5). The bitwise complement of 252_10 is 3_10 = 11_2 = A354781(5). However, 3 has already appeared in A354169, and the smallest available number whose binary expansion is disjoint from 252_10 = 11111100_2 is 2^8 = 100000000_2 = 256_10 = 2^8 = A354169(5).

N. J. A. Sloane, Table of n, a(n) for n = 1..256

A bisection of A354757.
Cf. A354169, A354680, A354757, A354758, A354767, A354773, A354774, A354778, A355150, A354781.
See also A090252, A355057.

A354781 If the binary expansion of A354780(n) is 1 d_1 d_2 ... d_k, then the binary expansion of a(n) is c_1 c_2 ... c_k, where c_i = 1 - d_i.

Original entry on oeis.org

1, 3, 4, 12, 3, 19, 34, 64, 76, 136, 256, 768, 17, 1041, 50, 2080, 4096, 12288, 68, 16452, 200, 32896, 65536, 196608, 768, 262912, 524800, 1048576, 1049601, 2098176, 18, 4194322, 2096, 8390656, 16777216, 50331648, 12288, 67121152, 134225920, 268435456, 268451844, 536887296, 72, 1073741896, 32960, 2147516416, 4294967296, 12884901888

Offset: 1

N. J. A. Sloane, Jul 05 2022

			See A354780.

N. J. A. Sloane, Table of n, a(n) for n = 1..2400

Cf. A354169, A354680, A354757, A354758, A354767, A354773, A354774, A354778, A355150, A354780.

A354793 Hamming weight of A354783(n).

Original entry on oeis.org

0, 0, 1, 1, 2, 0, 1, 1, 2, 0, 2, 2, 3, 1, 2, 0, 1, 1, 3, 1, 2, 0, 1, 1, 2, 0, 2, 2, 3, 1, 3, 1, 2, 0, 1, 1, 2, 0, 2, 2, 3, 1, 3, 1, 2, 0, 1, 1, 2, 0, 2, 2, 3, 1, 2, 0, 1, 1, 3, 1, 2, 0, 2, 2, 3, 1, 3, 1, 2, 0, 1, 1, 2, 0, 2, 2, 3, 1, 2, 0, 1, 1, 3, 1, 2, 0, 2, 2, 3, 1, 3, 1, 2, 0, 1, 1, 2, 0, 2, 2, 3, 1, 2

Offset: 1

N. J. A. Sloane, Jul 19 2022

nonn

Conjecture: This sequence appears to have a simple structure. Encode it by making the following substitutions, in this order:
Replace the initial 28 terms 0011201120223120113120112022 by S (as usual, the start is irregular), then map:
  3 1 3 -> 7
  3 1 2 -> 6
  1 2 0 1 1 2 0 2 2 -> 9
  0 1 1 -> 2
  0 2 2 -> 4
Then it appears that the encoded sequence is the concatenation of the following blocks:
  S
  79
  79(6264)^1
  79(6264)^1
  79(6264)^3
  79(6264)^3
  79(6264)^15
  79(6264)^15
  79(6264)^31
  79(6264)^31
  79(6264)^63
  79(6264)^63
  79(6264)^127
  79(6264)^127
  ...
This is probably not the most efficient encoding, but I was happy to find any one that revealed the structure.
From Michel Dekking, Jul 23 2022: (Start)
The following is another way to present the conjecture above, which shows the close connection with sequence A355150.
Conjecture: It appears that this sequence is almost a periodic sequence, with period 12. Let x:=A354789.
If n > 28, n == 5 (mod 12) is not an element of x then (written as words)
      a(n)a(n+1)...a(n+11) = 312011312022.
If n > 28, n == 5 (mod 12) is an element of x then
      a(n)a(n+1)...a(n+11) = 313120112022.
(End)

N. J. A. Sloane, Table of n, a(n) for n = 1..4900

Cf. A354169, A354757, A354783, A355150.

A355889 Concatenate the exponents of the powers of 2 in A354169(k) in increasing order, for k = 1, 2, 3, ...

Original entry on oeis.org

0, 1, 2, 3, 0, 1, 4, 5, 6, 2, 3, 7, 8, 9, 0, 4, 10, 1, 5, 11, 12, 13, 2, 6, 14, 3, 7, 15, 16, 17, 8, 9, 18, 19, 20, 0, 10, 21, 1, 4, 22, 5, 11, 23, 24, 25, 12, 13, 26, 27, 28, 2, 14, 29, 3, 6, 30, 7, 15, 31, 32, 33, 16, 17, 34, 35, 36, 8, 18, 37, 9, 19, 38, 39, 40, 0, 20, 41, 10, 21, 42, 43, 44, 1, 22, 45, 4, 5, 46

Offset: 1

Rémy Sigrist and N. J. A. Sloane, Jul 20 2022

nonn

It is conjectured that the Hamming weight of A354169(k) is always 0, 1, or 2. This is known to be true for at least the first 2^25 terms. (The present sequence is well-defined even if the conjecture is false.)
So this is a far more efficient way to present A354169 than by listing the decimal expansions.
The terms of A354169 that are pure powers of 2 appear in order, so it is obvious how to recover A354169 from this sequence.
This could be regarded as a table with (presumably) two columns, and could therefore have keyword "tabf", but that is not really appropriate, since basically it consists of the nonnegative integers with some interjections.

			A354169 begins 0, 1, 2, 4, 8, 3, 16, 32, 64, 12, 128, ... We ignore the initial 0, and then the binary expansions are 2^0, 2^1, 2^2, 2^3, 2^0+2^1, 2^4, 2^5, 2^6, 2^2+2^3, 2^7, ..., so the present sequence begins 0, 1, 2, 3, 0, 1, 4, 5, 6, 2, 3, 7, ...

Rémy Sigrist, Table of n, a(n) for n = 1..20000 (first 6585 terms from N. J. A. Sloane)
Rémy Sigrist, C++ program

Cf. A354169, A355150, A354773, A354774, A354767, A354798, A354680.

cp's OEIS Frontend

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Python

Extensions

A354780 a(n) is the bitwise OR of (the binary expansions of) b(n+1) to b(2*n), where b is A354169.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

A354781 If the binary expansion of A354780(n) is 1 d_1 d_2 ... d_k, then the binary expansion of a(n) is c_1 c_2 ... c_k, where c_i = 1 - d_i.

Views

Author

Keywords

Examples

Links

Crossrefs

A354793 Hamming weight of A354783(n).

Views

Author

Keywords

Comments

Links

Crossrefs

A355889 Concatenate the exponents of the powers of 2 in A354169(k) in increasing order, for k = 1, 2, 3, ...

Views

Author

Keywords

Comments

Examples

Links

Crossrefs