OFFSET
0,4
COMMENTS
We define the family {C_k, k >= 0}, as follows:
- C_0 corresponds to the points (0, 0), (0, 1), (1, 1), (2, 1) and (2, 0), in that order:
+---+---+
| |
+ +
O
- for any k >= 0, C_{k+1} is obtained by arranging 4 copies of C_k as follows:
+ . . . + . . . +
. B . B .
+ . . . + . . .
. B . .A C.A C.
. . --> + . . . + . . . +
.A C. .C . A.
+ . . . + . B.B .
O .A . C.
+ . . . + . . . +
O
- the space filling curve C is the limit of C_{2*k} as k tends to infinity.
The even bisection of the curve M defined in A341018 is similar to C and vice versa.
H is the number of points in the middle of each unit square in Hilbert's subdivisions, whereas here points are at the starting corner of each unit square. This start is either the bottom left or top right corner depending on how many 180-degree rotations have been applied. These rotations are digit 3's of n written in base 4, hence the formula below adding A283316.
LINKS
Rémy Sigrist, Table of n, a(n) for n = 0..16384
F. M. Dekking, Recurrent Sets, Advances in Mathematics, vol. 44, no. 1, 1982. See section 4.8.
David Hilbert, Ueber die stetige Abbildung einer Linie auf ein Flächenstück, Mathematische Annalen, volume 38, number 3, 1891, pages 459-460. Also EUDML (link to GDZ).
Rémy Sigrist, Illustration of C_6
Rémy Sigrist, PARI program for A341120
FORMULA
EXAMPLE
Points n and their locations X=a(n), Y=A341121(n) begin as follows. n=7 and n=9 are both at X=3,Y=2, and n=11,n=31 both at X=3,Y=4.
| |
4 | 16---17 12--11,31
| | | |
3 | 15---14---13 10
| |
2 | 8---7,9
| |
1 | 1----2----3 6
| | | |
Y=0 | 0 4----5
+--------------------
X=0 1 2 3
PROG
(PARI) See Links section.
CROSSREFS
KEYWORD
nonn
AUTHOR
Kevin Ryde and Rémy Sigrist, Feb 05 2021
STATUS
approved