OFFSET
1,2
COMMENTS
The discriminator of a sequence is the least positive integer k such that the first n terms of the sequence are pairwise distinct, modulo k.
The discriminator of this sequence is given by 2^(i+1) - 3 if n = 2^i + 1 for odd i > 2; 2^(i+1) - 1 if n = 2^i + 1 for even i >= 2; and 2^(ceiling(log_2(n))) otherwise.
LINKS
Arnold, L. K.; Benkoski, S. J.; and McCabe, B. J.; The discriminator (a simple application of Bertrand's postulate). Amer. Math. Monthly 92 (1985), 275-277.
Sajed Haque, Jeffrey Shallit, Discriminators and k-Regular Sequences, arXiv:1605.00092 [cs.DM], 2016.
CROSSREFS
KEYWORD
nonn
AUTHOR
Jeffrey Shallit, May 08 2016
STATUS
approved
