The generalized periodic characterization conjecture for S_{1,g,g+1}

For g2g\geq 2, let S1,g,g+1S_{1,g,g+1} be the greedy 3-subsumfree sequence beginning with 1,g,g+11,g,g+1, where each subsequent term is the smallest larger integer that is not the sum of three distinct previous terms. The generalized periodic characterization conjecture. For every g2g\geq2,

zS1,g,g+1    z{1,2g+1,6g+1} or zmod(10g+3){g,g+1,,2g}{6g+2,6g+3,,7g+1}.z\in S_{1,g,g+1}\iff z\in\{1,2g+1,6g+1\}\ \text{or}\ z\bmod(10g+3)\in\{g,g+1,\ldots,2g\}\cup\{6g+2,6g+3,\ldots,7g+1\}.

In particular, after the first g+4g+4 entries, the sequence modulo 10g+310g+3 is periodic with period 2g+12g+1. The paper reports verification only for g{2,3,,10}g\in\{2,3,\ldots,10\} and leaves the parametrized statement conjectural.

Sources & referencesView supporting material

Primary source

Wieb Bosma, Rene Bruin, Robbert Fokkink, Jonathan Grube, Anniek Reuijl and Thian Tromp, “Using Walnut to solve problems from the OEIS”, arXiv:2503.04122 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.