OFFSET
1,2
LINKS
A. S. Fraenkel, Heap games, numeration systems and sequences, arXiv:math/9809074 [math.CO], 1998; Annals of Combinatorics, 2 (1998), 197-210.
J. Shallit, Proof of Irvine's conjecture via mechanized guessing, arXiv preprint arXiv:2310.14252 [math.CO], October 22 2023.
MATHEMATICA
a[n_] := a[n] = Module[{aa, m}, aa = Array[a, n-1]; For[m = 1, m < n, m++, If[n == a[m] + 2m && Count[aa, a[m]] == 1, Return[a[m]]]]; For[m = 1, True, m++, If[FreeQ[aa, m], Return[m]]]]; a[1] = 1; Array[a, 100] (* Jean-François Alcover, Jan 26 2019 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
Description corrected by Aviezri S. Fraenkel
STATUS
approved