OFFSET
1,6
COMMENTS
To obtain the next term, square the current term and add 1, then count back this number and add 1.
The sequence cannot repeat. Proof: Assume a finite period. Label an arbitrary term in the period x. Because of the back-referencing definition it follows that x-1 has to be in the period, and by the same argument so does x-2 and x-3, x-4, ... until 0. But it is not possible to obtain new 0s since each new term is larger than one already existing term.
Every positive integer appears in the sequence.
First occurrence of n: 1, 3, 6, 12, 20, 31, 49, 60, 71, 91, 129, 163, 214, 265, 303, 354, 516, 594, 792, 915, ...
The sequence appears to grow with the cube root of n, which is expected since f(x) = (3*x)^(1/3) satisfies the definition for large x, i.e., lim_{x->oo} f(x+1)-(f(x-1-f(x)^2)+1) = 0.
The width of the distribution of terms within a range (n^2,n^2+n) appears to be constant for large n and can be defined as: lim_{n->oo} ( 1/n*Sum_{k=n..2n} ( Max_{i=k^2..k^2+k} a(i) - Min_{i=k^2..k^2+k} a(i) ) ) and evaluates to 12.98... (for n^2 = 5*10^8).
Each term is determined by referencing an earlier term. Following the chain of these references we can uniquely trace back every term to one of the two initial zeros, e.g., a(60) -> a(49) -> a(31) -> a(20) -> a(14) -> a(11) -> a(5) -> a(2). These progressions form two trees, with the zeros being at their roots (for visualization see the Links section). The average branching factor B (number of links divided by the number of non-leaf nodes) is numerically evaluated to B = 1.51803... (for n = 10^8). Considering the asymptotic behavior of the sequence a(n) ~ (3*n)^(1/3), we can conclude that the number of links within a range (n,m) is asymptotically equal to m-n and therefore B is the inverse of the proportion of non-leaf terms (B = 1.518... then implies that roughly 34% of all terms never get referenced).
An extended definition can be considered that only requires one initial value: a(0) = -1, and the next terms are obtained via a(n+1) = a(n-1-a(n)*|a(n)|)+1.
LINKS
Rok Cestnik, Table of n, a(n) for n = 1..1000
Rok Cestnik, Term-referencing tree for 1000 terms
Rok Cestnik, Program for plotting the term-referencing tree
FORMULA
a(n) ~ (3*n)^(1/3) (conjectured).
EXAMPLE
a(3) = a(2-1-a(2)^2)+1 = a(1)+1 = 1.
a(4) = a(3-1-a(3)^2)+1 = a(1)+1 = 1.
a(5) = a(4-1-a(4)^2)+1 = a(2)+1 = 1.
a(6) = a(5-1-a(5)^2)+1 = a(3)+1 = 2.
PROG
(Python)
a = [0, 0]
for n in range(1, 1000):
a.append(a[n-1-a[n]**2]+1)
(C)
#include<stdio.h>
#include<stdlib.h>
int main(void){
int N = 1000;
int *a = (int*)malloc(N*sizeof(int));
a[0] = 0;
a[1] = 0;
for(int n = 1; n < N-1; ++n){
a[n+1] = a[n-1-a[n]*a[n]]+1;
}
free(a);
return 0;
}
CROSSREFS
KEYWORD
nonn
AUTHOR
Rok Cestnik, Dec 23 2020
STATUS
approved