OFFSET
0,2
COMMENTS
Each step is x -> 3x-1 if x odd, or x -> x/2 if x even (A001281) and here only the tripling steps 3x-1 are counted.
The number of tripling steps is A378833(x) so that a(n) = x is the smallest x for which A378833(x) = n.
All terms are odd since any even x takes a first step to x/2 which is a smaller start for the same number of tripling steps.
a(n) >= L(n) = (2*a(n-1) + 1)/3 is a lower bound since a(n) = x must at least have a first step 3x-1 and then halve to (3x-1)/2 with n-1 further tripling steps, so (3x-1)/2 >= a(n-1).
Equality a(n) = L(n) occurs iff L(n) is an integer and not a cycle minimum.
A large upper bound for n>=1, showing a(n) always exists, is a(n) <= U(n) = (4^(3^n) - 1)*2^n/3^n + 1, since U(n) is a candidate for a(n) by taking n steps of (3x-1)/2 to reach 4^(3^n) which is a power of 2.
Tighter upper bounds on a(n) can be found by taking predecessor steps back from a(n-c) seeking c tripling steps to reach a(n-c) if that's possible (which for instance it's not if a(n-c) == 0 (mod 3)).
Such predecessors are candidates for a(n), but the actual a(n) might have a trajectory which does not go through any previous a(n-c).
LINKS
Kevin Ryde, Table of n, a(n) for n = 0..609
Kevin Ryde, C Code (set count type TRIPLE)
EXAMPLE
For n=4, a(4) = 9 has 4 tripling steps on its way to 5 which is the minimum of a cycle:
9 -> 26 -> 13 -> 38 -> 19 -> 56 -> 28 -> 14 -> 7 -> 20 -> 10 -> 5
^ ^ ^ ^
This a(4) = 9 is an example where a(n) is at its lower bound L(n), in this case a(3) = 13 has L(4) = (2*a(3)+1)/3 = 9 which is an integer and not a cycle minimum.
PROG
(C) /* See links. */
CROSSREFS
KEYWORD
nonn,changed
AUTHOR
Kevin Ryde, Dec 15 2024
STATUS
approved