|
|
A188432
|
|
Fixed point of the morphism 0->001, 1->01.
|
|
7
|
|
|
0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1
|
|
COMMENTS
|
This is column 1 of the array A188294.
Answer: yes. Since [-x] = -[x]-1 for all non-integer x, one has for n > 1:
[r] - [nr] - [(1-n)r] = 1 - [nr] + [(n-1)r] + 1 = 2 - ([nr]-[(n-1)r]) = A003849(n-2). (End)
Also, [ns] - [(n-1)s] where s = (3-sqrt(5))/2, therefore a Sturmian sequence with slope s. Also, a fixed point under the transformation (0 ->001, 1 -> 01). - Richard Blavy, Nov 18 2011; transformation corrected by Nathan Fox, May 03 2014
|
|
LINKS
|
|
|
FORMULA
|
a(n) = [r] - [n*r] - [r-n*r], where r = (1+sqrt(5))/2.
|
|
MATHEMATICA
|
r = (1 + 5^(1/2))/2 + .0000000000001;
f[n_] := Floor[r] - Floor[n*r] - Floor[r - n*r]
t = Flatten[Table[f[n], {n, 1, 200}]] (* A188432 *)
Flatten[Position[t, 0] ] (* A026351 *)
Flatten[Position[t, 1] ] (* A026352 *)
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|