login
A390941
"Late birds" in A390939: terms A390939(m) such that A390939(k) > A390939(m) for all k > m, where A390939 lists the keys added in the map initialized with T[1] = 1 and then repeatedly T[v] := k + (T[v] if defined else 0) for all key-value pairs (k, v) in T.
3
1, 2, 4, 6, 26, 52, 54, 66, 68, 72, 116, 232, 464, 928, 1856, 1922, 3842, 5764, 15372, 15376, 30744, 30752, 61504, 123008, 246016, 492032, 984064, 1968128, 3936256, 7872512, 15745024, 31490048, 62980096, 125960192, 251920384, 503840768, 1007681536, 2015363072, 4030726144, 8061452288
OFFSET
1,2
COMMENTS
We know that only the entries T[k] with k listed in A390943 continue to grow, all other entries remain constant after reaching one of the values listed in A390943, the largest of which is 7424. Thus, once M(r) = min { T[k] ; k in A390943 } has grown beyond 7472, we know that M(r) is the smallest entry that can be added to the map T at and after that iteration r.
We also know that M(r) equals the value of T[3712] from that moment on.
Therefore we also know that the terms of this sequence are eventually exactly the values reached by T[3712], which are of the form 961*2^n.
FORMULA
a(n) = 961*2^(n-17) for n >= 22.
PROG
(Python)
# get a[n-1] as a(n) (1-indexed) and extrapolate by doubling the last term:
class seq(list):__call__=lambda s, n: s[-1]<< n-len(s) if n>len(s) else s[n-1]
_, m = A390939(999), A390939.T[3712] # compute enough terms; get current M
A390941 = seq([an for an in A390939.terms[::-1] if an < m and (m:=an)][::-1])
CROSSREFS
Cf. A390939 (main entry), A390943 (limiting values and keys of unbounded entries).
Sequence in context: A319575 A318609 A195333 * A106274 A204661 A284919
KEYWORD
nonn,easy
AUTHOR
M. F. Hasler, Nov 24 2025
STATUS
approved