login
A343268
Numbers that are not the sum of exactly four terms from A020330 (not necessarily distinct).
2
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,3
COMMENTS
Madhusudan et al. (2018) conjectured that a(112) = 1772 is the last term of this sequence.
LINKS
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.
MATHEMATICA
v = Table[n + n * 2^Floor[Log2[n] + 1], {n, 1, 31}]; Complement[Range[0, 2000], Plus @@@ Tuples[v, 4]]
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, Apr 09 2021
STATUS
approved