A353983 -id:A353983 - cp's OEIS frontend

A353984 a(n) is the number of ways to write n as a sum of distinct terms of A353983.

1, 0, 0, 1, 1, 0, 1, 1, 0, 2, 1, 0, 2, 3, 0, 2, 3, 1, 2, 3, 1, 2, 4, 1, 1, 4, 2, 1, 4, 2, 1, 5, 3, 0, 6, 4, 0, 5, 5, 0, 6, 6, 0, 7, 8, 1, 6, 10, 2, 6, 10, 3, 5, 11, 4, 4, 11, 5, 3, 12, 6, 2, 13, 8, 1, 13, 10, 0, 13, 11, 0, 13, 14, 0, 14, 17, 2, 13, 20, 4, 12

Offset: 0

Rémy Sigrist, May 14 2022

nonn

a(0) = 1 accounts for the empty sum.

Rémy Sigrist, Table of n, a(n) for n = 0..10000
Rémy Sigrist, Scatterplot of the first 16796 terms
Rémy Sigrist, C++ program

Cf. A353983, A353985 (positions of 0's).

A353985 Numbers that are not the sum of distinct terms of A353983.

Original entry on oeis.org

1, 2, 5, 8, 11, 14, 33, 36, 39, 42, 67, 70, 73, 98, 101, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900, 2674440, 9694845, 35357670, 103981965, 129644790, 357688755, 383351580, 477638700

Offset: 1

Rémy Sigrist, May 14 2022

Also positions of 0's in A353984.

This sequence is infinite as it contains the Catalan number (A000108).

Rémy Sigrist, C++ program

Cf. A000108, A353983, A353984.

A353889 Lexicographically earliest sequence of distinct positive integers with no finite subset summing to a power of 2.

Original entry on oeis.org

3, 6, 9, 11, 19, 24, 43, 69, 77, 123, 192, 261, 507, 699, 1029, 1536, 2043, 4101, 5637, 8187, 12288, 16389, 32763, 45051, 65541, 98304, 131067, 262149, 360453, 524283, 786432, 1048581, 2097147, 2883579, 4194309, 6291456, 8388603, 16777221, 23068677, 33554427

Offset: 1

Rémy Sigrist, May 09 2022

nonn

The sequence is well defined:
- a(1) = 3,
- for n > 0, let k be such that 2^k + 1 + a(1) + ... + a(n) < 2^(k+1),
- then a(n+1) <= 2^k + 1.
The variant where we avoid powers of 3 corresponds to the positive even numbers (A299174).

			- 1 = 2^0, so 1 is not a term,
- 2 = 2^1, so 2 is not a term,
- a(1) = 3 (as 3 is not a power of 2),
- 4 = 2^2, so 4 is not a term,
- 3 + 5 = 2^3, so 5 is not a term,
- a(2) = 6 (as neither 6 nor 3 + 6 is a power of 2),
- 3 + 6 + 7 = 2^4, so 7 is not a term,
- 8 = 2^3, so 8 is not a term,
- a(3) = 9 (as none of 9, 3 + 9, 6 + 9, 3 + 6 + 9 is a power of 2).

Rémy Sigrist, C# program
Rémy Sigrist, C++ program

Cf. similar sequences: A052349 (prime numbers), A133662 (square numbers), A353966 (Fibonacci numbers), A353969 (factorial numbers), A353980 (primorial numbers), A353983 (Catalan numbers), A354005 (Pell numbers).

Cf. A000079, A008585, A299174, A353918, A353919.

from math import gcd
from itertools import count, islice
def agen(): # generator of terms
    a, ss, pows2, m = [], set(), {1, 2}, 2
    for k in count(1):
        if k in pows2: continue
        elif k > m: m <<= 1; pows2.add(m)
        if any(p2-k in ss for p2 in pows2): continue
        a.append(k); yield k
        ss |= {k} | {k+si for si in ss if k+si not in ss}
        while m < max(ss): m <<= 1; pows2.add(m)
print(list(islice(agen(), 32))) # Michael S. Branicky, Jun 09 2023

cp's OEIS Frontend

A353984 a(n) is the number of ways to write n as a sum of distinct terms of A353983.

Views

Author

Keywords

Comments

Links

Crossrefs

A353985 Numbers that are not the sum of distinct terms of A353983.

Views

Author

Keywords

Comments

Links

Crossrefs

A353889 Lexicographically earliest sequence of distinct positive integers with no finite subset summing to a power of 2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Python