A343268 Numbers that are not the sum of exactly four terms from A020330 (not necessarily distinct).

0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 25, 27, 28, 29, 30, 32, 34, 35, 37, 39, 41, 42, 44, 46, 47, 49, 51, 53, 56, 58, 62, 65, 67, 74, 83, 88, 95, 100, 104, 107, 109, 113, 116, 122, 125, 131, 134, 140, 143, 148, 149, 155

Offset: 1

Author

Amiram Eldar, Apr 09 2021

Keywords

• nonn

Comments

Madhusudan et al. (2018) conjectured that a(112) = 1772 is the last term of this sequence.

Links

• Amiram Eldar, Table of n, a(n) for n = 1..112
• Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran and Jeffrey Shallit, Lagrange's Theorem for Binary Squares, in: I. Potapov, P. Spirakis and J. Worrell (eds.), 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Schloss Dagstuhl, 2018, pp. 18:1-18:14; arXiv preprint, arXiv:1710.04247 [math.NT], 2017-2018.

Crossrefs

Cf. A020330, A290334, A290335, A298731, A343267.

Programs

Mathematica

v = Table[n + n * 2^Floor[Log2[n] + 1], {n, 1, 31}]; Complement[Range[0, 2000], Plus @@@ Tuples[v, 4]]