A276575 After a(0)=0, the first differences of A276573.

0, 3, 3, 2, 3, 4, 1, 2, 3, 3, 3, 3, 2, 3, 3, 2, 3, 2, 3, 3, 2, 3, 3, 4, 1, 3, 3, 2, 3, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 4, 3, 2, 3, 3, 3, 2, 3, 3, 2, 3, 4, 1, 3, 2, 3, 3, 3, 2, 2, 3, 3, 3, 2, 3, 3, 4, 3, 3, 3, 3, 3, 2, 3, 4, 3, 3, 3, 3, 2, 3, 3, 4, 2, 3, 4, 3, 2, 3, 3, 4, 1, 3, 2, 3, 3, 3, 2, 3, 2, 3, 3, 3, 2, 3, 3, 2, 2, 3, 3, 2, 3, 3, 3, 3, 2, 3, 3, 2, 3

Offset: 0

Author

Antti Karttunen, Sep 07 2016

Keywords

• nonn

Links

• Antti Karttunen, Table of n, a(n) for n = 0..10028
• Burkard Polster, Root 2 and the deadly Marching Squares, Mathologer video (2015)

Crossrefs

Cf. A001541, A002828, A132592, A260731, A260733, A276573.

Formula

a(n) = A002828(A276573(n)).

a(0) = 0; for n >= 1, a(n) = A276573(n) - A276573(n-1).

Other identities.

For all n >= 1, a(A260731(A132592(n))) = a(A260733(A001541(n))) = 2. [This is implied by the fact observed in the Polster video. Of course 2's occur at other points too.]