OFFSET
0,2
COMMENTS
The increasing complementary sequences a() and b() are uniquely determined by the titular equation and initial values.
Conjectures: a(n) - (2 +sqrt(2))*n < 4 for n >= 1. Guide to related sequences having initial values a(0) = 1, a(1) = 2, b(0) = 3, b(1) = 4, b(2) = 5, where (b(n)) is the increasing sequence of positive integers not in (a(n)):
***
LINKS
Clark Kimberling, Table of n, a(n) for n = 0..10000
EXAMPLE
a(0) = 1, a(1) = 2, b(0) = 3, b(1) = 4, so that a(2) = 10.
Complement: (b(n)) = (3,4,5,6,8,9,11,12,14,15,17,18,20,...)
MATHEMATICA
a[0] = 1; a[1] = 2; b[0] = 3; b[1] = 4; b[2] = 5;
a[n_] := a[n] = a[1]*b[n] - a[0]*b[n - 1] + 2 n;
j = 1; While[j < 100, k = a[j] - j - 1;
While[k < a[j + 1] - j + 1, b[k] = j + k + 2; k++]; j++]; k
Table[a[n], {n, 0, k}] (* A298000 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Feb 04 2018
STATUS
approved